为 Model 模块生成测试用例

此示例说明如何在 Simulink® Design Verifier™ 中为对电动车窗控制器进行建模的 Model 模块生成测试用例。

顶层模型表示一个电动车窗验证系统。该模型包含一个模型引用，该模型引用表示一个电动车窗控制器模型，并指定控制器行为和建模需求。

要打开该顶层验证系统的模型，请输入：

open_system('sldvdemo_powerwindow_vs');

该模型引用指向模型 sldvdemo_powerwindowController，该模型通过发出上下移动车窗的命令来响应驾驶员和乘客的命令。如果车窗遇到障碍物或到达窗框的任意方向的末端，该模型也会做出响应。

指定测试用例生成的分析选项：

1.在 Design Verifier 选项卡中，将模式更改为测试生成。

2.点击测试生成设置。

3.从“配置参数”对话框的测试生成窗格中，将模型覆盖率目标设置为 MCDC。

4.点击确定。

对 Model 模块执行测试用例生成：

1.右键点击 Model 模块，然后依次选择 Design Verifier > 为引用模型生成测试。或者，在 Design Verifier 窗格的分析部分中，点击取消固定按钮，然后选择 Model 模块。然后点击“生成测试”。

2.Simulink Design Verifier 会为 Model 模块生成测试用例。“结果”窗口会显示测试生成已正常完成。

3.要访问详细分析报告，请点击“结果”窗口中的 HTML。分析报告显示，在已处理的 178 个目标中，有 170 个目标已满足，有 8 个目标无法满足。

要完成示例，请关闭打开的模型。

close_system('sldvdemo_powerwindow_vs',0);