Modeling tests in TPT

In TPT, tests are described graphically with hybrid automatons and with test steps. You can use external measurement data in test step lists or let TPT generate test cases based on those measurement data. You can use conditions as well as functions in the test model. The test model itself can be hierarchically or in parallel, or uses both approaches.

You have the freedom to create an unlimited number of variants of the states and transitions.
The appropriate state variants, transition variants, and the paths of the automaton that should be taken are selected in the test cases. Since tests in TPT are reactive, you can define state-based decisions as well as state-based transitions.

TPT assists you with numerous features to generate meaningful test data,
for example TASMO for the test data generation from Simulink models.


To model tests graphically, extended state-transition-diagrams, called TPT-automatons, are used. A TPT-automaton specifies graphically which states and phases are part of the test, how much time a state consumes, and under which conditions states may change.

The different combinations of state sequences, variants of states, and transition conditions constitute individual test cases. These individual test cases are not viewed independently but they are presented in a joint model, where similarities as well as differences between the test cases clearly stand out. Moreover, this way the tester gains a detailed overview of the aspects that were tested and those that weren't yet.

  • Modeling test phases with TPT
  • You can set up variants of states and transitions. With these variants, you can effectively and easily create test case variations.
  • Hierarchical automaton
  • TPT test modeling as parallel automaton with active paths in black and inactive paths grey.

Test Step Lists

Test steps are made up of sequences of commands. These sequences are processed successively or in parallel.
You can model test steps using hierarchies, conditional statements, parallel sequences, reactive behavior, or loops.

Signals are defined by assigning values, time-dependent synthetic functions, or by imported measurement data.
You can embed or link measurement data from various file formats like
*.csv, *.dat, *.mat, *.mf4, *.mdf, *.tptbin or *.xls in test step lists.

  • You can comment your steps.
  • You can deactivate test steps in a test step list to exclude them from the test execution. You can, of course, activate them again easily.
  • You use the Compare Step to check if a condition is true. Here: when the light_switch is set to "on", check if the headlight is "on" too.
  • You can run test steps simultaneously.This feature complies with the parallel automatons in the graphical test modeling.
  • You can set up direct definitions as a single-line mathematical formula. Or you use the convenient Direct Definition Function Wizard.
  • Inside a test step list, you can change parameter values, as well as reset single parameters or all parameters to their default value.
  • You can nest While steps inside a test step list.
  • Simple table step in a test step list.

Follow us