使用快速重启模式调试切片仿真
使用模型切片器快速重启模式执行多个切片器仿真，并简化模型调试工作流程。有关详细信息，请参阅开始使用快速重启。
启用快速重启模式后，您可以：
使用不同的输入高效地执行多个切片器模拟，而无需重新编译模型。
通过逐步执行仿真的主要时间步长并检查切片如何变化来调试仿真。有关详细信息，请参阅使用 Simulink 编辑器步进仿真。
在模型切片中仿真和调试测试用例
此示例展示了快速重启模式如何在不重新编译模型下，使用不同的测试用例输入执行切片器仿真。您可以仿真带有测试用例输入的切片框架模型，并突出显示模型中的依赖关系分析。
通过逐步执行时间步长来分析突出显示的片段。您可以使用仿真步进器来分析切片在每个时间步长中的变化情况。
1.打开 sldvdemo_cruise_control 模型。
open_system('sldvdemo_cruise_control');2.设置 sldvoptions 参数并使用指定的选项分析模型。
opts = sldvoptions; opts.Mode = 'TestGeneration'; % Perform test-generation analysis opts.ModelCoverageObjectives = 'MCDC'; % Specify type of model coverage opts.SaveHarnessModel = 'on'; % Save harness as model file [ status, files ] = sldvrun('sldvdemo_cruise_control', opts);
19-Apr-2026 20:04:36
Checking compatibility for test generation: model 'sldvdemo_cruise_control'
Compiling model...done
Building model representation...done
19-Apr-2026 20:04:44
'sldvdemo_cruise_control' is compatible for test generation with Simulink Design Verifier.
Generating tests...
Generating output files:
Harness model:
/tmp/Bdoc26a_3233028_421015/tp39e99d31/slcheck-ex45330953/sldv_output/sldvdemo_cruise_control/sldvdemo_cruise_control_harness.slx
19-Apr-2026 20:05:13
Results generation completed.
Data file:
/tmp/Bdoc26a_3233028_421015/tp39e99d31/slcheck-ex45330953/sldv_output/sldvdemo_cruise_control/sldvdemo_cruise_control_sldvdata.mat
分析完成后，软件打开框架模型 sldvdemo_cruise_control_harness 并将其保存在默认位置 <current_folder>\sldv_output\sldvdemo_cruise_control\sldvdemo_cruise_control_harness.slx。
3.在 App 选项卡的模型验证、确认和测试库下，点击模型切片器。模型切片器编译模型。
打开模型切片器后，您可以启用快速重启功能。选择仿真时间窗口，然后点击运行仿真按钮。要启用快速重启，请在“记录仿真时间”窗口中，点击此处链接。
5.要添加起始点，请在模型切片器中点击添加所有输出端口。
节流孔和目标输出端口被添加为起始点。
6.您可以仿真测试用例并分析切片中突出显示的依赖关系。
(a) 在 Signal Editor 模块中，选择测试用例 1。
(b) 使用 Simulink® 编辑器中的全部运行按钮 
仿真模型。您还可以使用模型切片器中的仿真时间窗口仿真。
该切片显示了测试用例 1 输入的突出显示依赖关系。
您可以仿真不同测试用例输入的切片，并在生成模型切片后进行依赖性分析。
7.您可以使用仿真步进器来调试切片器仿真。有关详细信息，请参阅使用 Simulink 编辑器步进仿真。
(a) 要调试测试用例的仿真，请在 sldvdemo_cruise_control_slice 模型的 Simulink® 编辑器中，点击向前一步按钮。您可以查看每个时间步的信号值和突出显示的切片。有关详细信息，请参阅Simulation Stepping Options。T=0.010 时的信号值和依赖关系出现。
(b) 要调试 T=0.030 处的切片，向前单步操作并查看信号值和突出显示的切片。
8.要完成仿真步骤，点击运行按钮。
