Abstract
| 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
Cite this
}
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. / Belinfante, Axel.
Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010. ed. / Javier Esparza; Rupak Majumdar. Berlin : Springer, 2010. p. 266-270 (Lecture Notes in Computer Science; Vol. 6015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution
AU - Belinfante, Axel
N1 - 10.1007/978-3-642-12002-2_21
PY - 2010/3
Y1 - 2010/3
N2 - 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.
AB - 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.
KW - METIS-270777
KW - Model-Based Testing
KW - EWI-17751
KW - tool
KW - IR-70841
U2 - 10.1007/978-3-642-12002-2_21
DO - 10.1007/978-3-642-12002-2_21
M3 - Conference contribution
SN - 978-3-642-12001-5
T3 - Lecture Notes in Computer Science
SP - 266
EP - 270
BT - Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010
A2 - Esparza, Javier
A2 - Majumdar, Rupak
PB - Springer
CY - Berlin
ER -