Model-based-testing

JSXM (http://jsxm.org/) is a model-based testing tool developed in Java. One needs to provide a model specification of a system and the generated test cases reveal all functional inconsistencies in the implementation of the system. The tool provides the following functionalities: Model animation Test generation Test transformation Model animation Animation of the model means execution of the model or simulation of the modeled software. Interactive or batch animation allow the model designer to validate the specification, i....