主要内容

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

覆盖率窗格

覆盖率窗格包括用于配置模型覆盖率分析的参数。有关覆盖率的更多信息,请参阅使用 Simulink Coverage 分析模型

参数描述

启用覆盖率分析

对模型启用覆盖率分析。

覆盖率分析范围

指定是否收集整个系统的覆盖率还是特定引用模型、Observer 模型或子系统的覆盖率。

选择模型

指定要分析覆盖率的引用模型。

选择子系统

指定要分析覆盖率的子系统的路径。

包含在分析中:MATLAB 文件

启用外部 MATLAB® 文件中 MATLAB 函数的覆盖率分析。

包含在分析中:C/C++ S-Function

启用模型中 S-Function 模块中 C/C++代码的覆盖率分析。

结构覆盖率等级

指定要分析的覆盖率数据类型。有关详细信息,请参阅结构覆盖率度量

查找表

指定是否收集查找表模块的覆盖率。

信号范围

指定是否采集信号范围覆盖率。

信号大小

指定是否收集信号大小覆盖率。

目标和约束

指定是否收集 Simulink® Design Verifier™ 模块指定的对象和约束的覆盖率。

对整数溢出进行饱和处理

指定是否收集整数溢出覆盖率的饱和度。

关系边界

指定是否收集关系边界覆盖率。

关系边界覆盖率绝对容差

指定关系边界覆盖率的绝对容差差值。适用于具有浮点数据类型的信号。

关系边界覆盖率相对容差

指定关系边界覆盖率的相对容差差值。适用于具有浮点数据类型的信号。

将上次运行保存在工作区变量中

指定是否将仿真的覆盖率分析数据保存到基础 MATLAB 工作区中的变量中。

cvdata 对象名称

指定 MATLAB 工作区中包含仿真模型的覆盖率结果的 cvdata 对象的名称。

随每次仿真递增变量名称

指定是否创建一个新变量来存储每次连续仿真的覆盖率结果。

自动保存数据文件名

指定用于保存覆盖率数据的 CVT 文件的名称。

输出目录

指定 Simulink Coverage™ 保存覆盖率数据文件的文件夹。

这些参数位于高级参数部分。

参数描述

限制覆盖率记录区间

指定是否仅记录指定时间区间的覆盖率。

覆盖率区间开始时间

指定开始覆盖率分析的仿真时间。

覆盖率区间停止时间

指定停止覆盖率分析的仿真时间。

强制关闭模块简化

指定是否分析模型中每个受支持模块的覆盖率。

将 Simulink 逻辑模块视为短路

指定覆盖率是否考虑执行逻辑运算的模块中操作数的顺序。

MCDC 模式

指定覆盖率分析期间使用的修正条件决策覆盖率 (MCDC) 的定义。

当模型中存在不受支持的模块时发出警告

指定当 Simulink Coverage 检测到模型包含不支持模型覆盖率分析的模块时是否显示警告。

覆盖率过滤器文件名

指定要附加到覆盖率数据的过滤文件。

覆盖率度量设置

指定要分析的覆盖率度量。

记录此模型的覆盖率

指定在仿真期间是否进行模型覆盖率分析。

记录引用模型的覆盖率

指定在仿真中是否对引用模型进行覆盖率分析。

包括顶层模型

指定是否除了分析引用模型之外还要分析顶层模型的覆盖率。

覆盖率报告选项

指定 HTML 覆盖率报告的格式。

要包含在覆盖率报告中的附加数据

指定要包含在覆盖率报告中的其他 cvdata 对象。

排除变体的非活动选择项

指定是否从覆盖率数据结果中排除具有启动激活时间的 Simulink 变体的非活动选择以及 Stateflow® 图中的非活动变体配置。

暂停时更新覆盖率结果

指定暂停仿真时是否更新覆盖率报告。

保存输出数据

指定是否将覆盖率数据结果保存到文件。

启用累积数据采集

指定是否收集连续仿真的模型覆盖率结果。

在覆盖率报告中包括累积数据

指定是否在单个 HTML 覆盖率报告中包含连续仿真的模型覆盖率结果。

将累积覆盖率结果保存在工作区变量中

指定是否在 MATLAB 工作区中的单个 cvdata 对象中保存连续仿真的覆盖率数据。

累积覆盖率变量名称

指定包含连续仿真的覆盖率数据的 cvdata 对象的名称。