1. Ed Brinksma Course 2004 TorX : A Test Generation Tool

2. © Ed Brinksma/Jan Tretmans TT 2004, TorX 2 Formal Testing with Transition Systems t :  (traces)  {fail,pass} traces der : LTS   (TTS) T s  TTS s  LTS ioco i IUT  IOTS pass fail obs : TTS  IOTS   (traces)

3. © Ed Brinksma/Jan Tretmans TT 2004, TorX 3 Test Generation Tools for Reactive Systems lAgatha lAutolink lCooper lGotcha lPhact/The Kit lRT-Tester lSaMsTaG lStatemate MAGNUM ATG lSTG  TestGen (Stirling)  TestGen (INT)  TestComposer  TGV  TorX  Tveda ......

4. © Ed Brinksma/Jan Tretmans TT 2004, TorX 4 Test Generation Tools for ioco lTVEDA (CNET - France Telecom) nderives TTCN tests from single process SDL specification ndeveloped from practical experiences nimplementation relation R1  ioco lTGV (IRISA - Rennes) nderives tests in TTCN from LOTOS or SDL nuses test purposes to guide test derivation nimplementation relation: unfair extension of ioco lTestComposer nCombination of TVEDA and TGV in ObjectGeode lTestGen (Stirling) nTest generation for hardware validation lTorX (Côte de Resyste)

5. © Ed Brinksma/Jan Tretmans TT 2004, TorX 5 A Test Tool : TorX lOn-the-fly test generation and test execution lImplementation relation: ioco lSpecification languages: LOTOS, Promela, FSP, Automata TorX IUT observe output offer input next input specification check output pass fail inconclusive user: manual automatic

6. © Ed Brinksma/Jan Tretmans TT 2004, TorX 6 TorX Tool Architecture explorerprimerdriveradapter IUT spec. states transitions abstract actions concrete actions specification text TorX IUT specification

7. © Ed Brinksma/Jan Tretmans TT 2004, TorX 7 TTCN test taal batch test execution on the fly batch test generation TTCN test taal on the fly On-the-Fly  Batch Testing explorerprimerdriveradapter IUT spec.

8. © Ed Brinksma/Jan Tretmans TT 2004, TorX 8 explorerprimerdriveradapterIUT bits bytes states transitions abstract actions transition ? x (x >= 0) !  x ? x (x < 0) ! -  x specification implementation ? x (x >= 0) !  x ? x (x < 0) ? x On-the-Fly Testing Concrete action ! 00001001 New menu ! x (x < 0) ! x (x >= 0) Abstract action ! 9 Abstract action ? 3 Choice ! 9 Concrete action ? 00000011 Action ? 3 Choice ! -1 New menu ! x (x < 0) ! x (x >= 0) Check ? 3 Abstract action ! -1 Concrete action ! 11111111 Concrete action ? (timeout) Abstract action ? (quiescence) Action ? (quiescence) Check ? (quiescence) New menu ! x (x < 0) ! x (x >= 0) spec.

9. © Ed Brinksma/Jan Tretmans TT 2004, TorX 9 TorX : Test Purposes, Selection, …… driver adapter test purpose explorer primer’ spec. explorer primer combinator probalistic selector TTCN test log explorer primer inverse

10. © Ed Brinksma/Jan Tretmans TT 2004, TorX 10 TorX