Abstrakt. Testning är ett viktigt verktyg för validering av systemkonstruktionen och dess genomförande. Modellbaserad testgenerering gör det möjligt att systematiskt fastställa om systemet uppfyller sina konstruktionskrav, särskilt systemets säkerhets- och korrekthetskrav. I detta dokument utvecklar vi en ram för att generera tester från hybridsystemmodeller. Grundidén med ramverket är att utveckla en idé om robust test, där ett nominellt test kan garanteras att ge samma kvalitativa beteende som ett annat test som är nära det. Vår strategi erbjuder tre tydliga fördelar. 1) Det gör det möjligt att beräkna och formellt kvantifiera robustheten hos vissa egenskaper, 2) det fastställer en metod för att kvantifiera testtäckningen för varje testfall, och 3) förfarandet är parallelliserbart och därför mycket skalbart. Vi demonstrerar vårt ramverk genom att generera tester för en navigeringsriktmärkesapplikation.
Förslaget i REF gör det möjligt att generera tester från hybridsystemmodeller med hjälp av ett robust testkoncept.
Robust Test Generation and Coverage for Hybrid Systems
{'venue': 'HSCC', 'journal': None, 'mag_field_of_study': ['Engineering', 'Computer Science']}