使用模型切片器检查测试生成目标
此示例显示如何使用模型切片器检查 Simulink® 模型中的测试生成目标。Simulink Design Verifier™ 分析生成测试用例并将测试用例传播到 Model 模块。您可以在目标可观察的时间步骤中查看或检查 Model 模块中的测试目标，并使用模型切片器突出显示路径和值。
准备模型
打开模型。
model = 'sldvdemo_cruise_control';
open_system(model);生成测试目标
1.通过点击 App > Design Verifier 打开 Simulink Design Verifier。
2.在 Design Verifier 选项卡中，点击生成测试。Simulink Design Verifier 分析模型并在 Simulink Design Verifier 结果摘要窗口中显示结果。
3.在模型中，分析重点突出了目标所在的 Controller 子系统。
4.打开 Controller 子系统并点击 PI Controller 子系统。或者，您可以选择任何以绿色突出显示的模块。目标出现在结果窗口中。
使用模型切片器检查测试目标
1.在结果窗口中，点击检查以启动模型切片器并分析目标。或者，在“Design Verifier”选项卡的查看结果部分中，点击查看结果 > 使用切片器检查。
作为模型设置的一部分，模型切片器：
使用选定的模块作为起点
突出显示代表目标的切片
仿真模型并在观察时暂停
您可以通过检查端口标签来分析模型，或者观察传播到目标模块的测试用例的值及其所采用的路径。
请注意，当您将模型覆盖率目标设置为增强型 MCDC 时，您还可以检查目标可检测性。在这种情况下，模型切片器配置允许您使用切片配置列表切换到不同的模式。有关详细信息，请参阅 使用模型切片器检查增强型 MCDC 目标。
