Timed Testing with TorX

H.C. Bohnenkamp, Axel Belinfante

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

    31 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
    EventInternational Symposium of Formal Methods Europe, FM 2005 - Newcastle, UK
    Duration: 18 Jul 200522 Jul 2005

    Publication series

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


    ConferenceInternational Symposium of Formal Methods Europe, FM 2005
    OtherJuly 18-22, 2005


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

    Cite this