Formal Test Automation: A Simple Experiment
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Model-Based Testing of Electronic Passports
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
CADP 2006: a toolbox for the construction and analysis of distributed processes
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Model based testing with labelled transition systems
Formal methods and testing
FM'05 Proceedings of the 2005 international conference on Formal Methods
A conformance testing relation for symbolic timed automata
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Inference and abstraction of the biometric passport
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Model checking and co-simulation of a dynamic task dispatcher circuit using CADP
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
LTSMIN: distributed and symbolic reachability
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Towards quality of model-based testing in the ioco framework
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Formal analysis of a hardware dynamic task dispatcher with CADP
Science of Computer Programming
Science of Computer Programming
| Hi-index | 0.00 |
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.