Collect Coverage for Models
Collect coverage during simulation to measure which elements in your model or Stateflow® charts are tested. Simulink® Coverage™ measures several types of coverage, such as execution, decision, condition, and modified condition/decision coverage. The most basic coverage level determines whether an item executes during simulation, while more extensive coverage levels determine whether individual logical conditions are fully exercised and independently affect the output of logical expressions.
Collect Model Coverage
|Simulate a Simulink model|
|Create model coverage test specification object|
|Simulate and return model coverage results for test objects|
|Access Simulink Coverage data in the MATLAB workspace|
|Exit model coverage environment|
|Simulate dynamic system multiple times in parallel or serial|
Verify Individual Components
|Log test data for component or model during simulation|
|Combine test data from data files|
|Generate Simulink Coverage harness model|
|Generate default options for |
|Combine test data from harness models|
|Simulate model by using input data|
|Invoke Code Generation Verification (CGV) API and execute model|
|Generate simulation or execution options for |
|Extract atomic subsystem or subchart contents into new model|
Model coverage metrics provided by Simulink Coverage.
Learn the basic Simulink Coverage workflow.
In the model settings, specify several coverage analysis options.
Model objects that receive model coverage during simulation.
Simulink objects that do not receive coverage.
Describes the definitions of MCDC coverage available for use in Simulink Coverage.
Describes the difference between MCDC coverage in Simulink Design Verifier™ and in Simulink Coverage.
Learn how inlined parameters, block reduction, and conditional input branch execution can affect your model coverage data.
Collect model coverage when a model has multiple Model blocks that reference the same model.
Describes the definition of coverage for elements in Stateflow charts.