JSXM

JSXM is a model-based testing tool

Modelling stateful systems

Validating models via animation

Automatically generating tests for testing the implementation

Tranforming the tests to executable tests in the language of the implementation (e.g. JUnit)

Incremental testing of object-oriented applications

The generated test cases reveal all functional inconsistencies in the implementation.

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.e.
ensure that the correct functionality is modeled.

Test Generation

The generated test cases are in XML format and they are independent of the technology or
programming language of the implementation. This means that the implementation under test
can be an application any programming language or implementation platform.

Test Transformation

Since the generated test cases are independent of the underlying technology of the implementation
under test, the tests cannot be directly used for testing. A Test Transformer is responsible for
transforming the general test cases to concrete test cases.