Main Content

本页采用了机器翻译。点击此处可查看英文原文。

测试用例生成的工作流程

要为您的模型生成测试用例,请使用以下工作流程。

任务描述例如,请参阅

1

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

检查示例模型的兼容性

2

或者,使用测试生成顾问选择模型组件(原子子系统和模型模块)进行测试生成。在测试生成之前,您可以使用结果来更好地了解您的模型,特别是大型模型、复杂模型或您不确定测试生成兼容性的模型。

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

3

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

 

4

或者,使用指定测试目标和测试条件的模块或 MATLAB® 函数来检测您的模型。

定制测试生成

5

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

配置测试生成选项

6

执行Simulink Design Verifier分析。

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

7

查看分析结果。

查看分析结果

相关主题