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 20 articles , 1 standard article )

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

  1. Kallel, Slim; Cheikhrouhou, Saoussen; Maamar, Zakaria; Guermouche, Nawal; Jmaiel, Mohamed: From generating process views over inter-organizational business processes to achieving their temporal consistency (2021)
  2. Gerhold, Marcus; Stoelinga, Mariëlle: Model-based testing of probabilistic systems (2018)
  3. Paiva, Sofia Costa; Simao, Adenilso: Generation of complete test suites from Mealy input/output transition systems (2016)
  4. Aarts, Fides; Kuppens, Harco; Tretmans, Jan; Vaandrager, Frits; Verwer, Sicco: Improving active Mealy machine learning for protocol conformance testing (2014)
  5. Bouquet, Fabrice; Peureux, Fabien; Ambert, Fabrice: Model-based testing for functional and security test generation (2014)
  6. Brucker, Achim D.; Wolff, Burkhart: On theorem prover-based testing (2013)
  7. Asaadi, Hamid Reza; Khosravi, Ramtin; Mousavi, MohammadReza; Noroozi, Neda: Towards model-based testing of electronic funds transfer systems (2012) ioport
  8. Chédor, Sébastien; Jéron, Thierry; Morvan, Christophe: Test generation from recursive tiles systems (2012)
  9. Yang, Linmin; Dang, Zhe; Fischer, Thomas R.: Information gain of black-box testing (2011)
  10. Belinfante, Axel: JTorX: a tool for on-line model-driven test derivation and execution (2010) ioport
  11. Kuliamin, V. V.: Component architecture of model-based testing environment (2010) ioport
  12. von Styp, Sabrina; Bohnenkamp, Henrik; Schmaltz, Julien: A conformance testing relation for symbolic timed automata (2010)
  13. Schmaltz, Julien; Tretmans, Jan: On conformance testing for timed systems (2008)
  14. Calamé, Jens R.; Ioustinova, Natalia; van de Pol, Jaco: Automatic model-based generation of parameterized test cases using data abstraction (2007) ioport
  15. Veanes, Margus; Campbell, Colin; Schulte, Wolfram: Composition of model programs (2007)
  16. Blass, Andreas; Gurevich, Yuri; Nachmanson, Lev; Veanes, Margus: Play to test (2006)
  17. Xie, Gaoyan; Dang, Zhe: Testing systems of concurrent black-boxes -- an automata-theoretic and decompositional approach (2006)
  18. Bohnenkamp, Henrik; Belinfante, Axel: Timed testing with TorX (2005)
  19. Briones, Laura Brandán; Brinksma, Ed: A test generation framework for quiescent real-time systems (2005)
  20. Frantzen, Lars; Tretmans, Jan; Willemse, Tim A. C.: Test generation based on symbolic specifications (2005)

Further publications can be found at: