主要内容

使用增强型MCDC创建并运行背靠背测试

这个例子向您展示了如何使用增强的MCDC创建和运行一个背靠背测试。增强型MCDC分析模型中每个目标的可检测性,并为每个目标生成非掩蔽测试用例。有关更多信息,请参见在Simulink设计验证器中增强MCDC覆盖金宝app

Simulink®Test™中的背靠背测试将金宝app正常模拟的结果与软件在环、处理器在环或硬件在环模拟生成的代码结果进行比较。

第1节:准备模型

1.打开模型:

模型= (“sldvSliceCruiseControl”);open_system(模型);

2.为代码生成和日志记录准备模型。

set_param(模型,“ProdHWDeviceType”Intel->x86-64 (Linux 64));set_param(模型,“ProdLongLongMode”“上”);set_param(模型,“SaveOutput”“上”);set_param(模型,“SignalLogging”“上”);set_param(模型,“SaveFormat”“数据集”);

注意:您还可以选择将模型中的内部信号标记为测试点日志信号(例如,sldvSliceCruiseControl / CruiseControlMode / opMode /开关,)使这些信号在增强MCDC分析时优先作为检测点。看到的,使用测试点日志信号配置检测点

3.生成代码。

应用程序选项卡上,单击嵌入式编码器,然后按生成代码

嵌入式编码器为模型生成代码生成报告。关闭生成的报告窗口。金宝appSimulink Design Verifier使用来自生成代码的日志信号信息来配置增强MCDC的检测点。如果不生成代码,Simulink Design Verifier将金宝app使用来自模型的测试点日志信号的信息来配置增强MCDC的检测点。

第2节:使用增强的MCDC创建背靠背测试

中创建背靠背测试的步骤如下金宝app仿真软件测试测试经理:

1.打开金宝app仿真软件测试选项卡,在应用程序选项卡,在模型验证、验证和测试部分中,点击金宝app仿真软件测试

2.要打开测试管理器,请在测试选项卡上,单击金宝appSimulink测试管理器

3.点击>模型组件测试.打开“为模型组件创建测试”向导。

4.要指定顶级模特为测试,单击旁边的“使用当前选定的模型组件”按钮来填充字段顶级模特字段。

5.点击下一个指定如何使用Simulink设计验证器生成测试输入。金宝app选择使用设计验证器生成测试输入场景.此选项使用Simulink设计验证器运行模型并创建输入。金宝app

6.点击下一个选择测试方法。选择执行背靠背测试.为Simulation1中,选择正常的.为Simulation2中,选择Software-in-the-Loop(银).选择将模型覆盖目标设置为Enhanced MCDC

7.点击下一个指定输入源、格式以及保存测试数据和生成的测试的位置。为指定文件格式,选择“MAT”指定保存测试数据的位置,使用默认位置名。

8.点击完成金宝app仿真软件测试创建测试用例并关闭向导。

第3节:运行背靠背测试

单击,执行背靠背测试运行在Si金宝appmulink测试管理器中。

清理

要完成示例,请关闭模型。

bdclose(模型);

相关的话题