可编程逻辑仿真测试功能覆盖率的统计方法和装置制造方法及图纸

本发明专利技术属于安全级仪控系统仿真测试的技术领域，为了解决现有技术中仿真测试功能覆盖率不能准确得到的技术问题，本发明专利技术提供一种可有效提高可编程逻辑仿真测试功能覆盖率的统计方法和装置，所述统计方法包括：S1、对HPD需求规格书中的需求项进行形式化描述，并按照预定的编码规则对各需求项建立唯一的编号；S2、建立待测试系统的追踪矩阵；S3、编写测试规程中的每条测试通过准则相应的SVA断言代码；S4、按照所述测试用例对应的测试激励，执行完成后通过SVA断言自动生成测试结果。能够通过在仿真测试过程中增加对编码环节进行有效的追踪和监控，从而直观的体现功能覆盖率，使可编程逻辑的仿真测试过程更严谨、更符合高可靠性的要求。

A statistical method and device for the coverage rate of the programmable logic simulation test

The invention belongs to the technical field of safety instrument control system simulation test, in order to solve technical problems in the prior art simulation test function coverage cannot be accurately obtained, the invention provides a method which can effectively improve the statistical methods of programming logic simulation and testing the functional coverage and device, including the statistical methods: S1, on demand HPD in the requirement specification of the formal description, and establish a unique number for each requirement according to a predetermined encoding rules; tracking matrix S2, establish the system under test; S3, each written test procedures in the standards through the corresponding SVA code S4, in accordance with the assertion; the corresponding test case test stimulus the execution is completed by SVA asserts that the automatic generation of test results. It can effectively track and monitor the coding links in the simulation test process, so as to intuitively reflect the function coverage, and make the simulation and testing process of the programmable logic more rigorous and more consistent with the high reliability requirements.

【技术实现步骤摘要】
可编程逻辑仿真测试功能覆盖率的统计方法和装置
本专利技术涉及安全级仪控系统仿真测试的
，尤其涉及一种可编程逻辑仿真测试功能覆盖率的统计方法和装置。
技术介绍
在一些对可靠性和安全性要求较高的行业，如核、军工、航空航天等领域，非常重视测试的完整性和可靠性。现有技术中，通常的统计方法是将需求、设计、测试等环节条目化，建立自上而下的追踪关系，以保证从需求到最终交付成果之间的一致性。例如，HPD(HDL-programmeddevice的简称，即HDL可编程器件；而HDL是hardwaredescriptionlanguage的简称，中文翻译为硬件描述语言)白盒验证方法除代码审查外主要有仿真测试和形式化验证两种：仿真统计方法根据设计说明书编写测试激励，将仿真波形与设计进行比较后，记录测试结果；形式化验证方法根据设计编写约束，将输入信号限制在一个可控的范围内，再通过断言判断被测对象的响应是否正确。但是但前者的缺点是功能覆盖率无法统计；后者缺点是机器自动执行运行效率低下，无法根据实际功能调整和优化测试用例。为了解决上述两种方法存在的不足，申请号为CN201410178300.9的中国专利公本文档来自技高网...

【技术保护点】
一种可编程逻辑仿真测试功能覆盖率的统计方法，其特征在于，包括：S1、对研发生命周期中的需求规格书、设计说明书、测试设计、测试用例、测试规程、SVA断言和测试记录进行形式化描述，并按照预定的编码规则对各个需求项、设计项、测试项、测试用例、测试规程、SVA断言和测试记录建立唯一的编号；S2、通过形式化描述，并按照预定的编码规则，建立对各个需求项、设计项、测试项、测试用例、测试规程、SVA断言和测试记录之间的追踪矩阵；S3、在构建仿真测试环境中，编写测试规程中的每条测试通过准则相应的SVA断言代码；S4、按照所述测试用例对应的测试激励，自动执行测试；测试执行过程中，若某条断言没有通过，自动提示设计人...

【技术特征摘要】
1.一种可编程逻辑仿真测试功能覆盖率的统计方法，其特征在于，包括：S1、对研发生命周期中的需求规格书、设计说明书、测试设计、测试用例、测试规程、SVA断言和测试记录进行形式化描述，并按照预定的编码规则对各个需求项、设计项、测试项、测试用例、测试规程、SVA断言和测试记录建立唯一的编号；S2、通过形式化描述，并按照预定的编码规则，建立对各个需求项、设计项、测试项、测试用例、测试规程、SVA断言和测试记录之间的追踪矩阵；S3、在构建仿真测试环境中，编写测试规程中的每条测试通过准则相应的SVA断言代码；S4、按照所述测试用例对应的测试激励，自动执行测试；测试执行过程中，若某条断言没有通过，自动提示设计人员修改设计；若某条断言没有被遍历到，自动提示设计人员对应测试项功能覆盖率不足，需要补充测试激励；并且所有测试用例执行完成后通过SVA断言自动生成测试结果。2.根据权利要求1所述的统计方法，其特征在于，所述方法还包括：S5、步骤S4测试执行完成后，通过所述SVA断言内嵌的统计功能得到各测试项的测试覆盖情况，以及是否测试通过；并且形成测试记录和功能覆盖率的统计报告。3.根据权利要求2所述的统计方法，其特征在于，所述方法还包括：S6、当某个所述测试项中的测试结论为不通过的，需判断所述测试项目不通过是测试激励的问题还是被测设计的问题，修订所述测试激励或所述被测设计后重新执行测试用例，直至得到测试结论为通过。4.根据权利要求1所述的统计方法，其特征在于，所述步骤S3中的测试通过准则包括：如果一个在测试中被检查的属性与测试通过准则不一致，则断言为失败；或者果一个被禁止在设计中出现的属性在测试过程中发生，则断言为失败。5.根据权利要求1-4中任意一种所述的统计方法，其特征在于，所述SVA断言用于描述和控制时序相关的内容，并且还提供多个内嵌的函数，所述内嵌的函数用于测试时序关系和自动收集功能覆盖率数据。6.一种可编程逻辑仿真测试功能覆盖率的统计装置...

【专利技术属性】
技术研发人员：吴飞，江国进，孙永滨，白涛，黄君龙，曹宗生，冀建伟，齐敏，吕秀红，郄永学，董玲玲，
申请(专利权)人：北京广利核系统工程有限公司，中国广核集团有限公司，
类型：发明
国别省市：北京,11