För många uppdragskritiska system krävs ofta interna processer eller externa standarder för att visa att alla krav har uppfyllts genom en uppsättning kravbaserade tester. Traditionella täckningsmetoder behandlar dock inte detta mandat eftersom de endast mäter konstruktionens täckning genom att fastställa vilka vägar i konstruktionen som har utförts. Det är en utmaning att fastställa om en viss uppsättning testvektorer täcker konstruktionskraven (i stället för att enbart täcka konstruktionen). Att skapa en uppsättning testvektorer för att täcka kraven kan vara svårt och tidskrävande. Med hjälp av tekniker som först identifierades på 1970-talet och moderna modellbaserade designverktyg presenterar vi ett nytt tillvägagångssätt, baserat på arbete presenteras i [2], för att automatiskt generera en uppsättning kravbaserade testvektorer. I det här dokumentet diskuterar vi hur krav som fångas i ett naturligt språk kan modelleras med hjälp av Orsak-Effect grafer, som introduceras i [1]. Vi översätter sedan Cause-Effect grafen till Simulink® och Stateflow® för att identifiera motstridiga krav och automatiskt generera en uppsättning testvektorer som kan bedömas för fullständighet med hjälp av täckningsmål såsom Ändrat tillstånd/Beslut Täckning (MCDC). Vi tillämpar samma testvektorer på designmodellen, som kan utvecklas oberoende av de ursprungliga kraven. Detta tillvägagångssätt gör det möjligt för ingenjörerna att avgöra om deras utformning i tillräcklig utsträckning omfattas av uppsättningen kravbaserade testvektorer. Alla delar av konstruktionen som inte omfattas ska undersökas ytterligare för att avgöra om konstruktionselementen ska finnas eller om det finns problem med kraven.
I REF föreslås automatisk generering av kravbaserade testvektorer.
Requirements Modeling and Automated Requirements-Based Test Generation
{'venue': None, 'journal': 'SAE International Journal of Aerospace', 'mag_field_of_study': ['Engineering']}