创建一个 Simulink^® 模型。

将以下模块复制到空白模型窗口中：

在您的模型中，双击其中一个 Constant 模块并将其常量值参数指定为 2。

连接各个模块以使您的模型类似于下图。

在 App 选项卡上，点击 App 部分右侧的箭头。

在模型验证、确认和测试下，点击 Design Verifier。

在 Design Verifier 选项卡的准备部分中，从模式设置的下拉菜单中点击设置。

在“配置参数”对话框中，选择求解器窗格。在求解器选择中：

Simulink Design Verifier 仅分析使用固定步长求解器的模型。

点击确定保存更改并关闭“配置参数”对话框。

使用名称 ex_generate_test_cases_example 保存您的模型。

打开 ex_generate_test_cases_example 模型。

在 Design Verifier 选项卡上，点击检查兼容性。

该软件显示日志窗口，表明您的模型是否适合分析。

您刚刚创建的模型是兼容的。

打开 ex_generate_test_cases_example 模型。

在 Design Verifier 选项卡的模式部分中，选择测试生成。

点击测试生成设置。

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

对于此示例，分析生成仅记录决策覆盖率的测试用例。

测试套件优化参数默认设置为自动。如果要生成更少但更长的测试用例，请为测试套件优化参数选择 LongTestcases。

点击确定保存更改并关闭“配置参数”对话框。

保存 ex_generate_test_cases_example 模型。

在 MATLAB 命令提示符下，输入 sldvlib 以显示 Simulink Design Verifier 库。

打开目标和约束子库。

将 Test Condition 模块从 Simulink Design Verifier 库拖到模型窗口，将其复制到模型中。

在模型窗口中，将 Test Condition 模块插入 Inport 和 Switch 模块之间。

双击 Test Condition 模块来访问其属性。

打开“模块参数”对话框。

在值框中，输入 [-0.1, 0.1]。在为该模型生成测试用例时，分析会限制信号值，将 Switch 模块控制端口输入到指定的范围内。

点击确定保存更改并关闭“模块参数”对话框。

将您的模型保存为 ex_generate_test_cases_with_tc_block 并保持打开。

在 Design Verifier 选项卡上，点击生成测试。

Simulink Design Verifier 软件显示一个日志窗口并开始分析您的模型以生成测试用例。当软件完成分析时，“结果摘要”窗口将显示用于查看结果的选项。

在结果摘要窗口中，点击 HTML 报告。

要开始查看报告，请在目录中点击摘要。

摘要章节表明 Simulink Design Verifier 在模型中满足了两个测试目标。

在目录中，点击分析信息。滚动到本章的底部，到“约束”部分。

本节列出了您添加的 Test Condition 模块，以将 Switch 模块控制信号的值限制在区间[-0.1, 0.1] 内。

在目录中，点击测试目标状态。

该表表明，通过生成的两个测试用例，Simulink Design Verifier 满足了 Switch 模块的两个测试目标。

在表格测试用例列下，点击 1。

本节提供有关软件为实现模型目标而生成的测试用例的详细信息。当 Switch 模块将其第三个输入传递到其输出端口时，此测试用例实现测试目标 1。尽管 Test Condition 模块将输入信号的范围限制在区间[-0.1, 0.1] 内，但软件确定 Switch 模块控制信号的值为 -0.1 可以满足这一目标。

为了确认测试用例实现 100% 的决策覆盖率，请打开框架模型。

双击输入模块以打开信号编辑器对话框。

在框架模型的工具条中，点击全部运行(覆盖率)。

Simulink 软件使用两个测试用例仿真框架模型，收集模型覆盖率信息，并显示覆盖率报告。报告的摘要部分表明 Simulink Design Verifier 生成的测试用例为您的示例模型实现了完整的决策覆盖率。