Coverage报告生成
Coverage报告生成
覆盖率
覆盖率驱动的验证方法中覆盖率报告的生成至关重要,现在介绍一下使用DVE和URG生成覆盖率报告的步骤。
使用VCS生成数据
在VCS的运行脚本中添加
-cm cond+fsm+line -cm_noconst
,这里生成条件/状态机/行覆盖率,更多细节请参考VCS帮助手册目录下的cov_ug.pdf
。
默认生成simv.vdb
的目录,接下来的DVE将从其中读取数据。
使用DVE加载数据
运行DVE加载数据
dve -full64 -dir ./simv.vdb -cov &
使用DVE分析数据
通过DVE可以移除不关心的逻辑。
生成Exclude操作文件,这里保存为elfile.el
。
使用URG生成HTML格式报告
使用urg加载之前dve生成的Exclude操作脚本,可以生成HDML报告文件,这样通过firefox就可以直观的浏览最终处理的报告文件。
urg -full64 -dir ./simv.vdb -elfile elfile.el -log urg.log -excl_strict
形而上者谓之道 形而下者谓之器。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列:如何用heaptrack跟踪.NET程序的非托管内存泄露
· 开发者必知的日志记录最佳实践
· winform 绘制太阳,地球,月球 运作规律
· 超详细:普通电脑也行Windows部署deepseek R1训练数据并当服务器共享给他人
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· AI 智能体引爆开源社区「GitHub 热点速览」
· 写一个简单的SQL生成工具