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.
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
(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
section using the integrated graphical model editor.
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.