Main Content

本页采用了机器翻译。点击此处可查看英文原文。

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

此示例向您展示如何使用增强型 MCDC 创建和运行背靠背测试。增强型MCDC分析模型中每个目标的可检测性,并为每个目标生成非掩蔽测试用例。有关更多信息,请参阅 Simulink Design Verifier 中的增强 MCDC 覆盖范围

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

第 1 部分:准备模型

1.打开模型:

model = ('sldvSliceCruiseControl');
open_system(model);

2.准备用于代码生成和记录的模型。

set_param(model, 'ProdHWDeviceType', 'Intel->x86-64 (Linux 64)');
set_param(model, 'ProdLongLongMode', 'on');
set_param(model, 'SaveOutput', 'on');
set_param(model, 'SignalLogging', 'on');
set_param(model, 'SaveFormat', 'Dataset');

注意:您还可以选择将模型中的内部信号标记为测试点记录信号(例如,sldvSliceCruiseControl/CruiseControlMode/opMode/Switch,),以便在增强 MCDC 分析期间这些信号优先作为检测站点。有关更多信息,请参阅 使用测试点记录信号配置检测站点

3.生成代码。

App选项卡中,点击Embedded Coder,然后点击生成代码

Embedded coder® 为模型生成代码生成报告。关闭生成的报告窗口。Simulink Design Verifier 使用来自生成代码的记录信号信息来配置增强 MCDC 的检测站点。如果您不生成代码,Simulink Design Verifier 将使用来自模型的测试点记录信号的信息来配置增强型 MCDC 的检测站点。

第 2 部分:使用增强型 MCDC 创建背靠背测试

按照以下步骤在 Simulink Test测试管理器中创建背靠背测试:

1.要打开 Simulink Test 选项卡,请在 App 选项卡的 模型验证、确认和测试 部分中点击Simulink Test

2.要打开测试管理器,请在测试选项卡中点击Simulink Test 管理器

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

4.要指定要测试的顶级模型,请点击顶级模型字段旁边的使用当前选定的模型组件按钮来填写字段。

5.单击下一步指定如何使用Simulink Design Verifier生成测试输入。选择使用 Design Verifier 生成测试输入场景。此选项运行模型并使用 Simulink Design Verifier 创建输入。

6.点击下一步选择测试方法。选择执行背靠背测试。对于 Simulation1,选择 Normal 。对于Simulation2,选择Software-in-the-Loop (SIL)。选择将模型覆盖率目标设置为增强型 MCDC

7.单击下一步指定输入源、格式以及保存测试数据和生成的测试的位置。对于指定文件格式,选择 MAT。对于指定保存测试数据的位置,使用默认位置名称。

8.点击完成Simulink Test 创建测试用例并关闭向导。

第 3 部分:运行背靠背测试

要运行背靠背测试,点击Simulink Test Manager 中的运行

清理

为了完成示例,请关闭模型。

bdclose(model);

相关话题