Main Window: scenario 1 lights control test

Main Window: scenario 2 lights control test

Cruise control test

Hierarchical automaton: cruise control test

Declaration of variables, parameters, constants

Direct definition

Function wizard

Manual signal definition

Import of signals

Import of signals

Testlet signature

Output signal selection

Transition editor

Parameter table

Test assessment script

Build process

Execution configuration

Platform configuration

Matlab import interface

Matlab testframe

View test results

Report template editor