工具使用和结果处理
使用工具增强模型验证
Simulink® Design Verifier™ 涉及配置工具来分析、验证和确认模型，然后解释其产生的结果。首先配置该工具，使其针对特定的验证或确认工作流程。
分析完成后，Simulink Design Verifier 会提供详细的报告、覆盖率度量和诊断消息，以帮助您了解模型在各种条件下的行为。
通过处理这些结果，您可以迭代方式提高模型质量，增强测试完整性，并确保符合安全和法规标准。
主题
- 分析模型并解释结果
探索 Simulink Design Verifier 分析的基础知识。
- 为模型配置分析选项
在“配置参数”对话框中指定 Simulink Design Verifier 选项。
- Design Verifier 窗格：测试生成
指定控制 Simulink Design Verifier 如何为其分析的模型生成测试的选项。
- 将测试用例导出到 Simulink Test
说明如何使用 Simulink Design Verifier 分析结果在 Simulink Test™ 中生成测试用例，这些结果可以通过属性证明、设计错误检测和测试用例生成来生成。
- 使用模型切片器检查测试生成目标
使用模型切片器检查测试生成目标。
