TorX swMATH ID: 7155 Software Authors: Bohnenkamp, Henrik; Belinfante, Axel Description: Timed testing with TorX. 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. Homepage: http://fmt.ewi.utwente.nl/tools/torx/introduction.html Keywords: Model-based on-the-fly Testing; Timed Automata; Real-Time Testing; TorX; Tools Related Software: JTorX; SpecExplorer; STG; CADP; Uppaal; Java PathFinder; QuickCheck; NModel; UniTESK; PLASMA; Rapture; PRISM; Matlab; Z; AGATHA; SecureUML; ADABU; LearnLib; MRMC; HOL-TestGen Cited in: 16 Publications Further Publications: http://fmt.ewi.utwente.nl/research/publications/?project_id=1&project_name=C%25F4te-de-Resyste Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Timed testing with TorX. Zbl 1120.68409Bohnenkamp, Henrik; Belinfante, Axel 2005 all top 5 Cited by 39 Authors 3 Tretmans, Jan 2 Bohnenkamp, Henrik C. 2 Dang, Zhe 2 Schmaltz, Julien 2 Veanes, Margus 1 Aarts, Fides 1 Ambert, Fabrice 1 Belinfante, Axel 1 Blass, Andreas Raphael 1 Bouquet, Fabrice 1 Brinksma, Ed 1 Briones, Laura Brandán 1 Brucker, Achim D. 1 Chédor, Sébastien 1 Cheikhrouhou, Saoussen 1 Fischer, Thomas Robert 1 Frantzen, Lars 1 Gerhold, Marcus 1 Guermouche, Nawal 1 Gurevich, Yuri 1 Jéron, Thierry 1 Jmaiel, Mohamed 1 Kallel, Slim 1 Kuppens, Harco 1 Maamar, Zakaria 1 Morvan, Christophe 1 Nachmanson, Lev 1 Paiva, Sofia Costa 1 Peureux, Fabien 1 Schulte, Wolfram 1 Simao, Adenilso 1 Stoelinga, Mariëlle 1 Vaandrager, Frits W. 1 Verwer, Sicco 1 von Styp, Sabrina 1 Willemse, Tim A. C. 1 Wolff, Burkhart 1 Xie, Gaoyan 1 Yang, Linmin Cited in 3 Serials 4 Formal Aspects of Computing 1 Computing 1 Machine Learning Cited in 3 Fields 15 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year