Abstrakt. Denna artikel föreslår nya offline testgenerering tekniker från icke-deterministiska tidsinställda automata med ingångar och utgångar (TAIOs) inom den formella ramen för tioco conformance teorin. I detta sammanhang är ett första problem determinisering av TAIOs, vilket är nödvändigt för att förutse nästa aktiverade åtgärder efter en observerbar spår, men är i allmänhet omöjligt eftersom inte alla tidsinställda automata är determinizable. Detta problem är löst tack vare en ungefärlig determinisering med hjälp av ett spel tillvägagångssätt. Algoritmen utför en io-abstraktion som bevarar överensstämmelseförhållandet mellan tioco och därmed garanterar att de genererade testfallen är sunda. Ett andra problem är urvalet av testfall från en TAIO-specifikation. Urvalet här bygger på en exakt beskrivning av tidsinställda beteenden som ska testas som utförs genom expressiva teständamål modellerade av en generalisering av TAIOs. Slutligen beskrivs en algoritm som genererar testfall i form av TAIOs som är utrustade med domar, med hjälp av en symbolisk samuppnåebarhetsanalys som styrs av testsyftet. Egenskaper hos testfall analyseras sedan med avseende på precisionen i den ungefärliga bestämningen: när determinisering är exakt, vilket är fallet på kända determiniserbara klasser, förutom ljud, egenskaper som kännetecknar lämpligheten av testfall domar också garanteras.
Så REF kan ses som en blandad metod, offline för valet, genom att omvandla ett test syfte som ett testfall, on-line för att styra framstegen i testfallet under utförandet.
Off-line test selection with test purposes for non-deterministic timed automata
{'venue': 'Logical Methods in Computer Science, Volume 8, Issue 4 (October 17, 2012) lmcs:1037', 'journal': None, 'mag_field_of_study': ['Computer Science']}