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