子系统和引用模型测试
生成有针对性的验证测试用例
Simulink® Design Verifier™ 中的子系统和引用模型测试是指该工具能够专门为大型 Simulink 模型中的各个子系统和引用模型生成测试用例。此功能使用户能够专注于模型的特定组件，确保每个部分都满足其需求并正常运行。通过隔离并测试这些组件，用户可以进行更有针对性的验证，尽早发现问题，并提高系统的整体可靠性和性能。
主题
- 什么是组件验证？
组件验证的两种方法的概述。
- 为子系统生成测试用例
分析单个子系统。
- 为可重用库子系统生成测试用例
分析可重用的库子系统。
- 实现子系统和 Model 模块中的缺失覆盖率
解释如何在尝试实现缺失覆盖率之前将子系统转换为 Model 模块。
- 使用测试生成顾问识别可分析组件
使用测试生成顾问来指导模型和组件分析。
- 分析 Stateflow 原子子图
使用 Simulink Design Verifier 软件分析原子子图。
