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