万博1manbetxSimulink Design Verifier (SLDV)只考虑主动变量选择来生成测试用例。由于变体模型有许多选择，用户可以选择以下工作流中的一个来为所有所需的路径生成测试用例。利用 Simulink Des万博1manbetxign Verifier为具有可变子系统的模型生成测试用例需要额外的步骤。
工作流1:切换变量选择
- 打开被测试的模型。
- 激活特定的变体选择。
- 在SLDV配置选项中，设置特定于每个选项的输出文件名，这将确保每个选项都有单独的SLDV输出文件。
- 在模型上执行SLDV运行(设计错误检测，测试生成)。
- 生成报告并分析结果。
- 切换选项并重新运行SLDV分析。
工作流2:使用变量管理器
用户可以在变体管理器中为定义的配置生成测试用例
- 打开被测试的模型。
- 在变体管理器中获取已定义的变体配置。
配置=万博1manbetxSimulink.VariantManager.getConfigurationData (modelName)
- 在循环中使用“万博1manbetxSimulink.VariantManager.activateModelAPI，这将一次激活一组配置。该API是在MATLAB R2022b中介绍的。
注意:如果在数据字典中定义了变量控制参数，则激活特定的变量配置后需要保存数据字典。
万博1manbetxSimulink.VariantManager.activateModel(modelName,Configuration = config.VariantConfigurations(i).Name);
- 设置SLDV输出文件名(这将有助于区分与每个配置相关联的不同报告)
选择=sldvoptions (modelName)
选择。DataFileName= [modelName“_”config.VariantConfigurations(我). name“_sldvdata”];
选择。ReportFileName＝［“SLDV_Report_”modelName“_”config.VariantConfigurations (i) . name];
set_param (modelName“SimulationCommand”，“更新”）
(地位、文件名)=sldvrun (modelName,选择,真);
我们的演示示例 “slexVariantVnVWorkflow”
展示了使用SLDV为模型中的不同子系统生成测试用例的类似工作流。
