测试用例生成工作流

1

验证您的模型是否与 Simulink^® Design Verifier™ 兼容。

检查示例模型的兼容性

2

可以选择使用测试生成顾问来为测试生成选择模型组件（原子子系统和模型模块）。在进行测试生成之前，您可以使用结果更好地了解模型，尤其是大型模型、复杂模型或您不确定是否与测试生成兼容的模型。

使用测试生成顾问识别可分析组件

3

如果您的模型中有 Stateflow^® 对象，请在“配置参数”对话框的诊断 > Stateflow 窗格中，将不可达的执行路径设置为错误。

4

可以选择使用指定测试目标和测试条件的模块或 MATLAB^® 函数对您的模型进行插桩。

自定义测试生成

5

指定用于控制 Simulink Design Verifier 如何为您的模型生成测试用例的选项。

配置测试生成选项

6

执行 Simulink Design Verifier 分析。

分析示例模型和重新分析示例模型

7

查看分析结果。

查看分析结果