Stateflow

Debugging and Testing

To ensure that your Stateflow diagrams are behaving as you expect them to, use the Stateflow debugger to evaluate code coverage and perform dynamic checking during simulation.

Overview of the Stateflow Debugger	Describes the Stateflow debugger that you used to evaluate code coverage and perform dynamic checking during simulation.
Stateflow Debugger User Interface	Describes the parts of the Debugger window during debugging.
Debugging Run-Time Errors Example	Shows you how to debug run-time errors in Stateflow diagrams with an actual example model.
Debugging State Inconsistencies	Describes how state inconsistencies due to faulty Stateflow notation are detected and debugged.
Debugging Conflicting Transitions	Describes how conflicting transitions, transitions that are equally valid during execution, are detected and debugged.
Debugging Data Range Violations	Describes how to debug for occurrences of the value of a data object exceeding its maximum value or dropping below its minimum value.
Debugging Cyclic Behavior	Describes how the Debugger detects algorithms that lead to infinite recursions and looping caused by event broadcasts.
Stateflow Chart Model Coverage	Describes how the Model Coverage tool determines the extent to which a model test case exercises simulation control flow paths through a model.

Makefiles Overview of the Stateflow Debugger