8. 模型测试 - Coverage Analyzer 测试覆盖度检查

本文详细介绍了Simulink的模型测试工具Coverage Analyzer,包括其在测试覆盖率检查中的作用,执行覆盖、决策覆盖、条件覆盖和MCDC等覆盖度概念的解释,以及如何使用Analyzer进行覆盖率分析。通过具体示例,展示了如何通过增加测试用例以达到100%覆盖度的目标。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >


专题目录

8. 模型测试 - Coverage Analyzer 测试覆盖度检查

8.1 Coverage Analyzer作用

  • Coverage Analyzer :模型覆盖度分析,用于分析模型测试用例的有效程度,检查结果是一个百分比数值,它表示以一个测试用例作为模型的输入,仿真后,有效的仿真通路占所有通路的比例
  • 模型覆盖度分析记录模型中每一个能直接或间接决定仿真通路的模块的执行情况,同时也记录模型中Stateflow图表的状态及状态转移情况
  • 仿真完成后给出一份报告,它包含所有可能的仿真通路以及通路所覆盖的所有模块,因此可以了解模型中是否存在从未执行的模块,进而判断是模块冗余还是设计错误

8.2 覆盖度概念介绍

8.2.1 Execution Coverage 执行覆盖

  • Execution
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

园长QwQ

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值