工具使用和结果处理
使用工具增强模型验证
工具使用和结果处理涉及运用工具进行模型分析、验证和确认的步骤和方法，以及如何解释和利用工具生成的结果。通过高效地使用 Simulink® Design Verifier™ 并处理其结果，您可以增强模型的可靠性和稳健性，从而打造更可靠的系统和产品。
主题
- Simulink Design Verifier 分析基础知识
探索 Simulink Design Verifier 分析。
- 设置 Simulink Design Verifier 分析选项
“配置参数”对话框中的 Simulink Design Verifier 选项概述。
- Design Verifier 窗格：测试生成
指定控制 Simulink Design Verifier 如何为其分析的模型生成测试的选项。
- 将测试用例导出到 Simulink Test
说明如何使用 Simulink Design Verifier 分析结果在 Simulink Test™ 中生成测试用例，这些结果可以通过属性证明、设计错误检测和测试用例生成来生成。
- 使用模型切片器检查测试生成目标
使用模型切片器检查测试生成目标。
