模型覆盖率分析测试
Simulink® Design Verifier™ 使您能够通过检查在仿真过程中执行了模型的哪些部分来评估 Simulink 模型的测试彻底程度。它会检查模型的所有部分是否都经过了测试。该分析有助于识别模型中未经测试到的部分，这些部分可能会导致未检测到的错误或 Bug。
通过执行模型覆盖率分析，您可以：
识别缺失测试用例。
提高模型的质量和可靠性。
检查是否符合要求特定覆盖率等级的行业标准。
Simulink Design Verifier 将这些分析集成到测试工作流中，提供详细的报告和可视化，帮助您了解覆盖率缺失并提高测试完整性。
主题
- 测试生成的模型覆盖率目标
生成测试用例是为了驱动您的模型满足条件、决策、修正条件/决策 (MCDC) 和自定义覆盖率目标。但是，如果您的模型没有以上任何目标，则 Simulink Design Verifier 会生成一个表示对您的模型进行基本仿真的测试用例。测试输入满足输入端口的最小值或最大值约束，中间信号值满足模型中 Test Condition 模块指定的约束。
- 生成模型决策覆盖率的测试用例
引导您完成生成模型测试用例的过程的示例。
- 指定全面覆盖的参数配置
如何指定参数约束值以实现完整模型覆盖率的示例。
- 分析查找表边界值的覆盖率
描述如何生成查找表边界值覆盖测试。
- 增强型 MCDC 分析的基本工作流程
用于生成测试用例以增强修正条件/决策覆盖率(MCDC)覆盖率目标的工作流程。
- 逻辑运算短路
解释 Simulink Design Verifier 如何对逻辑模块进行短路处理。
- 作者自定义测试目标工作流程
描述创作自定义测试目标的工作流程。
- Simulink Design Verifier 中的增强 MCDC 覆盖率
描述增强型 MCDC 覆盖率概念和工作流程。
- Simulink Design Verifier 中的修改条件和决策覆盖率
描述 Simulink Design Verifier 和 Simulink Coverage™ 中 MCDC 覆盖率之间的差异。
- 在具有可变大小输入的模型中实现覆盖率
此示例向您展示如何使用 Simulink Design Verifier™ 在具有可变大小输入信号的模型中实现模型覆盖率。
- 在包含 C Caller 模块的模型上生成测试
在包含 C Caller 模块和自定义 C 代码的模型上生成测试。
- MATLAB Function 模块中的自定义代码测试生成
Simulink Design Verifier 分析支持使用
coder.ceval从 MATLAB® Function 模块调用自定义代码的模型。对于这样的设计模型，您可以生成模型覆盖率的测试用例或执行设计错误检测以查找死逻辑或检测设计错误。 - 在 Stateflow 图中为自定义代码生成测试
在 Stateflow 图中在包含自定义代码的模型上生成测试。
- Simulink Design Verifier 中 S-Function 和 C/C++ 代码的限制和注意事项
列出 Simulink Design Verifier 中 S-Function 和生成代码的限制和注意事项。
- 增强旧版本车型的车型覆盖率
解释如何使用 Simulink Design Verifier 使用交叉发布工作流进行模型升级。
