增强 MCDC 分析的分析模型

此示例展示了如何生成增强型修正条件/决策覆盖率(MCDC) 目标的测试用例。您可以生成测试用例来增强 MCDC 覆盖率目标并审查分析结果。sldvEnhancedMCDCExample 模型由 Switch、Min 和 Max 模块组成。

1.打开模型 sldvEnhancedMCDCExample:

sldvEnhancedMCDCExample;

2.要为增强型 MCDC 目标配置模型，请在“配置参数”对话框中的 Design Verifier > 测试生成窗格上，将模型覆盖率目标设置为 Enhanced MCDC。点击确定。

3.要生成测试用例，请在 Design Verifier 选项卡上点击生成测试。

分析完成后，“结果摘要”窗口将显示已处理的目标和选项以查看结果。

4.要突出显示分析结果，点击突出显示模型上的分析结果。

要分析 Switch 测试模块的模型覆盖率目标是否可检测，点击 Switch 模块。

结果表明，Switch 模块的决策目标都是可检测的。

5.点击查看测试用例。框架模型打开并且 Signal Editor 模块显示 TestCase_1。

您还可以从详细的分析报告中查看测试用例。

测试用例输入 A、B、C 分别得出 F = 1 和 G = 1。E = -128 的值导致 H = 1，因此在检测位置 Out1 检测到了测试目标的影响。测试模块的模型覆盖率目标的影响没有沿着路径被封装，并且可以在 Out1 处检测到。

6.要查看详细的分析报告，点击结果摘要中的 HTML。测试目标状态部分列出了已满足的目标。表中总结了检测站点可检测到的覆盖率目标。

Simulink Design Verifier 数据文件中的目标字段列出了模型覆盖率目标的可检测性状态和检测站点。有关详细信息，请参阅 管理 Simulink Design Verifier 数据文件。