证明子系统中的属性
如果您有一个大型模型，您可以证明模型中子系统的属性，并在较小、更易于管理的报告中查看分析。证明子系统中属性的工作流程是：
打开包含子系统的模型。
使子系统成为原子子系统。
使用证明子系统的属性选项运行 Simulink® Design Verifier™。
审查结果。
为子系统生成测试用例 中的教程讲解了如何为巡航控制测试生成模型中的控制器子系统生成测试用例。证明属性的步骤与生成测试用例的步骤类似，只是选择的是证明子系统的属性选项而不是生成子系统测试选项。
如果您有一个大型模型，您可以证明模型中子系统的属性，并在较小、更易于管理的报告中查看分析。证明子系统中属性的工作流程是：
打开包含子系统的模型。
使子系统成为原子子系统。
使用证明子系统的属性选项运行 Simulink® Design Verifier™。
审查结果。
为子系统生成测试用例 中的教程讲解了如何为巡航控制测试生成模型中的控制器子系统生成测试用例。证明属性的步骤与生成测试用例的步骤类似，只是选择的是证明子系统的属性选项而不是生成子系统测试选项。
