收集模型的覆盖率

测量模型的覆盖率，识别设计中未经测试的元素

在仿真过程中收集覆盖率，以测量模型或 Stateflow^® 图中的哪些元素经过了测试。Simulink^® Coverage™ 可测量多种类型的覆盖率，例如执行、决策、条件和修正条件/决策覆盖率。最基本的覆盖率等级决定了是否在仿真过程中执行某个项目，而更广泛的覆盖率等级则决定了单个逻辑条件是否得到充分执行，以及它是否会独立影响逻辑表达式的输出。

函数

全部展开

收集模型覆盖率

`sim`	Simulink 模型的运行和脚本化编程仿真
`cvtest`	创建模型覆盖率测试规范对象
`cvsim`	仿真并返回测试对象的模型覆盖率结果
`cvdata`	访问 MATLAB 工作区中的 Simulink Coverage 数据
`cvexit`	退出覆盖率环境
`parsim`	以并行或串行方式进行多次动态系统仿真

验证单个组件

`slvnvlogsignals`	在仿真期间记录组件或模型的测试数据
`slvnvmergedata`	合并来自数据文件的测试数据
`slvnvmakeharness`	生成 Simulink Coverage 框架模型
`slvnvharnessopts`	为 `slvnvmakeharness` 生成默认选项
`slvnvmergeharness`	结合框架模型的测试数据
`slvnvruntest`	使用输入数据仿真模型
`slvnvruncgvtest`	使用代码生成验证 (CGV) API 执行模型
`slvnvruntestopts`	为 `slvnvruntest` 或 `slvnvruncgvtest` 生成仿真或执行选项
`slvnvextract`	将原子子系统或子图内容提取到新模型中

模型设置

全部展开

模型度量

启用覆盖率分析	分析覆盖率
覆盖率分析范围	设置覆盖率分析范围
选择模型	选择要包含在覆盖率分析中的模型
选择子系统	选择要包含在覆盖率分析中的子系统
包括在分析中：MATLAB 文件	启用外部 MATLAB 文件的覆盖率
包括在分析中：C/C++ S-Function	分析 C/C++ S-Function 模块的覆盖率
结构覆盖等级	要分析的覆盖率类型
查找表	启用查找表覆盖率
信号范围	启用信号范围覆盖率
信号大小	启用信号大小覆盖率
目标和约束	实现目标和约束覆盖率
对整数溢出进行饱和处理	启用整数溢出覆盖率饱和
关系边界	启用关系边界覆盖率
关系边界覆盖率绝对容差	关系边界覆盖率绝对容差
关系边界覆盖率相对容差	关系边界覆盖率相对容差

覆盖率选项

限制覆盖率记录区间	分析特定时间区间内的覆盖率
覆盖率区间开始时间	开始覆盖率分析的仿真时间
覆盖率区间停止时间	仿真停止覆盖率分析的时间
强制关闭模块简化	分析模型中每个受支持模块的覆盖率
将 Simulink 逻辑模块视为短路	在覆盖率分析期间使用逻辑短路
MCDC 模式	改进的条件决策覆盖率分析模式
当模型中存在不受支持的模块时发出警告	如果 Simulink Coverage 检测到不受支持的模块，则显示警告
覆盖率指标设置	要分析的覆盖率度量
记录此模型的覆盖率	仿真期间记录覆盖率
记录引用模型的覆盖率	分析引用模型的覆盖率
包括顶层模型	在覆盖率分析中包含顶层模型
排除变体的非活动选择项	排除变体的非活动选择项 (自 R2022a 起)
暂停时更新覆盖率结果	暂停时更新覆盖率结果
保存输出数据	将覆盖率数据结果保存到文件

主题

模型覆盖率定义

模型覆盖率
通过测量模型对象的测试程度来验证模型测试。
模型覆盖的类型
Simulink Coverage 提供的模型覆盖率度量。
Simulink Coverage 中的修改条件和决策覆盖 (MCDC) 定义
描述可在 Simulink Coverage 中使用的 MCDC 覆盖率的定义。
Simulink Design Verifier 中的修改条件和决策覆盖率
描述 Simulink Design Verifier™ 和 Simulink Coverage 中 MCDC 覆盖率之间的差异。

使用模型覆盖率

使用 Simulink Coverage 分析模型
了解基本 Simulink Coverage 工作流。
生成模型的覆盖率结果
选择几种方法之一来分析模型并生成覆盖率结果。
指定覆盖率选项
在模型设置中，指定几个覆盖率分析选项。
接受覆盖的模型对象
在仿真期间接收模型覆盖率的模型对象。
未获得覆盖的模型对象
Simulink 未受到覆盖率的对象。
自动化模型覆盖任务
使用 MATLAB^® 命令自动进行模型覆盖率分析。
引用模型的多个实例的模型覆盖率
当模型具有多个引用同一模型的 Model 模块时收集模型覆盖率。
获取可重用子系统的累积覆盖率
创建并查看具有可重用子系统的模型的累计覆盖率结果。
变体模块的模型覆盖率
了解 Simulink Coverage 如何显示 Simulink 变体的覆盖率结果。
Simulink 优化和模型覆盖
了解内联参数、模块简化和条件输入分支执行如何影响模型覆盖率数据。
收集 MinMax 模块的关系边界覆盖
此示例显示如何查看和解释三种信号尺寸配置中的 MinMax 模块的关系边界覆盖率结果。有关关系边界覆盖率的更多信息，请参阅模型覆盖的类型。覆盖率报告中关系边界覆盖率的更多信息，请参阅关系边界。