Our strength is the automated, model-based generation of test suites using graphical usage models for hardware and software systems. Test suites can be further processed as JSON documents for the development of executable test cases or can be visualized in a user-friendly way.

Automatic Test Suite Generation

The Test Player© Dashboard enables the test developer to set configuration parameters in a convenient way and to start the generation of the required test cases with a mouse click.

After a few seconds the TestPlayer© automatically generates an abstract test suite, which can be downloaded as a JSON document via the file handler.

Additional characteristic features of the generated test suite, such as coverage properties or mean length of a test case allow the tester to quickly assess the required quality criteria.

The following diagrams show the dynamic visualization of test cases for testing an ATM (ATM Example by Russell C. Bjork). The test-suite ensures a complete coverage of all usage states when operating the ATM, i. e. each usage state is passed at least once during execution of the test.

Each test case begins in the start state [ and stops in the end state ].

The tab MCUM (Markov Chain Usage Model) shows the usage model provided by the tester and the test cases derived from it. Usage models are created in the Model editor section using the integrated graphical model editor.

The Simulated Annealing, Star, Tree, Grid, and Graph Optimizing tabs show diagrams of various visualization algorithms and topologies that the TestPlayer© provides for different display options of the automatically generated test suite. Each of the diagrams shown represents an accumulative test case. Accumulative test cases visualize not only the test steps of the test cases, but also the coverage of states and state transitions that has already been achieved.