Detta dokument studerar testning baserad på ibelled övergångssystem, presenterar två testgeneration algoritmer med deras motsvarande genomförande relationer. Den första algoritmen förutsätter att implementationer kommunicerar med sin miljö via symmetriska, synkrona interaktioner. Den är baserad på teorin om att testa ekvivalens och preorder, liksom de flesta av testteorin för märkta övergångssystem, och den finns i litteraturen i några något olika varianter. Den andra algoritmen bygger på antagandet att implementationer kommunicerar med sin miljö via in- och utgångar. Sådana genomföranden formaliseras genom att begränsa klassen av märkta övergångssystem till de system som alltid kan acceptera inmatningsåtgärder. För dessa implementationer utvecklas en testteori, jämförbar med teorin om att testa ekvivalens och preorder. Det består av genomförandeförhållanden som formaliserar begreppet överensstämmelse av dessa genomföranden med avseende på märkta specifikationer för övergångssystem, testfall och testsviter, testutförande, begreppet att klara en testsvit och testgenerationsalgoritmen, som har visat sig producera ljudtestsviter för en av genomförandeförhållandena.
Tretmans REF, till exempel, föreslog en testteori jämförbar med teorin om att testa likvärdighet och förordning för märkta övergångssystem under antagandet att ett genomförande kommunicerar med sin miljö via in- och utgångar.
Conformance testing with labelled transition systems: implementation relations and test generation
{'venue': 'Computer Networks and ISDN Systems', 'journal': 'Computer Networks and ISDN Systems', 'mag_field_of_study': ['Computer Science']}