一种覆盖率存储系统技术方案

本发明专利技术涉及电子设计自动化技术领域，特别是涉及一种覆盖率存储系统，该系统在存储覆盖率数据时，将覆盖值存储于覆盖数据中，并且建立了覆盖项类型标识、覆盖项数量和覆盖值字段之间的映射关系，通过覆盖值和覆盖数量确定在覆盖值中有效数据的位数以及每位的覆盖状态，覆盖类型标识表示当前覆盖值所属的覆盖指标；并且在覆盖率数据块中还包括实例身份标识，通过实例身份标识能够唯一的确定其对应的设计模块标识，不仅能够通过建立覆盖指标文件和覆盖数据文件之间的关联关系，以便计算覆盖率，而且在此基础上解决了标准UCIS数据库整体读入内存的问题以及在执行测试用例时也不会篡改覆盖指标的结构化数据的问题。改覆盖指标的结构化数据的问题。改覆盖指标的结构化数据的问题。

【技术实现步骤摘要】
一种覆盖率存储系统


[0001]本专利技术涉及电子设计自动化
，特别是涉及一种覆盖率存储系统。

技术介绍

[0002]前端验证的目的是确保设计的逻辑功能的正确性和完备性。覆盖率驱动的验证技术是通过分析RTL代码的功能覆盖率和代码覆盖率来衡量设计完备性的一个指标。其中覆盖率包括多种类型的覆盖指标，如状态机覆盖率、行覆盖率、条件覆盖率和断言覆盖率等。无论是软件还是硬件仿真，包括形式化验证，都可以输出对应测试模块覆盖率的数据，这些交叉数据必须统一到一个最终的覆盖率数据库和访问接口中，在各工具间共享，才能制定高效的测试计划，避免重复测试。目前的覆盖率数据交换标准UCIS(Unified Coverage Interoperability Standard)提供了标准的节点名称命名格式、不同类型覆盖指标中每种节点的类型标识以及标准化接口等。在UCIS标准中，数据库中的所有数据存储为一个xml格式的数据库文件。当用户查看其中某一类覆盖指标时，系统将xml格式的整个数据库文件读入内存，然后解析并建立层级关系，获取相应的覆盖指标。由于将覆盖率数据和覆盖指标的结构化数据同时存储在同一个数据库文件中，用户每次都访问整个数据库文件也可能会导致覆盖指标的结构化数据被篡改的数据安全风险。

技术实现思路

