User`s guide

Model Coverage for Stateflow Charts
18-71
Colored Stateflow Chart Coverage Display
The Model Coverage tool displays model coverage results for individual blocks directly in
Simulink diagrams. If you enable this feature, the Model Coverage tool:
• Highlights Stateflow objects that receive model coverage during simulation
• Provides a context-sensitive display of summary model coverage information for each
object
Note: The coverage tool changes colors only for open charts at the time coverage
information is reported. When you interact with the chart, such as selecting a
transition or a state, colors revert to default values.
For details on enabling and selecting this feature in the Simulink window, see “Enable
Coverage Highlighting” in the Simulink Verification and Validation documentation.
Display Model Coverage with Model Coloring
Once you enable display coverage with model coloring, anytime that the model generates
a model coverage report, individual chart objects receiving coverage appear highlighted
with light green or light red.
1
Open the sf_car model.
2
Select Analysis > Coverage > Settings.
3
In the Coverage Settings dialog box, select Coverage for this model.
4
Click OK.
5
Simulate the model.
After simulation ends, chart objects with coverage appear highlighted.