使用启动激活时间验证和验证变量模型
此示例显示如何使用验证和验证变量模型启动
使用Simulink设计验证器的变体激活时间并使用Simul金宝appink测试测试它。
模型
打开模型slexstartupvariantvnvworkflow.
。该模型包含一个变体子系统块,computetargetspeed
,有两个变体的选择,computetargetspeed_config1.
和computetargetspeed_config2.
。在此示例中,我们使用Simulink设计验证程序金宝app来为包含启动变体的模型生成测试用例,并使用Simulink测试管理器运行模型的预定义测试案例。
要启动Simulin金宝appk设计验证程序并自动生成模型中变体选项的测试用例,请双击SLDV运行按钮。
推出金宝appSimulink测试管理器, 点击打开Sim金宝appulink测试管理器模型中的按钮。这金宝appSimulink测试管理器使用预定义的测试案例启动
slexstartupvariantvnvworkflow.
模型。在迭代地跨所选基准运行每个参数,请单击跑步。一旦测试成功运行,您会注意到模型输出匹配预期的输出。
使用Si金宝appmulink Design Verifier生成测试用例
金宝appSimulink Design Verifier可以分析单个分析中的所有变体选项,如果激活时间设置为启动
。分析一次运行中的所有变体选择分析所有启动变量必须启用配置参数。要启用配置参数:
在Simuli金宝appnk编辑器中,在造型选项卡,单击模型设置。
在“配置参数”对话框中,单击设计验证者在左侧窗格中选择参数和变体。在里面参数和变体窗格,这分析所有启动变量默认情况下选择参数。如果您选择此参数,Simulink Design Verifier金宝app仅分析变量块的活动变量变体激活时间参数设置为
启动
。
在MATLAB命令窗口中,运行与这些步骤相对应的脚本。这SLDV运行模型中的按钮可自动执行相同的脚本。
第1步:设置所需的Simulink设计验证程金宝app序选项。有关选项的信息,请参阅sldvoptions.
(金宝appSimulink Design Verifier)。
modelname =.'slexstartupvariantvnvworkflow';Open_System(ModelName);%为模型创建一个设计验证选项对象。opts = sldvoptions(modelname);%指定在生成测试用例时使用的优化策略。opts.testsuiteOptimization =.'汽车';%生成并保存Simulink Design金宝app Verifier报告。opts.savereport ='在';%为每个变体选择创建唯一报告。opts.makeoutputfilesunique ='在';%创建由Simulink设计验证者分析生成的线束模型。金宝appOpts.SaveHarnessModel ='离开';%指定分析模式。opts.mode =.'testgeneration';%显示Simuli金宝appnk设计验证程序报告。opts.displayReport =.'离开';%分析启动变量的模型。opts.analyzeallstartupvariants =上;
第2步:分析模型。
%跟踪MATLAB命令提示符的执行进度。DISP([换行符'执行SLDV运行模型'型号名称'对于所有变体选择']);DISP(甜点);%分析模型以在日志窗口中生成测试用例并显示消息。[状态,文件名] = SLDVRUN(ModelName,Opts,True);
第3步:显示测试生成状态。
如果状态&status1 disp('金宝appSimulink Design Verifier测试生成已完成。);结尾
分析完成后,Simulink Design Verifier结果摘要窗口金宝app将打开并显示可以使用结果的不同方式。看审查分析结果(金宝appSimulink Design Verifier)。有关使用Simulink Design Verifier使用Simulink设计验证程序分析模型的更多信息,请参阅分析所有启动变金宝app量设计验证程序窗格:参数和变体(金宝appSimulink Design Verifier)
使用Si金宝appmulink测试执行测试
具有快速重启工作流程的启动变体允许您在每次迭代中切换活动变体选择,而无需重新编译模型以更改活动变量。您可以在快速重启模式下使用不同的变体配置创建参数集,以测试您的系统,而无需重新编译模型。要使Simulink测试金宝app工作流程迭代,请使用启动变体激活时间并在快速重启时运行测试迭代。
开始测试管理器
设置并运行测试迭代快速重启并将模型输出与预期输出进行比较,请按照本教程中的步骤操作。
1打开模型,slexstartupvariantvnvworkflow.
。
Open_System('slexstartupvariantvnvworkflow');
2开始测试经理,在应用标签,下面模型验证验证和测试点击金宝appSimulink测试。在这方面测试选项卡,单击金宝appSimulink测试管理器。
相关模型和测试线束
测试套件包含一个或多个测试用例,默认测试用例是基准测试。创建测试套件和新的基准测试。
1从Test Manager ToolStrip,选择新>测试套件。右键点击测试套件创造一个新的基线测试。
2设置测试用例以使用该模型。在上面的示例中,使用模型是slexstartupvariantvnvworkflow.
。在测试经理,下正在测试的系统, 点击使用当前模型按钮。
3.选择slexstartupvariantvnvworkflow_mdlharness
来自马具下降测试线束。
创建参数集
创建参数集并添加具有相应值的变体控制变量。每个参数集都与特定的变体控制值对齐。在上面的示例中,有两个参数集对应于变体控制表达式speedconfig = 1
和speedconfig = 2
。覆盖模型参数,
1展开参数覆盖在测试用例中的部分,然后单击添加。
2点击更新图获取模型参数。
3.从列表中选择变体控制参数。在上面的例子中,它是speedconfig.
。
金宝appSimulink测试管理器允许迭代迭代测试用例的一部分。这表迭代提供一种快速的方法来在模型或测试用例中添加基于迭代的项目。点击自动生成迭代。选择参数集选项从列表中。
捕获基线
当基线测试用例执行时,测试管理器捕获从标记为日志记录的模型中的信号的信号数据,并将其与基线数据进行比较。您可以捕获测试管理器中的基线测试输出作为Excel®文件或MAT文件。或者,您可以将外部文件添加到测试用例作为基线。在测试案件下基线标准, 点击捕获并选择选项用于迭代的基线。指定迭代的路径。在上面的例子中,路径脱离可拆卸
已被指定。请注意基线被填补了表迭代对应于每个参数集。
运行基线测试
基线测试将仿真的输出与预期输出进行比较。确保您选择了在快速重启时运行测试迭代在里面表迭代部分。在迭代地跨所选基准运行每个参数,请单击跑步。