代码插装相关论文
本文介绍了基于块覆盖的软件测试方面的自动化工具SAT的总体设计与实现,详细说明了该工具的词法语法分析器、静态分析器、代码插装......
随着软件技术的发展和对软件可靠性要求的提高,人们越来越重视软件质量。软件测试作为保证软件质量的一种重要技术,在整个软件开发......
通过超级块支配图来分析软件测试探针的合理插装位置,可有效地减少插装探针数量,降低代码插装对程序的影响。基于超级块支配图的代......
在实际应用中覆盖测试分析采用测量方法的多样性决定了代码插装需要识别程序结构特征的复杂性。结合编译原理的中间代码优化理论,......
基于自主开发的自动化白盒测试工具WBoxTool,本文对开发软件结构性测试自动化工具的一些关键技术进行了研究,重点研究了静态测试、......
随着嵌入式系统的复杂性不断提高,嵌入式软件测试变得越来越重要;通过对ARM系统软件进行深入的研究,提出了一种应用于ARM嵌入式软件系......
介绍覆盖性测试技术的基本概念以及其在嵌入式系统中的基本工作过程;通过将覆盖测试工具Bullseye—Coverage移植到嵌入式操作系统(Nu......
在航天领域中,安全关键的大型实时软件系统往往直接影响到任务成败,一般难以全面检测、分析或避免内存泄漏等常见内存错误。定义了实......
软件测试是软件开发生命周期的重要组成部分,也是目前和今后相当长一段时间内保证软件质量和可靠性的关键手段.为了提高软件测试的......
介绍了动态测出了一种改进的基于动态链接库的代码插装技术.介绍了面向Visual Basic源程序的代码插装流程.......
内存泄漏是软件开发中经常遇到的问题。在使用C/C++开发的大型软件中,内存泄漏往往很难发现。现介绍了一种基于动态代码插装技术的内存......
目前的覆盖测试存在着大量的冗余测试用例,严重影响测试的效率。基于此,介绍一种基于全局支配图算法的覆盖测试工具,通过在局部支......
为准确快速地找到缓冲区溢出漏洞点,提出一种通过代码插装对二进制文件中的缓冲区溢出漏洞自动定位的方法。使用PIN提供的函数编写......
近年来,越来越多的安全关键软件系统运行在国产Linux操作系统上,其中大多数采用C++开发,而C++正在扩展新版语言规范,已有的覆盖率统计......
利用代码插装完成实时任务对自身剩余最长执行时间的运行时自我预估,以满足实时动态调度领域的相关需要.该方法以全面的、规范的相关......
研究了黑盒功能测试和结构覆盖测试,定义了各种覆盖率指标及指出其适用范围,根据覆盖率准则的包含关系,提出了装备定型中关键软件......
以实际测试对象为例,论述软件测试工具Testbed/TBrun在嵌入式软件单元测试中的应用。介绍了软件测试工具的功能、代码插装原理、测......
面向对象技术在软件工程中的推广使用,使得传统的结构化测试技术和方法受到了极大的冲击。为此,本文结合传统的测试技术,从面向对象软......
随着计算机在社会各方面重要性的突显,计算机网络和信息安全也受到了人们广泛的关注,而利用缓冲区溢出来实施破坏在计算机安全事件......
随着计算机科学技术的发展,互联网时代的到来,软件安全问题尤为突显,使得软件的安全性分析提到了前所未有的高度。通过对软件代码......
介绍了代码插装技术的应用背景,比较了手工和自动两种代码插装方式,重点分析和比较了代码自动插装在编译过程中各阶段实现的可行性......
设计并实现一种基于符号化执行的Fuzzing测试方法。通过代码插装,在程序执行过程中收集路径约束条件,依据一定的路径遍历算法生成新......