@inproceedings{bc1c2398f5c24d328d3bee22cbf99db2,
title = "Timed Testing with TorX",
abstract = "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.",
keywords = "Timed Automata, Model-based on-the-fly Testing, Tools, IR-54780, METIS-229269, EWI-629, Real-Time Testing, TorX",
author = "H.C. Bohnenkamp and Axel Belinfante",
note = "eemcs629 ; International Symposium of Formal Methods Europe, FM 2005 ; Conference date: 18-07-2005 Through 22-07-2005",
year = "2005",
doi = "10.1007/11526841\_13",
language = "Undefined",
isbn = "3-540-27882-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "173--188",
editor = "J.S. Fitzgerald and I.J. Hayes and A. Tarlecki",
booktitle = "Formal Methods Europe (FME)",
address = "Germany",
}