代码覆盖相关论文
隐蔽通道是系统的一个用户通过违反系统安全策略的方式传送信息给另一个用户的机制。根据TCSEC的要求,开发具有B2级及以上的数据库......
黑盒模糊测试出现三十多年来在漏洞挖掘领域中作出了巨大的贡献,发掘了大量有价值的漏洞。基于覆盖率引导的模糊测试是一种灰盒化......
本文介绍了一种软件测试技术——代码覆盖分析,讨论了在测试计划中增加覆盖分析时应该考虑的细节,详细介绍了代码覆盖的基本方法和......
VMM是一种基于SV语言的验证方法学,本文简述了VMM随机验证平台的层级结构,并详细介绍了VMM验证方法学的特性,最后通过SPI平台的搭......
本文介绍了一个嵌入式软件动态测试系统，该系统以模拟器为运行核心，准确模拟嵌入式硬件的运行状态，能够给出语句覆盖率、分支覆盖率、......
软件测试是保障软件质量的重要手段,软件测试在软件开发中的地位也日益重要。其中数据流技术作为一种白盒测试技术,能提供充分的代......
随着SoC的设计规模和复杂度的增加,对验证工作提出了巨大的挑战。功能验证是目前整个SoC设计的瓶颈,功能验证的难点是评估验证进度......
代码覆盖测试可以反映程序代码被执行的百分比,从而真实反映软件内部被测试的情况,实现对软件测试工作完整性评估。本论文就代码覆......
当前测试驱动的开发模式已成为软件开发的主要模式之一,而JUnit是测试开发领域中常用的一种测试框架.基于JUnit的各种测试技术和方......
代码覆盖率是衡量软件测试效果完整性的重要指标.本文讨论了一种代码覆盖工具的实现方案,该方案可以自动地统计代码覆盖率并具有较......
随着软件行业的快速发展,软件系统的规模和复杂性不断增长,同时版本迭代速率也随着敏捷开发的流行而越来越快,如何确保了版本更替......
深度学习推理引擎是人工智能(AI)软件的基础组件。通过将深度学习模型解析成计算图,推理引擎实现了模型的优化并支持在不同设备上......
提出了基于样本数据组合的Fuzzing技术,并抽象出了解决样本数据覆盖问题(data sample covering problem,DSCP)的数学模型;为了更好......
本文讨论了HDL测试过程中的代码覆盖问题,重点分析了语句覆盖、路径覆盖和表达式覆盖等三种覆盖方法,并给出了相应的例子.......
根据漏洞利用攻击的概念验证,使用WinDbg逆向工程找出该类攻击的特征,并根据该特征编写检测代码。而后将检测代码封装至DLL中,并通......
传统的恶意代码动态分析每次分析的对象只是恶意代码的某一个执行路径,难以保证分析的全面性.恶意代码多路径分析是解决该问题的思......
将遗传算法运用到Fuzzing的数据生成过程中,根据具体的测试目标特点,对遗传算法的各个部分进行了定义,适应度函数的设计引入了代码......
嵌入式应用领域的不断拓展,嵌入式系统的安全性和可信性越发重要,如何设计和测试一个可信的嵌入式系统是现在和未来研究的重点,尤......
本文首先阐述了进行代码覆盖分析的必要性；然后，简单介绍了RVM（参考验证方法学）验证中代码覆盖分析的类型以及覆盖结果的产生过程；最后，......
针对传统的Fuzzing漏洞挖掘技术存在挖掘范围太广、漏洞定位困难等固有缺陷,将模拟退火思想引入漏洞挖掘技术的差分演化（Differenti......
单元测试是针对单个功能模块的测试，能尽早发现缺陷，降低滞后纠错的高成本。当今面向对象软件开发强调迭代和增量式的开发方法，单元测......
讨论了结构覆盖测试技术和程序复杂度,研究了基于决策到决策路径（DD-路径）的代码覆盖技术。DD-路径技术一方面可应用于测试用例设计......
本文通过介绍目前国际先进的软件测试代码覆盖统计技术，对白盒测试和黑盒测试的特点进行对比，分析两种方法的特点和不足，从而综合两种......
基于仿真的验证和形式验证是用于测试的两种方法。由于形式验证难以用于大型设计的测试,所以HDL验证的主要方法是通过大量的测试向......
基于覆盖的错误定位（CBFL）方法通过获取成功和失败测试用例的覆盖信息和执行结果对程序中的错误进行定位,但该方法未考虑偶然性成功......
代码覆盖在软件测试中得到了广泛应用,表示了代码被测试的程度。论文提出了一种利用智能水滴算法优化代码覆盖的算法,描述了如何把......
随着集成电路(IC)技术的发展，电子设计自动化(EDA)逐渐成为重要的设计手段，已经广泛应用于数字电路和数字信号处理(DSP)系统等许多领......
代码覆盖率一直是影响模糊测(Fuzzing)测试效率的重要因素,而模糊测试用例则很大程度上影响代码覆盖率,所以如何构造高效的测试用......
BMC固件是一个运行在ARM处理器上的嵌入式Linux系统。对于BMC修订版本中的代码变动,测试人员很难界定其影响范围,为了保证发布的信......
软件测试是保证软件产品质量的一种有效手段。近年来伴随着软件技术的发展,软件规模越来越大,测试用例的数量不断增加,而时间、人......
