扩展现有的测试套件

打开脚本

这个例子展示了如何使用Simulink®Design Ver金宝appifier™来扩展现有的测试套件，以获得缺失的模型覆盖率。

您将分析一个示例模型并生成测试套件，以实现全面覆盖。然后，修改模型，使测试用例不再达到完全覆盖。最后，使用Simulink®Design Verifier™分析修改后的模型，以获得遗漏的覆盖率。金宝app

生成初始测试套件

分析sldvdemo_cruise_control建模并生成一个测试套件，以实现完全的模型覆盖。若要分析模型以生成提供模型覆盖率的测试用例，请使用sldvrun函数。设置设计验证参数sldvoptions。

open_system“sldvdemo_cruise_control”;选择= sldvoptions;选择。模式=“TestGeneration”;选择。ModelCoverageObjectives =“MCDC”;选择。SaveHarnessModel =“关闭”;选择。SaveReport =“关闭”;[状态，文件]= sldvrun(“sldvdemo_cruise_control”、选择正确的);

测试生成分析结果出现在Simulink设计验证程序结果摘要窗口中。金宝app

close_system (“sldvdemo_cruise_control”,0);

验证完全覆盖

的sldvruntest函数使用现有的测试套件来模拟模型。的cvhtml函数生成一个覆盖率报告，该报告指示的初始覆盖率sldvdemo_cruise_control模型。

open_system“sldvdemo_cruise_control”;[outData, initialCov] = sldvruntest(“sldvdemo_cruise_control”,文件。丢失,[],真);cvhtml (“初始覆盖”,initialCov);close_system (“sldvdemo_cruise_control”,0);

修改模型

加载修改后的sldvdemo_cruise_control_mod模型。控制器的目标速度值被限制为70，通过使用a饱和块。

load_system“sldvdemo_cruise_control_mod”;load_system“sldvdemo_cruise_control_mod /控制器”;

度量现有测试套件实现的覆盖率

的sldvruntest函数模拟修改后的结果sldvdemo_cruise_control_mod与现有的测试套件和输入相同的模型sldvdemo_cruise_control模型。的cvhtml函数生成指示已修改内容的覆盖率报告sldvdemo_cruise_control_mod模型不再实现全覆盖。

[outData, startCov] = sldvruntest(“sldvdemo_cruise_control_mod”,文件。丢失,[],真);cvhtml (“原始测试套件的覆盖范围”,startCov);