用启动激活时间验证和验证变量模型
这个例子展示了如何验证和验证不同的模型启动使用Simulink®Design Verifier™进行更改激活时间，并使用Simulink test™进行测试。
模型
打开模型slexStartupVariantVnVWorkflow．该模型包含一个Variant Subsystem块，ComputeTargetSpeed，有两个不同的选择，ComputeTargetSpeed_Config1而且ComputeTargetSpeed_Config2．在本例中，我们使用Simulink Design Verifier为包含启动变量的模型生成测试用例，并使用Simulink test Manager为模型运行预定义的测试用例。
要启动Simulink Design Verifier并为模型中的变体选择自动生成测试用例，请双击SLDV运行按钮。
启动Simulink测试管理器，按打开Simulink测试管理器按钮在模型中。的Simulink测试管理器的预定义测试用例一起启动
slexStartupVariantVnVWorkflow模型。若要在所选基线上迭代运行每个参数集，请单击运行．一旦测试成功运行，您将注意到模型输出与预期输出相匹配。
使用Simulink设计验证器生成测试用例
如果将激活时间设置为，Simulink Design Verifier可以在一次分析运行中分析所有变量选择启动．要在一次运行中分析所有的变量选择，可以使用分析所有启动变量配置参数必须启用。启用配置参数。
在Simulink编辑器中建模选项卡上,单击模型设置．
在“配置参数”对话框中，单击设计验证器在左侧窗格中，并选择参数和变量．在参数和变量窗格中,分析所有启动变量参数默认为选中。如果取消选择此参数，Simulink Design Verifier将只分析变量块的活动变量变体激活时间参数设置为
启动．
在MATLAB命令窗口中，运行对应于这些步骤的脚本。的SLDV运行按钮自动执行相同的脚本。
步骤1:设置所需的Simulink设计验证器选项。有关选项的信息，请参见sldvoptions(Simulink Design Verifier)．
modelName =“slexStartupVariantVnVWorkflow”；open_system (modelName);为模型创建一个设计验证选项对象。。opts = sldvoptions(modelName);指定生成测试用例时要使用的优化策略。选择。TestSuiteOptimization =“汽车”；生成并保存Simulink设计验证器报告。选择。SaveReport =“上”；为每个变量选择创建唯一的报告。。选择。MakeOutputFilesUnique =“上”；创建由Simulink设计验证器分析生成的线束模型。。选择。SaveHarnessModel =“关闭”；%指定分析模式。选择。模式=“TestGeneration”；%显示Simulink设计验证器报告。选择。DisplayReport =“关闭”；分析启动变量的模型。选择。analyzeallstartupvariables = on;
步骤2:分析模型。
从MATLAB命令提示符跟踪执行进度。disp([换行符“为模特进行SLDV跑步”modelName“适用于所有变体选择”]);disp(换行符);分析模型以生成测试用例，并在日志窗口中显示消息。[status, filename] = sldvrun(modelName, opts, true);
步骤3:显示测试生成状态。
如果状态和状态1“Simulink设计验证器测试生成完成。”）;结束
分析完成后，将打开“Simulink设计验证器结果摘要”窗口，并显示使用结果的不同方式。看到回顾分析结果(Simulink Design Verifier)有关使用Simulink设计验证器分析带有变量的模型的详细信息，请参见中分析所有启动变量设计验证器窗格:参数和变量(Simulink Design Verifier)
使用Simulink测试执行测试
具有快速重新启动工作流的启动变体允许您在每次迭代中切换活动变体的选择，而不需要重新编译模型来更改活动变体。您可以在快速重启模式中创建具有不同配置的参数集来测试您的系统，而不需要重新编译模型。要使Simulink测试工作流迭代，请使用启动变量激活时间并在快速重新启动中运行测试迭代。
启动测试管理器
来设置并运行测试迭代快速启动并将模型输出与预期输出进行比较，请遵循本教程中的步骤。
1打开模型，slexStartupVariantVnVWorkflow．
open_system(“slexStartupVariantVnVWorkflow”);
2要启动测试管理器，请在应用程序选项卡,在模型验证、验证和测试点击仿真软件测试．在测试选项卡上,单击Simulink测试管理器．
关联模型和测试工具
测试套件包含一个或多个测试用例，默认的测试用例是基线测试。创建一个测试套件和一个新的基线测试。
1从Test Manager工具条中，选择新的>测试套件．右击测试套件创建一个新的基准测试．
2设置测试用例以使用模型。在上面的例子中，使用的模型是slexStartupVariantVnVWorkflow．在测试管理器中，在测试中的系统，按使用当前模型按钮。
3.选择slexStartupVariantVnVWorkflow_mdlHarness从利用沉入水底测试工具．
创建参数集
创建参数集，并使用相应的值添加变量控制变量。每个参数集与特定的变量控制值对齐。在上面的例子中，有两个参数集对应于变量控制表达式speedConfig = 1而且speedConfig = 2．要重写模型参数，
1扩大参数将覆盖部分，然后单击添加．
2点击更新图得到模型参数。
3.从列表中选择变量控制参数。在上面的例子中，它是speedConfig．
中的迭代迭代部分的测试用例。的表迭代提供一种在模型或测试用例中添加基于迭代的项目的快速方法。点击自动生成迭代。选择参数集选项。
捕捉基线
当基线测试用例执行时，test Manager从标记为日志的模型中的信号中捕获信号数据，并将它们与基线数据进行比较。您可以在test Manager中以Excel®文件或mat文件的形式捕获基线测试输出。或者，您可以将一个外部文件添加到测试用例中作为基线。在测试用例下基线标准,点击捕获然后选择选项为迭代捕获基线．指定迭代的路径。在上面的示例中，到的路径DisengageWithDisable已指定。注意基线被填充到表迭代对应于每个参数集。
运行基线测试
基线测试将模拟输出与预期输出进行比较。确保已选择在快速重启中运行测试迭代在表迭代部分。若要在所选基线上迭代运行每个参数集，请单击运行．
您也可以从以下列表中选择一个网站: