I am involved in the development of several open-source tools related to model-based testing. This page gives an overview, and links to the tools.
- STSimulator – a Java library to simulate Symbolic Transition Systems. It has been applied in both academic and industrial projects. Some academic prototype tools which use the library are “Jambition”:“http://plastic.isti.cnr.it/wiki/tools#jambition (a test tool to automatically test stateful Web Services), WS-Guard (adding testing capabilities to the registration phase of Web Services), and Puppet (automatic generation of functional and extra-functional testbeds for Web Services).
- iocoChecker – given a specification and an implementation Labelled Transition System, iocoChecker verifies if the ioco testing relation holds between them. iocoChecker has been recently integrated into the JTorX testing tool.
- treeSolver – a simple server written in GNU Prolog which offers a socket connection to the constraint solver of GNU Prolog.