收集模型的覆盖率
测量模型的覆盖率,识别设计中未经测试的元素
在仿真过程中收集覆盖率,以测量模型或 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 真值表时的覆盖行为。