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 [Tretmans,1996], has been refined in [Tretmans,2008] with test-cases that are input-enabled. For models with underspecified traces [vdBijl+,2004] introduced uioco. JTorX improves over its predecessor TorX [Tretmans,Brinksma,2004] 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 [Frantzen,2008]; 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