增强型 MCDC 分析的基本工作流程

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

增强型 MCDC 分析的基本工作流程

为增强修正条件/决策覆盖率(MCDC)覆盖率目标生成测试用例：

在 Design Verifier 选项卡的模式部分中，选择测试生成。
点击测试生成设置。
在“配置参数”对话框的 Design Verifier > 测试生成窗格中，将模型覆盖率目标设置为增强的 MCDC。点击确定。
点击生成测试。

注意

当您为 Embedded Coder 生成的代码生成测试用例时，不支持增强型 MCDC 分析。该软件考虑了 MCDC 覆盖率目标以进行测试生成分析。

Simulink^® Design Verifier™ 分析了增强 MCDC 覆盖率目标的模型。

分析完成后：

软件会根据分析结果突出显示模型。

结果检查器窗口显示模型覆盖率目标的摘要，包括可检测性状态。

结果检查器窗口显示模型覆盖率目标的以下可检测性状态：

可检测的
无法检测到
未定

该表列出了目标状态和可检测性状态的可能组合。

目标状态	可检测性状态	测试用例描述
满足	可检测的	测试用例满足模型覆盖率目标，并且可以在检测站点检测到。
满足 - 需要仿真	可检测的	测试用例满足模型覆盖率目标，并且可以在检测站点检测到。为了确认满足条件的状态，您必须运行额外的测试用例仿真。有关详细信息，请参阅目标满足 - 需求仿真。
满足	无法检测到	该测试用例满足模型覆盖率目标。然而，测试目标在任何检测地点都无法被检测到。
满足	未定	该测试用例满足模型覆盖率目标。该软件无法显示模型覆盖率目标对下游模块的影响。
无法满足	无法检测到	测试目标无法满足且在任何检测地点都无法检测到。
未定	未定	测试目标尚未确定，软件无法显示其对下游模块的影响。

Simulink Design Verifier 数据文件存储模型覆盖率目标的可检测性状态和检测位置。有关详细信息，请参阅管理 Simulink Design Verifier 数据文件。

使用测试点记录信号配置检测站点

如果您将任何信号标记为测试点记录信号，增强型 MCDC 分析将尽可能优先将此类信号作为测试模块的检测点。例如，考虑下面显示的模型：

Model showing test-pointed logged signal.

如果将 Min 模块的输出作为测试点记录信号，则 switch 模块的检测站点是 min 模块的输出端口。否则，它将是饱和模块的输出端口。

portHandle_MinBlk = get_param('model/Min', 'PortHandles’);
set_param(portHandle_MinBlk.Outport, 'TestPoint', 'on’);
set_param(portHandle_MinBlk.Outport, 'DataLogging', 'on’);

有关测试点的更多信息，请参阅将信号配置为测试点。有关信号记录，请参阅Configure Signals for Logging。

配置高级选项以增强 MCDC 分析

要分析具有更严格的非掩蔽条件的模型，请启用使用严格传播条件选项。该选项在高级参数的 Design Verifier > 测试生成窗格中的“配置参数”对话框中可用。

该软件评估更严格的非掩蔽条件，以分析下游模块对测试模块的影响。例如：

如果您的模型由 Atomic Subsystem 组成，且 Function packaging 选项设置为自动或内联。
考虑一个由 Switch 和 Atomic Subsystem 模块组成的模型。Function packaging 选项设置为自动，并且您启用使用严格传播条件选项。在检测点 Out1 处可以检测到 Switch 测试模块的效果。
当您将使用严格传播条件选项设置为关闭来分析模型时，软件会一直分析模型，直到 Switch 测试模块的效果达到 Atomic Subsystem。Atomic Subsystem 是检测点。

如果您的模型由 Gain 或 Product 等模块组成，并且对整数溢出进行饱和处理选项设置为打开。

使用模型切片器检查增强型 MCDC 目标

模型切片器支持以下测试用例生成的目标状态：

满足
满足 - 需要仿真
满足现有测试用例
测试用例尚未确定
由于运行时错误而未定

您可以使用模型切片器分析增强的 MCDC 目标及其对模型的影响。在结果窗口中，使用满足和可检测目标右侧的检查链接。

或者，您可以点击 Design Verifier 选项卡中的使用切片器进行检查按钮。

启动模型切片器后，该工具会根据 Simulink Design Verifier 生成的与目标相关的测试用例值设置输入，并步进到 sldvData 中记录的观察时间。然后，模型切片器添加正在观察的模型对象作为起点，并通过突出显示切片来显示其对检测点的影响。

当您在配置参数窗口中将模型覆盖率目标设置为增强型 MCDC 时，您可以检查目标的同时分析其可检测性。在这种情况下，切片器配置窗口允许您使用切片器配置列表切换到不同的模式。