Sciweavers

TACAS
2010
Springer

JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution

13 years 2 months ago
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.
Axel Belinfante
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where TACAS
Authors Axel Belinfante
Comments (0)