Main Content

本页采用了机器翻译。点击此处可查看最新英文版本。

增强 MCDC 分析的分析模型

打开实时脚本

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

1.打开模型sldvEnhancedMCDCExample:

sldvEnhancedMCDCExample;

example_model.png

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

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

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

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

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

enhanced_mcdc_switch_results.png

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

5.点击查看测试用例。框架模型打开并且Signal Builder 模块显示 Test case 4 。

harness_test_case.png

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

test_case_enhanced_mcdc.png

enhanced_mcdc_test_case_explain.png

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

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

enhanced_mcdc_report.png

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

另请参阅