检索结果-内蒙古大学图书馆

计算机学报 2011年第6期34卷 953-964页

作者：崔展齐王林章李宣东南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

混合执行测试(concolic testing)是一种将具体执行与符号执行相结合的自动化测试方法.由于混合执行测试从程序本身出发,未将目标缺陷的先验知识作为指导,会导致生成和执行大量不能发现缺陷的测试输入,从发现缺陷的角度看浪费了时间和计... 详细信息

混合执行测试(concolic testing)是一种将具体执行与符号执行相结合的自动化测试方法.由于混合执行测试从程序本身出发,未将目标缺陷的先验知识作为指导,会导致生成和执行大量不能发现缺陷的测试输入,从发现缺陷的角度看浪费了时间和计算资源开销.这个问题在具有时间、成本及资源约束的实际测试任务中更加突出.为解决这一问题,文中提出了一种结合静态分析和混合执行测试技术的目标制导的混合执行测试方法:使用静态分析工具分析待测程序中可能含有缺陷的可疑语句及其缺陷类型,并将静态分析所报告的可疑语句作为目标指导测试.目标制导的混合执行测试技术分为3个步骤:首先,计算从程序各分支到待检测缺陷语句的可达性;其次,对待测试程序进行插装以支持混合执行测试;第三,使用静态分析的结果和可达性信息作为指导,只生成和执行可能会覆盖待检测缺陷语句的测试输入,以避免生成和执行不能发现缺陷的测试输入.基于此方法,作者实现了一个测试缓冲区溢出缺陷的原型工具:TARGET,并在一组C语言基准程序上进行了对比实验.实验结果表明与原有的混合执行测试技术相比较,TARGET能在更短的时间内发现程序中更多的缺陷.

关键词：目标制导测试缺陷触发静态分析混合执行测试

来源：评论

学校读者我要写书评

暂无评论

分段式混合执行测试方法的研究

分段式混合执行测试方法的研究

引用

作者：刘春宏华东师范大学

学位级别：硕士

随着软件系统的规模和复杂性的日益增加,软件测试作为软件质量保证的重要技术手段,越来越受到工业界和学术界的重视。软件测试数据的生成是软件测试过程的一个重要组成部分,当前工业界在实际测试中通常依靠人工手动设计测试数据,速度慢... 详细信息

随着软件系统的规模和复杂性的日益增加,软件测试作为软件质量保证的重要技术手段,越来越受到工业界和学术界的重视。软件测试数据的生成是软件测试过程的一个重要组成部分,当前工业界在实际测试中通常依靠人工手动设计测试数据,速度慢且低效,耗费大量的软件成本。为提高测试效率并降低成本,当前的工业实践仍然需要系统化的方法自动生成测试数据。混合执行测试(concolic testing)是结合使用具体执行与符号执行来搜索程序执行路径,产生高系统覆盖的一种测试输入数据自动生成技术,尤其在小型系统的单元测试中非常有效。但目前它应用于实际软件系统的测试时仍存在一些问题,其中源代码不可见的函数调用的处理问题是较为棘手和普遍的问题之一,而该类函数在实际软件中经常存在,很大程度降低混合执行测试的效率。目前处理源代码不可见的函数调用的方法,要么需要手动为函数建模,耗费人力,效率不高；要么使用运行时具体值代替符号值,这样会损失精度,还有可能导致路径分歧,从而会降低被测系统的分支覆盖。另有研究表明符号执行的路径条件中的函数调用需要得到有效处理,否则会影响生成的测试数据的完备性。分段式符号分析(segmented symbolic execution)是最新提出的一种将静态程序分析中无法继续的具有挑战性的代码片段(源代码不可获得的库函数以及循环)以动态分析的方式推导相应程序语义,按需对被测程序分段并交替使用动静态分析的自动化方法,已成功地对缓冲区溢出问题进行分析。本文受到分段式符号执行方法的启发,在自动化测试生成的环境下,针对混合执行测试中源代码不可见的函数调用,提出分段式混合执行测试方法,这是一种将符号执行、近年来提出的新颖的分段式符号执行以及具体执行按需混合的测试方法,该方法将传统混合执行测试中符号执行无法处理的源代码不可见的函数,以分段式分析法截取为单独代码片段,结合动态执行和回归分析的方法推导相应程序语义,完善混合执行测试。本文选取在受到广泛认可的开源混合执行测试工具CREST上设计sCREST原型系统以实现本文提出的分段式混合执行测试方法,并在一组广泛使用的开源的C语言基准程序(tcas, replace, grep, gzip, vim)上进行实验。实验结果表明分段式混合执行测试方法能够比传统方法达到更高的分支覆盖,验证了本文所提方法的可行性和有效性。本文提出的分段式混合执行测试方法进一步缓解了源代码不可见的函数调用这一局限性,为混合执行测试处理该类函数提供一个新的解决思路,提高了测试数据的分支覆盖数,对混合执行测试应用于实际软件的测试具有重要的理论意义和现实意义。

关键词：混合执行测试分段式符号分析自动化测试数据生成分支覆盖

