Model Coverage Analysis
About Model Coverage Analysis
Test cases are generated to drive your model to satisfy condition, decision, modified condition/decision (MCDC), and custom coverage objectives.
Describes the difference between MCDC coverage in Simulink® Design Verifier™ and in Simulink Coverage™.
To generate test cases for enhanced Modified Condition Decision Coverage (MCDC) coverage objectives:
Describes the Enhanced MCDC coverage concept and workflows.
Explains how to use cross release workflow for model upgrade by using Simulink Design Verifier.
Use the Test Generation Advisor to guide model and component analysis.
Explains how to convert subsystems to Model blocks before attempting to achieve missing coverage.
This example shows how to find the Simulink Design Verifier (SLDV) generated objectives related to a specific model object using Model Slicer.
Create back-to-back tests using enhanced MCDC in Test Manager.
Generate Test Cases
An example that walks you through the process of generating test cases for a model.
Describes how to generate test cases in Simulink Test™ using Simulink Design Verifier analysis results, which can be generated by property proving, design error detection, and test case generation.
Test generation on a model with a C Caller block and custom C code.
Test generation on a model with custom code in a Stateflow chart.
Specify options that control how Simulink Design Verifier generates tests for the models it analyzes.