JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution

Axel Belinfante

doi:10.1007/978-3-642-12002-2_21

JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution

Axel Belinfante

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

47 Citations (Scopus)

90 Downloads (Pure)

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	https://doi.org/10.1007/978-3-642-12002-2_21
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	http://www.etaps.org/2010/Conf/conf-frame-tacas.html

Keywords

METIS-270777
Model-Based Testing
EWI-17751
tool
IR-70841

Access to Document

10.1007/978-3-642-12002-2_21

main
open
main
open

http://eprints.eemcs.utwente.nl/secure2/17751/02/jtorx-tacas2010-springer-fulltext.pdf

Cite this

Belinfante, A. (2010). JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. In J. Esparza, & R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010 (pp. 266-270). (Lecture Notes in Computer Science; Vol. 6015). Berlin: Springer. https://doi.org/10.1007/978-3-642-12002-2_21

@inproceedings{cf0cb0dbf38b4a22b96c5b72ef5e5293,

title = "JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution",

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.",

keywords = "METIS-270777, Model-Based Testing, EWI-17751, tool, IR-70841",

author = "Axel Belinfante",

note = "10.1007/978-3-642-12002-2_21",

year = "2010",

month = "3",

doi = "10.1007/978-3-642-12002-2_21",

language = "Undefined",

isbn = "978-3-642-12001-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "266--270",

editor = "Javier Esparza and Rupak Majumdar",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010",

}

Belinfante, A 2010, JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. in J Esparza & R Majumdar (eds), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010. Lecture Notes in Computer Science, vol. 6015, Springer, Berlin, pp. 266-270, 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, Paphos, Cyprus, 20/03/10. https://doi.org/10.1007/978-3-642-12002-2_21

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 -