User`s guide

Model Coverage for Stateflow Charts
18-53
Model Coverage Reports for Stateflow Charts
• “Summary Report Section” on page 18-53
• “Subsystem and Chart Details Report Sections” on page 18-54
• “State Details Report Section” on page 18-56
• “Transition Details Report Section” on page 18-59
The following sections of a Model Coverage report were generated by simulating the
sf_boiler model, which includes the Bang-Bang Controller chart. The coverage metrics
for Decision, Condition, and MCDC are enabled for this report.
Summary Report Section
The Summary section shows coverage results for the entire test and appears at the
beginning of the Model Coverage report.