[0003]为了解决每次更新都需要访问整个数据库文件导致覆盖指标的结构化数据存在被篡改的数据安全风险的技术问题，本专利技术采用的技术方案为：一种覆盖率存储系统，所述系统包括数据库、处理器和存储有计算机程序的存储器，所述数据库包括N类覆盖指标分别对应的N个覆盖数据文件fdat，fdat中第h个覆盖率数据文件fdat
h
包括：T个实例的覆盖率数据块inst
h
＝{inst
h,1
,inst
h,2
,
…
,inst
h,t
,
…
,inst
h,T
}，其中inst
h,t
为第t个实例的覆盖率数据块，t的取值范围为1到T；其中，inst
h,t
包括实例身份标识instid
h,t
、实例的全路径名instNa
h,t
和覆盖数据data
h,t
，data
h,t
中包括覆盖项类型标识itype
h,t
、所有覆盖项数量的字段Sum
h,t
和覆盖值字段Val
h,t
，Val
h,t
的二进制位数等于Sum
h,t
，且每一个二进制位对应一个覆盖项的覆盖状态标识。
[0004]本专利技术至少具有以下有益效果：本专利技术提供了一种覆盖率存储系统，该系统在存储覆盖率数据时，将覆盖值存储于覆盖数据中，并且建立了覆盖项类型标识、覆盖项数量和覆盖值字段之间的映射关系，通过覆盖值和覆盖数量能够明确知晓在覆盖值中有效数据是哪几位以及每位的覆盖状态是什么，覆盖类型标识明确的指明当前覆盖值所属的覆盖指标；并且在覆盖率数据块中还包括实例身份标识，通过实例身份标识能够唯一的确定其对应的设计模块标识，不仅能够通过建立覆盖指标文件和覆盖数据文件之间的关联关系，以便计算覆盖率，而且在此基础上解决了标准UCIS数据库整体读入内存的问题以及在执行测试用例时也不会篡改覆盖指标的结构化数据的问题。
附图说明
[0005]为了更清楚地说明本专利技术实施例中的技术方案，下面将对实施例描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本专利技术的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。
[0006]图1为实施例一提供的覆盖指标的结构化数据离散存储系统示意图；
[0007]图2为本专利技术实施例二提供的数据定位方法流程图；
[0008]图3为本专利技术实施例三提供的数据可视化定位方法流程图；
[0009]图4为本专利技术实施例四提供的数据库部分加载方法流程图；
[0010]图5为本专利技术实施例五提供的目标文件部分加载方法流程图；
[0011]图6为本专利技术实施例六提供的部分加载目标文件的方法流程图；
[0012]图7为本专利技术实施例七提供的覆盖率存储方法流程图；
[0013]图8为本专利技术实施例八提供的覆盖率获取方法流程图。
具体实施方式
[0014]下面将结合本专利技术实施例中的附图，对本专利技术实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本专利技术一部分实施例，而不是全部的实施例。基于本专利技术中的实施例，本领域技术人员在没有作出创造性劳动前提下所获得的所有其他实施例，都属于本专利技术保护的范围。
[0015]由于UCIS提供的数据库包括源文件的基本信息、设计模块的基本信息、实例的基本信息、覆盖指标的结构化数据和不同测试用例得到的覆盖率数据等，其中结构化数据包括不同类型覆盖指标的层级结构关系。在UCIS标准中，数据库中的所有数据存储为一个xml格式的数据库文件。当用户查看其中某一类覆盖指标时，系统将xml格式的整个数据库文件读入内存，然后解析并建立层级关系，获取相应的覆盖指标。由于将覆盖率数据和覆盖指标的结构化数据同时存储在同一个数据库文件中，用户每次都访问整个数据库文件也可能会导致覆盖指标的结构化数据被篡改的数据安全风险。针对该技术问题，本专利技术提出了实施例一。
[0016]实施例一
[0017]请参阅图1，实施例一提供了一种覆盖指标的结构化数据离散存储系统，该系统包括数据库、处理器和存储有计算机程序的存储器，所述数据库包括N个覆盖指标文件item＝{item1,item2,
…
,item
i
,
…
item
N
}，其中item
i
为设计模块的第i类覆盖指标的结构化数据存储文件，i的取值范围为1到N。需要说明的是，由于不同的覆盖指标所需的数据不同，因此用不同的覆盖指标文件存储对应的结构化数据；在同一个覆盖指标文件item
i
中可以包括多个不同的设计模块的结构化数据。其中，覆盖指标(metric)的类型包括条件覆盖指标、行覆盖指标、断言覆盖指标、有限状态机覆盖指标、翻转覆盖指标或功能覆盖指标等。
[0018]可选的，item
i
为行覆盖指标文件、条件覆盖指标文件、有限状态机覆盖指标文件、断言覆盖指标文件、翻转覆盖指标文件或功能覆盖指标文件，现有技术中其他类型的覆盖指标也落入本专利技术的保护范围之内。其中，第j类覆盖指标文件item
j
的类型与item
i
不同，j的取值范围为1到N，且i≠j。
[0019]其中，设计模块的结构化数据为具有层次结构的树形结构，该树形结构符合UCIS标准，包括：设计模块覆盖域、指标覆盖域(scope)和覆盖项(coverit本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种覆盖率存储系统，其特征在于，所述系统包括数据库、处理器和存储有计算机程序的存储器，所述数据库包括N类覆盖指标分别对应的N个覆盖数据文件fdat，fdat中第h个覆盖率数据文件fdat
h
包括：T个实例的覆盖率数据块inst
h
＝{inst
h,1
,inst
h,2
,
…
,inst
h,t
,
…
,inst
h,T
}，其中inst
h,t
为第t个实例的覆盖率数据块，t的取值范围为1到T；其中，inst
h,t
包括实例身份标识instid
h,t
、实例的全路径名instNa
h,t
和覆盖数据data
h,t
，data
h,t
中包括覆盖项类型标识itype
h,t
、所有覆盖项数量的字段Sum
h,t
和覆盖值字段Val
h,t
，Val
h,t
的二进制位数等于Sum
h,t
，且每一个二进制位对应一个覆盖项的覆盖状态标识。2.根据权利要求1所述的系统，其特征在于，当Val
h,t
为二进制数据时，每一个二进制位对应一个覆盖项的覆盖状态标识。3.根据权利要求1所述的系统，其特征在于，当Val
h,t
为十六进制的数据时，将Val
h,t
转化为二进制数据，且每一个二进制位对应一个覆盖项的覆盖状态标识。4.根据权利要求1所述的系统，其特征在于，所述数据库中还包括映射文件sdb、索引文件和覆盖指标文件，计算机程序被处理器执行时，实现以下步骤：F100，加载映射文件sdb和索引文件，其中sdb包括设计模块、设计模块身份标识、实例、实例身份标识之间的映射关系；F200，加载覆盖数...

【专利技术属性】
技术研发人员：汤杰，高波，金俏慧，
申请(专利权)人：上海合见工业软件集团有限公司，
类型：发明
国别省市：