Abstrakt. Klassiska tillståndsorienterade testmetoder bygger på enkla maskinmodeller som LTS (Labelled Transition Systems), där data representeras av konkreta värden. För att genomföra dessa teorier måste datatyper som har oändliga universer skäras ned till finita varianter, som senare räknas upp för att passa in i modellen. Detta leder till en explosion av statsrymden. Att utnyttja den syntaktiska och/eller semantiska informationen för de berörda datatyperna är dessutom inte trefaldigt efter uppräkning. För att övervinna dessa problem lyfter vi familjen av testrelationer iocoF till nivån för symboliska övergångssystem (STS). Vi presenterar en algoritm baserad på STS, som genererar och utför tester on-the-fly på ett givet system. Det är ljud och komplett för jocoF testa relationer.
Ett antal testverktyg är baserade på varianter av ioco-testteorin, såsom TGV, TestGen och TorX. I samband med ioco-testning använder REF symboliska övergångssystem för att motverka problemet med statsexplosion.
Test generation based on symbolic specifications
{'venue': 'FATES 2004, number 3395 in LNCS', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}