代码覆盖率相关论文
针对基于智能算法的测试用例集约简技术存在的容易陷入局部收敛、过早熟等问题,提出一种基于逐幸存路径处理的测试用例集约简算法,该......
覆盖导向型模糊测试技术是当今最为流行、最为有效的自动化漏洞挖掘方法。它根据测试用例的代码覆盖率选择出触发更多执行状态的种......
精准测试是软件测试领域近年内提出的一个概念,其核心是代码覆盖测试技术的延展,它通过功能测试用例和程序代码的关系映射,实现了......
本文首先简要介绍OVM(Open Verification Methodology)验证方法学的特点,并且结合Mentor Graphic公司的验证工具Questa,详细介绍了O......
功能仿真是验证硬件设计正确与否的基本手段,但是缺乏有效地量化验证程度的标尺.理想的量化标尺应该抽象到功能级,反映出一组仿真......
目前,设计验证的质量主要通过代码覆盖率、功能覆盖率等多种覆盖率手段进行评估.但是覆盖率评估存在着自身的问题,如:代码覆盖率并......
根据软件可靠性理论,本文论述了软件测试和软件可靠性之间的关系,即在对给定的测试方法M和测试时间T,如何计算软件的可靠性R.首先......
随着集成电路工艺的发展,以及设计方法学的不断演进,SoC系统已在信息产业的各领域得到广泛应用,其中基于ARM处理器的SoC系统占据着主......
Use-After-Free漏洞是一种内存数据破坏缺陷,是由程序试图访问或操作已经被释放的内存引起的。该类型漏洞通常会导致程序崩溃,任意......
随着SoC芯片越来越复杂,芯片的验证工作也越来越困难。传统的硬件验证方法在芯片设计完成后才开始软件验证,会降低验证效率,延缓芯片......
曙光6000高效能计算机系统是面向千万亿次计算的超级计算机系统,采用HPP体系结构,计算节点间采用Infiniband网络和专用集合通信网络......
随着社会信息化的发展,软件规模在不断的增长。软件工程的思想方法也在从无到有不断发展,从瀑布模型到螺旋模型,从螺旋模型到喷泉模型......
软件测试在软件开发和维护的各个阶段至关重要。它贯彻于软件定义和开发的整个阶段即整个软件开发的过程。而软件测试中的难点和重......
近几十年来,随着芯片尺寸和复杂度的增加,在IC设计中引入错误的可能性也大大增加,随之而来的是更加艰巨的验证工作。由于传统的验......
当今集成电路受到各种形式的恶意篡改,这种能够改变设计功能、导致核心信息泄露与拒绝服务的电路称之为硬件木马。硬件木马形式多......
随着集成电路行业的不断发展,IC(Integrated Circuit)设计数字部分的复杂度越来越大,芯片规模成比例增加,每个芯片上的IP(Intellec......
随着互联网蓬勃的发展,我们日常生活都已经离不开网络,各式各样的软件为我们的生活提供着便利。伴随着软件市场中同类型软件的增多......
作为一种动态的程序分析技术,动态符号执行凭借高代码覆盖率、自动化计算输入值、分析结果准确等优点,已被广泛应用于软件测试和验......
模糊测试作为一种自动化检测应用程序漏洞的方法,常常被用来检测各种软件以及计算机系统的漏洞挖掘中.而种子文件质量的高低对于模......
在SOC芯片的开发中,功能覆盖率与代码覆盖率是检查验证完备性的标准。在大规模的模拟验证之后剩余的未覆盖点,如果继续使用伪随......
本文从AFDX-ES SOC验证平台模型的构建出发,完成了对一款VIC IP核的功能验证。文中列举了部分验证实例,测试用例主要通过AHB接......
在软件漏洞挖掘领域,Fuzzing测试是使用最广泛、最有效的方法之一.传统Fuzzing测试方法存在工作效率低、盲目性强等不足.因此,提出......
对X-DSP乘法部件进行系统级的功能验证,采用基于模拟的自动验证方法。阐述了乘法部件的基本功能及结构特点,简述了自动验证平台......
模糊测试是一种用于查找软件漏洞的流行技术。然而,最先进的模糊测试工具还有很多不足之处。基于符号执行的模糊测试工具虽然能产生......
软件测试过程中,回归测试是一个非常重要的环节,将回归测试实现自动化很大程度上能够简化回归测试繁琐的过程。然而在大工程软件系......
随着微处理器设计规模和复杂度的不断增大,功能验证已经成为设计的瓶颈。本文围绕一种通用处理器核的功能验证工作,构建了一种多......
Google已经宣布ScriptCover将作为一个开源项目发布。ScriptCover是Google推出的一款JavaScript代码覆盖率分析工具,为Web页面提供......
Fuzzing测试和符号执行都是漏洞挖掘领域常用的技术,但各自都存在一定缺陷。为提高漏洞挖掘效率,将两者优点相结合,设计并实现了一......
在对现有动态污点分析平台研究和分析的基础上,提出一种路径自动生成技术。借助二进制静态分析技术获取目标程序的指令序列,以基本......
在互联网时代,随着业务增长,前端需求激增,软件产品功能迭代加快,前端代码质量越来越受到重视,如何在有限时间内保证前端代码质量......
为提高软件测试效率,分析了代码覆盖率种类,探讨了Java代码覆盖率工具ElcEmma的工作原理,并将其应用到Java游戏实例中。应用情况表......
基于网络信息安全漏洞问题越来越受重视,针对漏洞研究中测试代码覆盖率和漏洞挖掘效率问题,设计并实现了基于混合符号执行的Fuzzin......
针对弹上软件单元测试的现状,对逻辑覆盖分析方法进行研究,并将其应用于实际软件测试中,详细介绍了单元测试中逻辑覆盖分析的用例设计......
覆盖率驱动的验证是功能验证的重要方法,但功能覆盖定义的主观性和手工调整验证输入的冗长过程都极大地影响了覆盖率驱动验证的效......
代码覆盖率测试技术是一种常见的白盒测试技术,利用它可在代码层面定位测试过程中所发现的缺陷。本文在已有研究基础之上,介绍了代......
随着数字集成电路的飞速发展,设计的规模急剧增大,电路的结构也越来越复杂。使用传统的前端与后端分离的流程已经难以满足产品问市......
在过去一两年中,"便携式激励"已经成为验证领域的热门话题,但是像诸多"新"概念一样,它也是在一些既有工具和方法基础上演变而来的。例......
对SOC IP的测试方法进行了研究,提出了一种MSM(master slave monitor)测试框架.该框架结合场景式测试法和类汇编VERILOG语言,能对S......
针对模糊测试终止时机问题,提出了二进制代码测试覆盖率评估方法,通过二进制代码的静态与执行轨迹动态两种分析,可评估模糊测试对......
论文从验证工作的实际出发介绍了代码覆盖率和功能覆盖率的概念和差异性,探讨如何利用代码覆盖率和功能覆盖率的优点,融合分析代码......
针对传统串行外设接口(SPI)模块设计不灵活、不利于扩展、不支持乱序访问的缺陷,设计了一种面向系统级芯片(SoC)的SPI模块。首先,根据S......
<正> 半导体工艺的发展,使我们可以在一个芯片中集成更多的功能。它同时也使IC设计工程师面临新的挑战,他们必须在最短的时间内完......
代码安全在软件开发过程中日益受到重视,人们总是期望在软件正式发布前发现并解决所有潜在的缺陷,为此提出许多软件安全测试技术,......
针对当前统一可扩展固件接口(UEFI)固件漏洞大幅增多,且缺乏高效漏洞检测系统的问题,提出面向UEFI固件的模糊测试系统,采用模糊测试技术......
随着信息技术的不断发展,软件广泛应用于人们的生产与生活过程中,软件的安全性也越发受到重视。模糊测试是一种高效的自动化漏洞挖......
组织机构代码工作经过20年的发展,从开始的数十万条数据到现在千万级的国家基础性信息数据库;从创业初期积极赋码颁证,扩大代码覆盖率......