I detta dokument föreslås en strategi för automatisk scenariogenerering från miljömodeller för testning av reaktiva system i realtid. Systemets beteende definieras som en uppsättning händelser (eventsspår) med två grundläggande relationer: företräde och inkludering. Den tilldelade händelse grammatiken (AEG) anger möjliga händelsespår och ger en enhetlig metod för att automatiskt generera, utföra och analysera testfall. Miljömodellen innehåller en beskrivning av farliga tillstånd där systemet kan anlända och gör det möjligt att samla in statistik för systemsäkerhetsbedömning. Metoden stöds av en generator som skapar testfall från AEG-modellerna. Vi demonstrerar tillvägagångssättet med fallstudier av prototyper för den säkerhetskritiska datorstödda återupplivningsalgoritm (CARA)-programvaran för en intravenös infusionspump och Paderborn Shuttle System.
I REF föreslår författarna ett tillvägagångssätt för automatiserad scenariogenerering från miljömodeller för testning av reaktiva system i realtid.
Environment behavior models for scenario generation and testing automation
{'venue': 'ACM SIGSOFT Software Engineering Notes', 'journal': 'ACM SIGSOFT Software Engineering Notes', 'mag_field_of_study': ['Computer Science']}