Stateflow

Making Model Coverage Reports

Model Coverage reports are generated during simulation if you specify them (see Specifying Coverage Report Settings). For Stateflow charts, the Model Coverage tool records the execution of the chart itself and the execution of its states, transition decisions, and the individual conditions that compose each decision. When simulation is finished, the Model Coverage report tells you how thoroughly a model has been tested, in terms of how many times each exclusive substate is entered, executed, and exited based on the history of the superstate, how many times each transition decision has been evaluated as true or false, and how many times each condition (predicate) has been evaluated as true or false.

Note    You must have the Simulink Performance Tools option installed on your system to use the Model Coverage tool.

Stateflow Chart Model Coverage

Specifying Coverage Report Settings