User`s guide

29 Simulink Performance Tools 1.1 Release Notes
29-2
New Features
This section introduces the new features and enhancements added in Simulink
Performance Tools 1.1 since Simulink Performance Tools 1.0 (Release 12.0).
The following tools were enhanced:
•“Model Coverage Tool” on page 29-2
•“Graphical Merge Tool” on page 29-4
For an introduction to the Simulink Performance Tools, see the Release Notes
for Release 12.
Model Coverage Tool
This section describes features and enhancements added to the Model
Coverage Tool
.
Additional Coverage Types
This version adds the following types of coverage analysis:
•Condition coverage
Examines blocks that output the logical combination of their inputs, e.g., the
Logic block, and Stateflow transitions. A test case achieves full coverage if it
causes each input to each instance of a logic block in the model and each
condition on a transition to be true at least once during the simulation and
false at least once during the simulation.
•Modified condition/decision coverage (MC/DC)
Examines blocks that output the logical combination of their inputs, e.g., the
Logic block, and Stateflow transitions to determine the extent to which the
test case tests the independence of logical inputs and transition conditions.
•Look-up table (LUT) coverage
Examines blocks, such as the Look-Up Table block, that output the result of
looking up one or more inputs in a table of inputs and outputs, interpolating
between or extrapolating from table entries as necessary. Lookup table
coverage records the frequency that table lookups use at each interpolation
interval.
See “Coverage Analysis” in the “Model Coverage Tool” section of Using
Simulink for more information.