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

header image

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.