JTorX
JTorX: A tool for on-line model-driven test derivation and execution We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-cases that are input-enabled. For models with underspecified traces [3] introduced uioco. JTorX improves over its predecessor TorX [14] by using uioco and this newer ioco theory. By being much easier to deploy, due to improved installation, configuration and usage. And by integrating additional functionality, next to testing: checking for (u)ioco between models [6]; checking for underspecified traces in a model; interactive or guided simulation of a model. This makes JTorX an excellent vehicle for educational purposes in courses on model-based testing, as experience has shown – and its usefulness is not limited to education, as experience has shown too
Keywords for this software
References in zbMATH (referenced in 5 articles , 1 standard article )
Showing results 1 to 5 of 5.
Sorted by year (- Gerhold, Marcus; Stoelinga, Mariëlle: Model-based testing of probabilistic systems (2018)
- Paiva, Sofia Costa; Simao, Adenilso: Generation of complete test suites from Mealy input/output transition systems (2016)
- Aarts, Fides; Kuppens, Harco; Tretmans, Jan; Vaandrager, Frits; Verwer, Sicco: Improving active Mealy machine learning for protocol conformance testing (2014)
- Belinfante, Axel: JTorX: a tool for on-line model-driven test derivation and execution (2010) ioport
- von Styp, Sabrina; Bohnenkamp, Henrik; Schmaltz, Julien: A conformance testing relation for symbolic timed automata (2010)
Further publications can be found at: http://cadp.inria.fr/vasy/publications/cadp.html