收集模型的覆盖率
测量模型的覆盖率，识别设计中未经测试的元素
在仿真过程中收集覆盖率，以测量模型或 Stateflow® 图中的哪些元素经过了测试。Simulink® Coverage™ 可测量多种类型的覆盖率，例如执行、决策、条件和修正条件/决策覆盖率。最基本的覆盖率等级决定了是否在仿真过程中执行某个项目，而更广泛的覆盖率等级则决定了单个逻辑条件是否得到充分执行，以及它是否会独立影响逻辑表达式的输出。
函数
模型设置
主题
模型覆盖率定义
- 模型覆盖率
通过测量模型对象被测试的彻底程度来验证模型测试。 - 模型覆盖率类型
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 模块的关系边界覆盖率结果。有关关系边界覆盖率的更多信息，请参阅模型覆盖率类型。覆盖率报告中关系边界覆盖率的更多信息，请参阅关系边界。
Stateflow 图的模型覆盖率
- Stateflow 图的模型覆盖率
描述 Stateflow 图中元素覆盖率的定义。 - Stateflow 图的覆盖率类型
描述您可以为 Stateflow 图收集的覆盖率度量。 - Stateflow 原子子图的模型覆盖率
当您的模型包含 Stateflow 原子子图时的覆盖率行为。 - Stateflow 图的模型覆盖率显示
解释 Stateflow 图的彩色模型突出显示。 - Stateflow 真值表的模型覆盖率
当您的模型包含 Stateflow 真值表时的覆盖行为。
精选示例
累计覆盖率分析
此示例说明了如何使用覆盖率结果浏览器简化跨越一组多次覆盖率运行的累计覆盖率数据和报告的生成。
使用 Parsim 实现并行仿真中的记录覆盖率
此示例展示如何使用 SimulationInput 对象和 parsim 命令记录对应于不同测试用例的多个并行 Simulink® 仿真中的覆盖率。如果您的系统上安装了 Parallel Computing Toolbox，则 parsim 命令将并行运行仿真。否则，仿真将串行运行。
分析级联逻辑模块的 MCDC
此示例说明了 Simulink® Coverage™ 如何记录 Logical Operator 模块级联的 MCDC 度量。
逻辑运算符级联模式
此示例显示了当逻辑运算符模块位于其他逻辑运算符模块的下游时，Simulink® Coverage™ 如何分析逻辑运算符模块。
收集整数溢出饱和覆盖率
此示例显示如何配置模型来收集整数溢出饱和覆盖率。
使用设计研究收集多个仿真的覆盖率
此示例展示了如何在运行多个仿真时收集覆盖率。要了解有关运行多个仿真的更多信息，请参阅运行多个仿真。
