Abstrakt. I modelldriven utveckling fokuserar testare ofta på funktionstester på modellnivå, vilket möjliggör verifiering av designmodeller mot deras specifikationer. När det gäller säkerhetskritisk programvaruutveckling krävs det dessutom att testare visar att testerna täcker genomförandets struktur. Testkostnader och tidsbesparingar kan uppnås om processen för att härleda testfall för logisk täckning är automatiserad och under förutsättning att testfallen är redo att genomföras. Den logiska täckningen av artefakter, dvs. predikat och klausuler, krävs för olika logiska täckning, t.ex. MC/DC. Ett sätt att hantera testfallsgenerering för att säkerställa logisk täckning är att närma sig den som ett modellkontrollproblem, så att verktyg för modellkontroll automatiskt skapar testfall. Vi visar hur logiska täckningskriterier kan formaliseras och användas av en modellkontrollant för att tillhandahålla testfall för att säkerställa täckning på säkerhetskritisk programvara som beskrivs i programmeringsspråket Function Block Diagram. Baserat på våra experiment är detta tillvägagångssätt, som stöds av en verktygskedja, ett tillämpligt och användbart sätt att generera testfall för att täcka funktionsblockdiagram.
I vårt tidigare arbete REF, vi övervinna denna fråga genom att tillhandahålla ett sätt att generera testfall för logiska kriterier som är direkt tillämpliga på FBD-program.
Using Logic Coverage to Improve Testing Function Block Diagrams
{'venue': 'ICTSS', 'journal': None, 'mag_field_of_study': ['Computer Science']}