Sammanfattning Krav spårbarhet är förmågan att relatera krav tillbaka till intressenter och vidare till motsvarande design artefakter, kod, och test fall. Även om betydande forskning har ägnats åt att relatera krav i både framåt- och bakåtriktade riktningar, har mindre uppmärksamhet ägnats åt att relatera krav till andra krav. Förhållandet mellan kraven påverkar ett antal aktiviteter under programvaruutveckling, t.ex. kontroll av överensstämmelse och förändringshantering. I de flesta strategier och verktyg saknas en exakt definition av kravrelationerna. I detta avseende kan bristfälliga resultat komma till stånd. I detta dokument siktar vi på formella definitioner av relationstyperna för att möjliggöra resonemang om kravrelationer. Vi ger en kravmetamodell med vanliga relationstyper. Förhållandenas semantik förser oss med en formalisering i första ordningens logik. Vi använder formaliseringen för konsekvenskontroll av relationer och för att dra slutsatser om nya relationer. Ett verktyg har byggts för att stödja båda resonemangsaktiviteterna. Vi illustrerar vårt tillvägagångssätt i ett exempel som visar att de formella semantiken av relationstyp gör det möjligt att dra slutsatser om nya relationer och motsäga förhållanden i kravdokument som skall fastställas.
Göknil m.fl. REF definierade formellt olika typer av samband i kraven med hjälp av första ordningens logik och utvecklade regler för förändringseffekter baserade på en kravmetamodell.
Semantics of trace relations in requirements models for consistency checking and inferencing
{'venue': 'Software & Systems Modeling', 'journal': 'Software & Systems Modeling', 'mag_field_of_study': ['Computer Science']}