Abstract
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [Tretmans,1996], has been refined in [Tretmans,2008] with test-cases that are input-enabled. For models with underspecified traces [vdBijl+,2004] introduced uioco.
JTorX improves over its predecessor TorX [Tretmans,Brinksma,2004] by using uioco and this newer ioco theory. By being much easier to deploy, due to improved installation, configuration and usage. And by integrating additional functionality, next to testing: checking for (u)ioco between models [Frantzen,2008]; checking for underspecified traces in a model; interactive or guided simulation of a model. This makes JTorX an excellent vehicle for educational purposes in courses on model-based testing, as experience has shown – and its usefulness is not limited to education, as experience has shown too.
Original language | Undefined |
---|---|
Title of host publication | Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010 |
Editors | Javier Esparza, Rupak Majumdar |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 266-270 |
Number of pages | 5 |
ISBN (Print) | 978-3-642-12001-5 |
DOIs | |
Publication status | Published - Mar 2010 |
Event | 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010 - Paphos, Cyprus Duration: 20 Mar 2010 → 28 Mar 2010 Conference number: 16 http://www.etaps.org/2010/Conf/conf-frame-tacas.html |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Verlag |
Volume | 6015 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010 |
---|---|
Abbreviated title | TACAS |
Country | Cyprus |
City | Paphos |
Period | 20/03/10 → 28/03/10 |
Internet address |
Keywords
- METIS-270777
- Model-Based Testing
- EWI-17751
- tool
- IR-70841