Abstract-A metod för modellbaserad testgenerering av säkerhetskritiska inbyggda applikationer med hjälp av programmerbara Logic Controllers och implementeras i ett programmeringsspråk som Function Block Diagram (FBD) beskrivs. FBD-komponentmodellen är baserad på IEC 1131-standarden och används främst för inbyggda system, där aktualitet är en viktig egenskap som ska testas. Vår metod innebär omvandling av FBD-program med tidsinställda noteringar till tidsinställda automatiserade modeller som används för att automatiskt generera testsviter. Speciellt visar vi hur man använder modellomvandling för formalisering och modellkontroll av FBD-program med hjälp av UPAAL-verktyget. Det finns många fördelar med denna metod, bland annat förmågan att automatiskt generera testsviter från en formell modell för att säkerställa överensstämmelse med strikta kvalitetskrav, inklusive enhetstester och specifika täckningsmätningar. Metoden bedöms experimentellt på ett tågkontrollsystem med avseende på förbrukade resurser.
I vårt tidigare arbete REF har vi definierat en modellbaserad testgenereringsmetod skräddarsydd för Function Block Diagram-program och demonstrerat hur man använder UPAAL-verktyget för modellkontroll av genomförandet för att säkerställa överensstämmelse med kvalitetskrav inklusive enhetstester.
Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker
{'venue': '2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops', 'journal': '2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops', 'mag_field_of_study': ['Computer Science']}