生成测试
生成测试用例集以实现模型和代码覆盖率并满足自定义测试准则
Simulink® Design Verifier™ 可自动生成测试用例，使您能够全面评估模型行为。测试用例通过演示模型中模块在不同模式下的执行情况，帮助您确认模型性能。生成测试用例时，软件会对模型进行形式化分析。分析完成后，软件会提供多种结果查看方式。有关详细信息，请参阅为模型生成测试用例。Simulink Design Verifier 通过生成测试用例，帮助实现模型覆盖率目标，例如修正条件/决策覆盖率 (MC/DC) 和边界值分析。此分析不仅可以增强模型的可靠性，还可以通过减少手动测试工作量来加快验证过程。生成的测试用例可用于对照指定的需求验证模型，确保符合行业标准并降低开发后期出错的风险。
类别
精选示例
使用默认仿真为 Model 模块组件生成测试
此示例说明如何使用 Simulink® Design Verifier™ 通过默认顶层模型仿真为 Model 模块生成测试用例。
扩展现有测试套件
此示例展示如何使用 Simulink® Design Verifier™ 扩展现有测试套件以获得缺失的模型覆盖率。
使用 Excel 文件添加测试用例
此示例说明如何使用 Simulink® Design Verifier™ 支持的 Excel® 文件逐步创建测试用例。
使用平面近似调整查找表数据
使用 Simulink Design Verifier 中的平面近似调整查找表数据。
在具有可变大小输入的模型中实现覆盖率
此示例向您展示如何使用 Simulink Design Verifier™ 在具有可变大小输入信号的模型中实现模型覆盖率。
