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.

References in zbMATH (referenced in 16 articles , 1 standard article )

Showing results 1 to 16 of 16.
Sorted by year (citations)

  1. Paiva, Sofia Costa; Simao, Adenilso: Generation of complete test suites from Mealy input/output transition systems (2016)
  2. Aarts, Fides; Kuppens, Harco; Tretmans, Jan; Vaandrager, Frits; Verwer, Sicco: Improving active Mealy machine learning for protocol conformance testing (2014)
  3. Brucker, Achim D.; Wolff, Burkhart: On theorem prover-based testing (2013)
  4. Asaadi, Hamid Reza; Khosravi, Ramtin; Mousavi, MohammadReza; Noroozi, Neda: Towards model-based testing of electronic funds transfer systems (2012)
  5. Chédor, Sébastien; Jéron, Thierry; Morvan, Christophe: Test generation from recursive tiles systems (2012)
  6. Yang, Linmin; Dang, Zhe; Fischer, Thomas R.: Information gain of black-box testing (2011)
  7. Belinfante, Axel: JTorX: a tool for on-line model-driven test derivation and execution (2010)
  8. von Styp, Sabrina; Bohnenkamp, Henrik; Schmaltz, Julien: A conformance testing relation for symbolic timed automata (2010)
  9. Schmaltz, Julien; Tretmans, Jan: On conformance testing for timed systems (2008)
  10. Calame, Jens R.; Ioustinova, Natalia; Van De Pol, Jaco: Automatic model-based generation of parameterized test cases using data abstraction. (2007)
  11. Veanes, Margus; Campbell, Colin; Schulte, Wolfram: Composition of model programs (2007)
  12. Braspenning, N.C.W.M.; Van De Mortel-Fronczak, J.M.; Rooda, J.E.: A model-based integration and testing method to reduce system development effort. (2006)
  13. Xie, Gaoyan; Dang, Zhe: Testing systems of concurrent black-boxes -- an automata-theoretic and decompositional approach (2006)
  14. Bohnenkamp, Henrik; Belinfante, Axel: Timed testing with TorX (2005)
  15. Briones, Laura Brandán; Brinksma, Ed: A test generation framework for quiescent real-time systems (2005)
  16. Frantzen, Lars; Tretmans, Jan; Willemse, Tim A.C.: Test generation based on symbolic specifications (2005)

Further publications can be found at: