Simulink® Coverage™ measures model coverage and code coverage to indicate untested elements of your design, such as logical conditions, unintended functionality, and switch positions during simulation. Review coverage information for the model in generated reports and in highlighted models to identify missing coverage and navigate to the associated requirements. Determine if you need to modify the requirements, test cases, or design to meet your coverage goals.
|Build coverage-compatible MEX-function from C/C++ code|
|Create model coverage test specification object|
|Simulate and return model coverage results for test objects|
|Produce HTML report from model coverage objects|
|Display model coverage results with model coloring|
|Retrieve modified condition/decision coverage information from cvdata object|
Validate your model tests by measuring how thoroughly the model objects are tested.
Develop effective tests with model coverage.
In the Simulink Editor, specify several coverage recording options.
Model coverage metrics provided by Simulink Coverage .
Highlight model elements to view coverage results.
Create and view cumulative coverage results for a model with a reusable subsystem.
Collect cumulative model coverage from successive simulation runs.
Create and run test cases by using the model coverage MATLAB® commands
Describes the definitions of MCDC coverage used in Simulink Coverage.
Describes the difference between MCDC coverage in Simulink Design Verifier™ and in Simulink Coverage.
This model includes various patterns of cascaded Logical Operator blocks.
This example illustrates how Simulink® Coverage™ records the MCDC metric for a cascade of Logical Operator blocks.
Learn how inlined parameters, block reduction, and conditional input branch execution can affect your model coverage data.
Model objects that receive model coverage during simulation.
Simulink objects that do not receive coverage.
Use model coverage for MATLAB Function blocks and interpret the results.
Determine the extent to which a model test case exercises simulation control flow paths through a model.
Collect model coverage when a model has multiple Model blocks that reference the same model.