来源：评论

学校读者我要写书评

暂无评论

动态软件缺陷测试关键技术研究

动态软件缺陷测试关键技术研究

引用

作者：王伟光南京大学

学位级别：博士

随着信息技术发展,信息安全日益重要,软件缺陷为信息安全风险的主要根源之一。动态软件缺陷测试技术是发现和消除软件缺陷的重要手段。然而,现有技术在对软件缺陷进行检测时,由于缺乏缺陷相关知识的指导,存在检测效率低、漏报率高等缺... 详细信息

随着信息技术发展,信息安全日益重要,软件缺陷为信息安全风险的主要根源之一。动态软件缺陷测试技术是发现和消除软件缺陷的重要手段。然而,现有技术在对软件缺陷进行检测时,由于缺乏缺陷相关知识的指导,存在检测效率低、漏报率高等缺点。本文围绕软件缺陷检测,深入分析了现今流行的动态软件缺陷测试技术的优劣和存在的关键问题,重点研究了如何增强混合执行测试和导向型模糊测试技术的缺陷检测效率和效果。本文的主要工作如下：1.混合执行测试是一种基于符号执行的动态测试技术,初始输入的选择是影响该技术缺陷检测效果的重要因素,然而现有混合执行测试工作缺乏有效的初始输入选择策略。本文提出混合执行测试初始输入评估和选择方法。方法结合部分控制流敏感的细粒度污点分析和符号执行,通过识别和计算不同备选初始输入覆盖容易触发缺陷的危险路径的能力,来为混合执行测试评估和选择合适的初始输入,可有效的提高混合执行测试的缺陷检测效果。2.混合执行测试通过生成和调度测试用例对待测程序进行测试。现有混合执行测试工作普遍采用的测试用例生成调度策略缺乏针对缺陷检测的考量,效率较低。为了进一步的提高混合执行测试的缺陷检测速度,我们提出了一种面向危险操作的路径选择策略。该策略分析待测程序中不同执行路径对触发缺陷的贡献,按照缺陷发生的难易程度来进行测试用例的生成和调度,使测试流程对危险的程序状态空间进行优先系统探测,加速缺陷的触发。3.导向型模糊测试技术利用污点分析,识别种子输入中可影响容易发生缺陷的安全敏感操作的数据片段；进而对这些片段进行扰动以生成测试用例对待测程序进行测试,是有效的动态软件缺陷检测手段。导向型模糊测试的缺陷检测效果严重依赖于种子输入的质量,而现有导向型模糊测试工作缺乏有效的种子输入选取手段。本文提出导向型模糊测试种子输入选择生成策略,结合静态分析、动态监控和符号执行技术,为导向型模糊测试过程选择和生成可覆盖更多安全敏感操作的种子输入,可有效地提高导向型模糊测试的缺陷检测能力。4.我们设计和实现了混合执行测试工具CrashFinder和导向型模糊测试工且SeededFuzz。并利用这两个工具对Linux平台名个实际的程序讲行了实验分析,在诸如]convert等流行软件中发现了多个缺陷。

关键词：缺陷检测符号执行混合执行测试导向型模糊测试测试用例生成

来源：评论

学校读者我要写书评

暂无评论

C/C++程序静态内存泄漏警报自动确认方法

引用

软件学报 2017年第4期28卷 827-844页

作者：李筱周严李孟宸陈园军 XU Guo-Qing 王林章李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 Department of Computer Science University of California

内存泄漏是C/C++程序的一种常见的、难以发现的缺陷,一直困扰着软件开发者,尤其是针对长时间运行的程序或者系统软件,内存泄漏的后果十分严重.针对内存泄漏的检测,目前主要有静态分析和动态测试两种方法.动态测试实际运行程序具有较大开... 详细信息

内存泄漏是C/C++程序的一种常见的、难以发现的缺陷,一直困扰着软件开发者,尤其是针对长时间运行的程序或者系统软件,内存泄漏的后果十分严重.针对内存泄漏的检测,目前主要有静态分析和动态测试两种方法.动态测试实际运行程序具有较大开销,同时依赖测试用例的质量;静态分析技术及自动化工具已被学术界和工业界广泛运用于内存泄漏缺陷检测中,然而由于静态分析采取了保守的策略,其结果往往包含数量巨大的误报,需要通过进一步的人工确认来甄别误报.但人工确认静态分析的结果耗时且容易出错,严重限制了静态分析技术的实用性.提出一种基于混合执行测试的静态内存泄漏警报的自动化确认方法:首先,针对静态分析报告的目标程序中内存泄漏的静态警报,对目标程序进行控制流分析,并计算警报的可达性,形成制导信息;其次,基于警报制导信息对目标程序进行混合执行测试;最后,在混合执行测试过程中,监控追踪内存对象的状态,判定内存泄漏是否发生,对静态警报进行动态确认并分类.实验结果表明:该方法可对静态内存泄漏警报进行有效的分类,显著降低了人工确认的工作量.

关键词：内存泄漏静态分析警报混合执行测试确认分类

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：