| Stateflow |
  |
Details Sections
The Details heading appears directly under the Summary Report Section depicted in the preceding example. It precedes sections summarizing the coverage you choose to report for each object of decision in the Stateflow chart. These include the chart's Simulink block, the chart itself, the chart's states, and its guarded transitions. Sections on boxes and functions also appear in the Details section because those objects can contain other Stateflow objects.
An example coverage section for detailed object types appears in the following sections:
Each of the object type sections contains the following information:
- A title containing a hyperlink to its resident diagram in Stateflow
- The chart Simulink block (Chart as Subsystem) appears in its resident Simulink model. The remaining objects appear in the chart's Stateflow diagram.
- A hyperlink to the object's parent
- A hyperlink to the object's child objects
- A table summarizing decision coverage, condition coverage, and MCDC for the object with the following contents:
- The first column lists the different coverage type for each row.
- The second column displays coverages for the object itself.
- The third column displays coverages for the object including sums of coverages for objects it parents (states, transitions). These coverages also appear in the Summary section.
- Results are read as a ratio of observed outcomes taken to all possible outcomes for the object. For example, if a state has four exclusive OR substates, that means that there are four possible outcomes since only one exclusive OR state can be active at a time. If only three substates are observed to execute during testing, decision coverage is reported as 75% (3/4).
- Additional tables with outcomes observed for decision coverage, condition coverage, and MCDC for the object, if applicable.
- To see these tables, see the following report sections:
| | Summary Report Section | | Chart as Subsystem Report Section | |