Timed Testing with TorX

H.C. Bohnenkamp, Axel Belinfante

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

    28 Citations (Scopus)
    25 Downloads (Pure)


    TorX is a specification-based, on-the-fly testing tool that tests for ioco conformance of implementations w.r.t. a formal specification. This paper describes an extension of TorX to not only allow testing for functional correctness, but also for correctness w.r.t. timing properties expressed in the specification. An implementation then passes a timed test if it passes according to ioco, and if occurrence times of outputs or of quiescence signals are legal according to the specification. The specifications are described by means of non-deterministic safety timed automata. This paper describes the basic algorithms for ioco, the necessary modifications to standard safety timed automata to make them usable as an input formalism, a test-derivation algorithm from timed automata, and the concrete algorithms implemented in TorX for timed testing. Finally, practical concerns with respect to timed testing are discussed.
    Original languageUndefined
    Title of host publicationFormal Methods Europe (FME)
    EditorsJ.S. Fitzgerald, I.J. Hayes, A. Tarlecki
    Place of PublicationGermany
    Number of pages16
    ISBN (Print)3-540-27882-6
    Publication statusPublished - 2005

    Publication series

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


    • Timed Automata
    • Model-based on-the-fly Testing
    • Tools
    • IR-54780
    • METIS-229269
    • EWI-629
    • Real-Time Testing
    • TorX

    Cite this

    Bohnenkamp, H. C., & Belinfante, A. (2005). Timed Testing with TorX. In J. S. Fitzgerald, I. J. Hayes, & A. Tarlecki (Eds.), Formal Methods Europe (FME) (pp. 173-188). (Lecture Notes in Computer Science; Vol. 3582). Germany: Springer. https://doi.org/10.1007/11526841_13