Abstrakt. Utgångspunkten för modellbaserad testning är ett genomförandeförhållande som formellt definierar när en formell modell som representerar systemet under provning överensstämmer med en formell modell som utgör dess specifikation. Ett genomförande förhållande för formalismen av Labelled Transition Systems är ioco. För ioco har flera testgenerationsalgoritmer och testverktyg byggts. I detta dokument definierar vi en ram för det symboliska genomförandet relation sioco som lyfter ioco till Symbolic Transition Systems. Dessa är övergångssystem med en uttrycklig uppfattning om data och databeroende kontrollflöde. Införandet av symbolik förhindrar explosionen i tillståndsrymden under testgenereringen, och den bevarar den information som finns i datadefinitioner och begränsningar för användning under testurvalet. Vi visar sundheten och fullständigheten i de symboliska föreställningarna w.r.t. Deras underliggande Labelled Transition Systems' motsvarigheter.
Modellprogram är också relaterade till symboliska övergångssystem som har en uttrycklig uppfattning om data och databeroende kontrollflöde REF.
A Symbolic Framework for Model-Based Testing
{'venue': 'FATES/RV', 'journal': None, 'mag_field_of_study': ['Computer Science']}