首页 > 其他分享 >Coverage报告生成

Coverage报告生成

时间:2023-07-31 21:35:04浏览次数:30  
标签:simv 报告 DVE 生成 覆盖率 Coverage

转载:Coverage报告生成 - 乔_木 - 博客园 (cnblogs.com)

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

形而上者谓之道 形而下者谓之器。

标签:simv,报告,DVE,生成,覆盖率,Coverage
From: https://www.cnblogs.com/zhiminyu/p/17594531.html

相关文章

  • 【我和openGauss的故事】openGauss的WDR报告解读
    【我和openGauss的故事】openGauss的WDR报告解读在Oralce数据库中,遇到性能问题,我们通常会查看有无对应时间段的快照,生成awr报告并进一步分析(AWR是AutomaticWorkloadRepository的简称,中文叫着自动工作量资料档案库,是Oracle数据库用于收集、管理和维护数据库整个运行期间和性能相关......
  • vue循环生成echarts图表
    1.效果图2.引入echartsnpminstallecharts--save3.main.js全局引入4.页面data数据是从后台接口中返回的,需要通过watch监听来获取created方法中获取到的数据。用mounted由于是异步调用,是获取不到created中的数据的。4.后台数据我这里是根据实际业务场景返回的map......
  • Mybatis中的Mapper.xml映射文件sql查询接收多个参数 分页查询 sql语句动态生成的时候,
    Mybatis中的Mapper.xml映射文件sql查询接收多个参数分页查询sql语句动态生成的时候,使用${},sql语句中某个参数进行占位的时候用#{}原文链接:https://blog.csdn.net/Ep_Little_prince/article/details/100687848​我们都知道,在Mybatis中的Mapper.xml映射文件可以定制动态SQ......
  • 零零信安:暗网分析报告——Part 3 BreachForums百足之虫死而不僵
    由pompompurin创建的“经典”BreachForums(以下简称BF),这个曾经在暗网中统治的恶梦,在短暂的生涯中——2022年即达到了巅峰,甚至超越了前任霸主RaidForums。在暗网世界的活跃度和访问量上,BF稳坐榜首,其影响力深远而广泛,贯穿所有层级:普通网民、企业、政府,甚至军事。然而,2023年3月15日,这个......
  • SHFB:为 .NET 类库快速生成说明文档
    SHFB全称SandcastleHelpFileBuilder,项目地址:https://github.com/EWSoftware/SHFB。它使用代码中的xml注释生成说明文档。因此,使用SHFB之前要给代码编写好xml注释。安装进入项目的GithubRelease页面:https://github.com/EWSoftware/SHFB/releases下载最新发行版本,SHFB......
  • Spring IOC实现原理详解之IOC体系结构设计 : 关于bean的生成我自己的理解;
    1、系统根据bean的配置信息(xml文件,groovy等),经过资源加载、解析配置后生成了一个关于bean的容器。2、bean容器会根据配置信息生成一个bean实例;3、将bean实例 和 一些其他配置信息生成的一些特殊的bean实例 都放入到bean的容器中;4、其他的类需要调用这些bean的时候,根据申......
  • sam之自动生成mask代码流程
    本文不涉及sam的训练流程,只设计推理过程最近接触这个sam,由于网络中关于sam的自动mask功能的介绍较少,所以本周对源码进行了解读说到sam自动提取mask,包含三个部分,第一个部分是如何对原始图像进行分割成一个个小块,第二部分是送到sam中进行处理得出结果,第三个是如何对一个个小块的结......
  • java生成时间戳
    如何用Java生成时间戳概述在Java开发中,时间戳(Timestamp)是一个用于表示某个特定时间的数值,通常是自1970年1月1日午夜(UTC/GMT的午夜)以来的毫秒数。时间戳在很多场景下非常有用,例如记录日志、生成唯一的标识符等。本文将引导刚入行的开发者学习如何使用Java生成时间戳。步骤下面是......
  • java生成订单序号
    Java生成订单序号在电子商务、餐饮、物流等行业中,生成订单序号是一个常见的需求。订单序号通常用于唯一标识每个订单,方便系统进行订单管理和跟踪。在Java中,我们可以使用不同的方法来生成订单序号。本文将介绍几种常见的生成订单序号的方法,并提供相应的代码示例。1.基于时间戳的......
  • java生成16位数字
    如何使用Java生成16位数字作为一名经验丰富的开发者,我将教会你如何使用Java生成16位数字。下面是整个过程的步骤:步骤描述1导入相关的包2创建一个Random对象3生成一个16位的随机数4将随机数转换为字符串现在,让我们一步步来实现这些步骤。步骤1:导入相......