Stateflow User's Guide

Colored Stateflow Diagram 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 does the following:

• Highlights (colors) Stateflow objects that have received model coverage during simulation
• Provides a context-sensitive display of summary model coverage information for each object

Caution    The coverage tool only changes colors for open Stateflow at the time coverage information is reported. When you interact with the Stateflow diagram, such as selecting a transition or a state, colors revert to their default values.

For details on enabling and selecting this feature in Simulink, see Enabling the Model Coverage Colored Diagram Display in Simulink documentation.

Displaying Model Coverage with Model Coloring

Once you enable display coverage with model coloring, anytime that the model generates a model coverage report, individual Stateflow objects receiving coverage are highlighted with light green or light red as shown in the following example:

Objects highlighted in light green received full coverage during testing. Objects highlighted in light red received incomplete coverage. Objects with no color highlighting receive no coverage at all.

Note    To revert the Stateflow diagram to show original colors, select and unselect its objects.

Along with the highlighted Stateflow diagram, a Coverage Display Window appears, as shown.

If you click a highlighted Stateflow object, its summarized coverage appears in the Coverage Display Window. In the preceding example, the following summary report appears when you click the MultiFail state:

Summary coverage information appears in the Coverage Display Window for the Stateflow object, whose hyperlinked name appears at the top of the window. Click the hyperlink to access the appropriate section of the coverage report for this object.

You can set the Coverage Display Window to appear for a block in response to a hovering mouse cursor instead of a mouse click in one of two ways:

• Select the downward arrow on right side of the Coverage Display Window, and, from the resulting menu, select Focus.
• Right-click a colored block and select Coverage display on mouse-over from the resulting context menu.

Coverage Reports for Stateflow Charts

Exploring and Modifying Charts

© 1994-2005 The MathWorks, Inc.