Stateflow

Coverage Reports for Stateflow Charts

The following sections of a Model Coverage report were generated by simulating the Bang-Bang Boiler demonstration model, which includes the Stateflow Chart block Bang-Bang Controller. The coverage metrics for Decision Coverage, Condition Coverage, and MCDC Coverage are enabled for this report; the Look-up Table Coverage metric is Simulink dependent and not relevant to the coverage of Stateflow charts.

This topic contains the following subtopics:

• Summary Report Section
• Details Sections
• Chart as Subsystem Report Section
• Chart as Superstate Report Section
• State Report Section
• Transition Report Section

MCDC Coverage

Summary Report Section