子系统和引用模型测试
生成有针对性的验证测试用例
使用 Simulink® Design Verifier™ 可专门为大型 Simulink 模型中的各个子系统和引用模型生成测试用例。这种有针对性的测试方法使您能够隔离和验证特定组件的行为。
通过重点关注子系统和引用模型，您可以：
在开发周期的早期阶段执行模型级验证。
在系统集成之前，检测并解决隔离子系统中的问题。
为子系统生成的测试输入可以聚合到通过集成实现的覆盖率。
主题
- 什么是组件验证？
组件验证的两种方法的概述。
- 为子系统生成测试用例
分析单个子系统。
- 为可重用库子系统生成测试用例
分析可重用的库子系统。
- 实现子系统和 Model 模块中的缺失覆盖率
解释如何在尝试实现缺失覆盖率之前将子系统转换为 Model 模块。
- 使用测试生成顾问识别可分析组件
使用测试生成顾问来指导模型和组件分析。
- 在子系统分析期间使用现有的覆盖率数据
此示例展示了 Simulink® Design Verifier™ 如何将其分析定位到连续时间闭环仿真中的单个子系统，并为该子系统中缺失的覆盖率生成测试用例。
- 分析 Stateflow 原子子图
使用 Simulink Design Verifier 软件分析原子子图。
- 使用 Observer Reference 模块生成测试用例
使用 Observer Reference 模块生成测试用例。
