Model Coverage Analysis
Generate test cases for systematic verification using
formal analysis methods
Topics
About Model Coverage Analysis
- Model Coverage Objectives for Test Generation
Test cases are generated to drive your model to satisfy condition, decision, modified condition/decision (MCDC), and custom coverage objectives. - Modified Condition and Decision Coverage in Simulink Design Verifier
Describes the difference between MCDC coverage in Simulink® Design Verifier™ and in Simulink Coverage™. - Basic Workflow for Enhanced MCDC Analysis
To generate test cases for enhanced Modified Condition Decision Coverage (MCDC) coverage objectives: - Enhanced MCDC Coverage in Simulink Design Verifier
Describes the Enhanced MCDC coverage concept and workflows. - Enhance Model Coverage of Older Release Models
Explains how to use cross release workflow for model upgrade by using Simulink Design Verifier. - Analyze Coverage for Lookup Table Boundary Values
Describes how to generate tests for lookup table boundary value coverage. - Create and Run Back-to-Back Tests using Enhanced MCDC
Create back-to-back tests using enhanced MCDC in Test Manager. - Use Test Generation Advisor to Identify Analyzable Components
Use the Test Generation Advisor to guide model and component analysis. - Missing Coverage in Subsystems and Model Blocks
Explains how to convert subsystems to Model blocks before attempting to achieve missing coverage. - Debug Enhanced Modified Condition and Decision Coverage (MCDC) using Model Slicer
This example shows how to find the Simulink Design Verifier (SLDV) generated objectives related to a specific model object using Model Slicer. - Inspect Test Generation Objectives by Using Model Slicer
Inspect Test Generation Objectives using Model Slicer.
Generate Test Cases
- Generate Test Cases for Model Decision Coverage
An example that walks you through the process of generating test cases for a model. - Export Test Cases to Simulink Test
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 Model with C Caller Block
Test generation on a model with a C Caller block and custom C code. - Test Generation for Custom Code in a Stateflow Chart
Test generation on a model with custom code in a Stateflow chart. - Test Generation for Custom Code in MATLAB Function Block
Simulink Design Verifier analysis supports models that call custom code from MATLAB® function blocks by usingcoder.ceval
. - Design Verifier Pane: Test Generation
Specify options that control how Simulink Design Verifier generates tests for the models it analyzes.