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

Axel Belinfante

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 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