代码覆盖率相关论文
针对基于智能算法的测试用例集约简技术存在的容易陷入局部收敛、过早熟等问题,提出一种基于逐幸存路径处理的测试用例集约简算法,该......
覆盖导向型模糊测试技术是当今最为流行、最为有效的自动化漏洞挖掘方法。它根据测试用例的代码覆盖率选择出触发更多执行状态的种......
随着集成电路工艺的发展,以及设计方法学的不断演进,SoC系统已在信息产业的各领域得到广泛应用,其中基于ARM处理器的SoC系统占据着主......
Use-After-Free漏洞是一种内存数据破坏缺陷,是由程序试图访问或操作已经被释放的内存引起的。该类型漏洞通常会导致程序崩溃,任意......
随着社会信息化的发展,软件规模在不断的增长。软件工程的思想方法也在从无到有不断发展,从瀑布模型到螺旋模型,从螺旋模型到喷泉模型......
软件测试在软件开发和维护的各个阶段至关重要。它贯彻于软件定义和开发的整个阶段即整个软件开发的过程。而软件测试中的难点和重......
近几十年来,随着芯片尺寸和复杂度的增加,在IC设计中引入错误的可能性也大大增加,随之而来的是更加艰巨的验证工作。由于传统的验......
当今集成电路受到各种形式的恶意篡改,这种能够改变设计功能、导致核心信息泄露与拒绝服务的电路称之为硬件木马。硬件木马形式多......
随着集成电路行业的不断发展,IC(Integrated Circuit)设计数字部分的复杂度越来越大,芯片规模成比例增加,每个芯片上的IP(Intellec......
随着互联网蓬勃的发展,我们日常生活都已经离不开网络,各式各样的软件为我们的生活提供着便利。伴随着软件市场中同类型软件的增多......
作为一种动态的程序分析技术,动态符号执行凭借高代码覆盖率、自动化计算输入值、分析结果准确等优点,已被广泛应用于软件测试和验......
软件测试过程中,回归测试是一个非常重要的环节,将回归测试实现自动化很大程度上能够简化回归测试繁琐的过程。然而在大工程软件系......
Google已经宣布ScriptCover将作为一个开源项目发布。ScriptCover是Google推出的一款JavaScript代码覆盖率分析工具,为Web页面提供......
在对现有动态污点分析平台研究和分析的基础上,提出一种路径自动生成技术。借助二进制静态分析技术获取目标程序的指令序列,以基本......
在互联网时代,随着业务增长,前端需求激增,软件产品功能迭代加快,前端代码质量越来越受到重视,如何在有限时间内保证前端代码质量......
为提高软件测试效率,分析了代码覆盖率种类,探讨了Java代码覆盖率工具ElcEmma的工作原理,并将其应用到Java游戏实例中。应用情况表......
基于网络信息安全漏洞问题越来越受重视,针对漏洞研究中测试代码覆盖率和漏洞挖掘效率问题,设计并实现了基于混合符号执行的Fuzzin......
覆盖率驱动的验证是功能验证的重要方法,但功能覆盖定义的主观性和手工调整验证输入的冗长过程都极大地影响了覆盖率驱动验证的效......
代码覆盖率测试技术是一种常见的白盒测试技术,利用它可在代码层面定位测试过程中所发现的缺陷。本文在已有研究基础之上,介绍了代......
随着数字集成电路的飞速发展,设计的规模急剧增大,电路的结构也越来越复杂。使用传统的前端与后端分离的流程已经难以满足产品问市......
在过去一两年中,"便携式激励"已经成为验证领域的热门话题,但是像诸多"新"概念一样,它也是在一些既有工具和方法基础上演变而来的。例......
对SOC IP的测试方法进行了研究,提出了一种MSM(master slave monitor)测试框架.该框架结合场景式测试法和类汇编VERILOG语言,能对S......
针对模糊测试终止时机问题,提出了二进制代码测试覆盖率评估方法,通过二进制代码的静态与执行轨迹动态两种分析,可评估模糊测试对......
针对传统串行外设接口(SPI)模块设计不灵活、不利于扩展、不支持乱序访问的缺陷,设计了一种面向系统级芯片(SoC)的SPI模块。首先,根据S......
<正> 半导体工艺的发展,使我们可以在一个芯片中集成更多的功能。它同时也使IC设计工程师面临新的挑战,他们必须在最短的时间内完......
代码安全在软件开发过程中日益受到重视,人们总是期望在软件正式发布前发现并解决所有潜在的缺陷,为此提出许多软件安全测试技术,......
针对当前统一可扩展固件接口(UEFI)固件漏洞大幅增多,且缺乏高效漏洞检测系统的问题,提出面向UEFI固件的模糊测试系统,采用模糊测试技术......
随着信息技术的不断发展,软件广泛应用于人们的生产与生活过程中,软件的安全性也越发受到重视。模糊测试是一种高效的自动化漏洞挖......
组织机构代码工作经过20年的发展,从开始的数十万条数据到现在千万级的国家基础性信息数据库;从创业初期积极赋码颁证,扩大代码覆盖率......
自动化单元测试是现代软件开发研究的热点。Randoop自动化单元测试用例生成工具针对Java和.NET代码,基于反馈指导随机生成测试用例......
随着微处理器复杂度的不断提高,用全功能验证方法将花费大量的计算资源和时间。提出一种基于图模型的验证方法,首先利用功能抽象的方......
提出了一种基于仿真(simulation-based)的32位RISC微处理器的功能验证方法.以伪随机生成和针对流水线模型生成激励向量方式相结合......
为解决依赖结构优先级在测试用例权值相等时存在的问题,针对流行的深度优先搜索算法进行改进。通过结合测试用例之间的功能依赖和测......
结合RTCA/DO-254以及机载电子硬件适航符合性验证过程中的工程经验,提出了一套完整的民用飞机机载电子硬件测试策略。......
TD-SCDMA第三代移动通信标准是近百年来我国通信史上第一个具有完全自主知识产权的国际通信标准,它的出现在我国通信发展史上具有里......
目前嵌入式软件的覆盖率测试相对通用平台软件具有一定的的复杂性和困难性,本文介绍了一种基于嵌入式系统的Bullseye Coverage逻辑......
当前,来自网络与软件系统的各种安全威胁越来越严重,防范形势日益严峻。动态污点分析技术(Dynamic Taint Analysis,简称DTA)能够对......
针对已有的二进制代码反混淆方法只针对特定的混淆方法、不适用于未知的混淆方法,且代码覆盖率低的问题,提出了一种基于语义的二进......
针对代码覆盖率的测试问题,分析了衡量代码覆盖情况的常用指标,探讨了代码覆盖率工具BullseyeCoverage的工作原理,并将该工具应用......
计算机网络的普及使人类的生活发生了翻天覆地的变化,但随之带来的安全问题也对人们的生活和工作造成了极大的影响。软件漏洞检测技......
Fuzzing测试技术能够自动识别出二进制文件中的安全问题,这是一个新兴值得研究的领域。Fuzzing技术从早期的手工方式逐渐发展为现......
结合多种群遗传算法和模糊测试技术,将测试用例对代码块的覆盖率作为适应度值评价的一部分,通过自动化产生畸形测试数据进行模糊测......
本课题来自一款16位高性能低功耗数字信号处理器FT-C55LP的自主正向设计,其设计目标是各项技术指标与T(ITexas Instruments)公司的......
在代码中寻找漏洞已成为网络攻防之间博弈的一部分,网络防御方需要尽可能地定位和修补所有可能的系统漏洞,而攻击方通常只需找到一处......
内核是构建操作系统的核心,它运行在系统的最高特权层,提供着对硬件访问的安全防护与上层应用的资源抽象,同时维护着用户与系统间......