Analyze a Model for Enhanced MCDC Analysis
This example shows how to generate test cases for enhanced Modified Condition
Decision Coverage (MCDC) objectives. You generate test cases for enhanced MCDC coverage
objectives and review analysis results. The
model consists of Switch, Min, and Max
Open the model sldvEnhancedMCDCExample.
To configure the model for Enhanced MCDC objectives, in the Configuration Parameters dialog box, on theDesign Verifier > Test generation pane, set Model coverage objectives to
Enhanced MCDC. Click OK.
To generate test cases, on the Design Verifier tab, click Generate Tests.
After the analysis is completed, the Results Summary window displays the processed objectives and options to review the results.
To highlight the analysis results, click Highlight analysis results on model.
To analyze whether the model coverage objectives of the Switch test block are detectable, click the Switch block.
The results show that the decision objectives of the Switch block are detectable.
Click View test case. The harness model opens and the Signal Builder block displays
Test case 4.
You can also view the test cases from the detailed analysis report.
The test case inputs
F = -1and
G = -1. The value of
E = -128results in
H = -1, so the impact of the test objective is detected at the detection site
Out1. The impact of the model coverage objective of the test block is not masked along the path and is detectable at
To view the detailed analysis report, click HTML in the Results Summary. The Test Objectives Status section lists the satisfied objectives. The coverage objective that is detectable at the detection site is summarized in the table.
The Objectives field in the Simulink® Design Verifier™ data files lists the detectability status and the detection sites for the model coverage objectives. Fore more information, see Simulink Design Verifier Data Files.