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

Axel Belinfante

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

46 Citations (Scopus)
73 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 languageUndefined
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010
EditorsJavier Esparza, Rupak Majumdar
Place of PublicationBerlin
PublisherSpringer
Pages266-270
Number of pages5
ISBN (Print)978-3-642-12001-5
DOIs
Publication statusPublished - Mar 2010
Event16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010 - Paphos, Cyprus
Duration: 20 Mar 201028 Mar 2010
Conference number: 16
http://www.etaps.org/2010/Conf/conf-frame-tacas.html

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume6015
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010
Abbreviated titleTACAS
CountryCyprus
CityPaphos
Period20/03/1028/03/10
Internet address

Keywords

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

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
Belinfante, Axel. / JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010. editor / Javier Esparza ; Rupak Majumdar. Berlin : Springer, 2010. pp. 266-270 (Lecture Notes in Computer Science).
@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 proceedingConference contributionAcademicpeer-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 -

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