检索结果-南通市图书馆

函数摘要在Concolic测试方法中的应用

在线全文

学校读者我要写书评

暂无评论

北京邮电大学学报 2012年第1期35卷 24-27页

作者：安靖钟金鑫魏更宇杨义先北京邮电大学计算机学院北京100876

在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在对外部调用进行Concolic测试后,将其返回结果和路径条件作为函数摘要.测试过程中调用同一外部调用时,该... 详细信息

在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在对外部调用进行Concolic测试后,将其返回结果和路径条件作为函数摘要.测试过程中调用同一外部调用时,该方法用函数摘要替代展开测试,避免了传统Concolic测试过程对外部调用重复测试的问题,缓解了调用次数增多和调用深度增加引起的路径爆炸问题.原型系统的实验结果表明,随着测试对象中函数数量的增加,传统Concolic测试路径数量可能出现指数型增长,而该方法中测试路径数量基本保持线性增长.

关键词： Concolic测试符号执行函数摘要路径爆炸

面向源代码的导向Concolic测试方法研究

在线全文

学校读者我要写书评

暂无评论

计算机应用研究 2018年第1期35卷 140-144页

作者：常超刘克胜赵军电子工程学院博士生队合肥230037 电子工程学院网络系合肥230037

对规模较大的程序进行安全测试过程中,Concolic测试常面临路径爆炸和求解能力不足等问题。为缓解此类问题,提出一种面向源代码的导向Concolic测试方法。针对容易产生缺陷的危险代码区域,依据控制流和数据流属性,采用回溯的方式推导出静... 详细信息

对规模较大的程序进行安全测试过程中,Concolic测试常面临路径爆炸和求解能力不足等问题。为缓解此类问题,提出一种面向源代码的导向Concolic测试方法。针对容易产生缺陷的危险代码区域,依据控制流和数据流属性,采用回溯的方式推导出静态可达路径信息和必要的符号变量,实现仅针对危险代码区域的覆盖测试。实证研究结果表明,通过规避对不关心路径和符号变量的分析,所提方法显著提升了覆盖测试危险代码区域的效率和发现缺陷的概率。

关键词： Concolic测试缺陷检测符号执行代码插桩约束求解

基于并行Java程序动态切片的Concolic测试

在线全文

学校读者我要写书评

暂无评论

华中科技大学学报（自然科学版） 2009年第10期37卷 21-24页

作者：濮方琍卢炎生华中科技大学计算机科学与技术学院湖北武汉430074

为了减少分析和存储信息,提高测试效率,针对Concolic测试中存在同一同步串运行多次的现象及测试效率不高的问题,提出了基于并行Java程序动态切片的Concolic测试方法.该方法运用并行程序动态切片确定测试同步串,无需分析和存储同步串每... 详细信息

为了减少分析和存储信息,提高测试效率,针对Concolic测试中存在同一同步串运行多次的现象及测试效率不高的问题,提出了基于并行Java程序动态切片的Concolic测试方法.该方法运用并行程序动态切片确定测试同步串,无需分析和存储同步串每个执行点的信息,并保证不运行相同的同步串.实验证明,基于并行Java程序动态切片的Concolic测试方法极大地提高了Concolic测试的性能和效率,具有较高的实际可操作性.

关键词：并行Java程序动态切片 Concolic测试并行测试软件测试

在线全文

学校读者我要写书评

暂无评论

基于路径引导的回归测试用例集扩增方法

计算机工程与科学 2014年第11期36卷 2159-2163页

作者：殷鹏川贲可荣海军工程大学计算机工程系湖北武汉430033

为了全面测试演化软件,回归测试通常需要生成新的测试用例。Concolic测试是一种沿着具体执行路径进行符号执行的软件验证技术,通过生成测试数据来执行程序的所有可行路径。回归测试中,由于Concolic测试关注于程序本身,没有利用已有测试... 详细信息

为了全面测试演化软件,回归测试通常需要生成新的测试用例。Concolic测试是一种沿着具体执行路径进行符号执行的软件验证技术,通过生成测试数据来执行程序的所有可行路径。回归测试中,由于Concolic测试关注于程序本身,没有利用已有测试用例和软件演化信息,导致生成大量无效测试数据,浪费资源和时间。为解决此问题,提出一种基于路径引导的回归测试用例集扩增方法。该方法将目标路径作为引导,根据软件演化信息选择有利于覆盖目标路径的测试用例,利用已有测试用例跳过重叠初始子路径,对后续目标子路径进行Concolic测试并生成覆盖目标路径的测试数据。案例分析表明,本文方法相比传统Concolic测试,本方法在覆盖程序可行路径的同时,可有效减少Concolic测试路径,提高测试数据生成效率。

关键词：回归测试 Concolic测试测试用例集扩增测试数据生成路径覆盖

在线全文

学校读者我要写书评

暂无评论

可信软件并发正确性测试技术的研究与应用

可信软件并发正确性测试技术的研究与应用

作者：李桢广东工业大学

学位级别：硕士

随着计算机应用的快速发展,软件已经渗透到各行各业,人们高度关注软件的正确性、可靠性、安全性、完整性、可用性等可信性质。而并发程序的出现,使其对正确性测试越发的困难,由于并发程序运行时的不确定性,很难检测到错误;许多并发错误... 详细信息

随着计算机应用的快速发展,软件已经渗透到各行各业,人们高度关注软件的正确性、可靠性、安全性、完整性、可用性等可信性质。而并发程序的出现,使其对正确性测试越发的困难,由于并发程序运行时的不确定性,很难检测到错误;许多并发错误到了用户使用阶段才被发现,再修复这些错误需要付出昂贵的费用。并发正确性测试是可信软件测试过程中最重要的一部分,如何检测出并发错误并采取有效的措施来保证可信软件的并发正确性刻不容缓,成为该领域专家学者研究热点。 Concolic测试方法首先根据并发程序的某个确定的输入条件对并发程序进行具体测试,然后根据并发程序每个分支点的符号值和竞争条件对程序中的项目重新排序以产生新的线程调度,即：产生新的偏序同步串,根据新的线程调度产生与之相对应的新的程序输入条件,最后在新的输入条件下对并发程序进行测试,如此往复直至并发程序所有的路径均被覆盖。Concolic测试在一定程度上解决了缺乏有效的测试用例集的问题,但是由于缺乏将目标缺陷作为导向,会导致大量不能发现缺陷的测试序列集生成和执行,从而耗费了大量的时间和开销。本文提出了一种目标导向的Concolic测试方法,是将静态分析方法和Concolic测试方法相结合,定义了相关规则以及算法,利用静态分析的结果收集可能存在并发错误的可疑语句,利用该结果指导Concolic测试,通过实验与原有方法相比,该方法可以最大程度的减少测试的路径数量,降低并发测试的开销,提高了Concolic测试方法的效率。本文在研究工作中的创新点主要体现在以下几个方面：（1）提出了一种将静态分析和Concolic测试相结合的缺陷检测方法,使用静态分析报告的潜在缺陷位置和类型信息指导Concolic测试,从而降低测试开销。（2）对待测试并发程序进行简化,建立并发程序模型用于描述目标导向的Concolic测试技术。（3）通过构建并发控制流图,在此基础上判断并发程序中各分支语句到缺陷语句的可达性并同时记录相关的路径;然后通过对并发程序进行插装来支持Concolic测试的进行。（4）基于该方法实现了一个用于检测Java程序并发缺陷的目标导向的Concolic测试系统（DDTS）,并在一组Java并发程序基准上进行了实例研究以评估本方法的有效性。

关键词：可信软件并发正确性 Concolic测试静态分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于动态测试的Web测试框架的设计与实现

基于动态测试的Web测试框架的设计与实现

作者：黄俊卿南京大学

学位级别：硕士

随着Web技术的迅速发展与成熟,Web应用日渐繁多,然而Web页面上却往往充斥着各种各样的页面访问错误和页面语法错误,严重影响了用户体验,甚至会损害用户利益。而究其根源除了开发人员的失职外,还与缺少有效的Web应用自动化测试方法密切... 详细信息

随着Web技术的迅速发展与成熟,Web应用日渐繁多,然而Web页面上却往往充斥着各种各样的页面访问错误和页面语法错误,严重影响了用户体验,甚至会损害用户利益。而究其根源除了开发人员的失职外,还与缺少有效的Web应用自动化测试方法密切相关。目前企业中所使用的测试方法在覆盖率和自动化程度上都不能令人满意,因此,亟需一种高覆盖率的Web应用自动化测试方法来改变这种局面。 Concolic测试在对桌面应用程序的测试中被广泛研究,其能以最少的测试用例达到最高测试覆盖率的特点受到广大测试研究人员的青睐。为了解决Concolic测试对数据库应用程序覆盖率不高的问题,学者们提出了针对数据库应用的测试用例生成的方法,为数据库应用程序的测试提供了重大帮助。相比桌面应用,Concolic测试在Web应用上的研究相对较少,Shay Artzi首先提出了Concolic测试与基于状态模型的检测结合的方法,使动态测试在Web应用测试上的发展取得了巨大的进步。但是其方法同样存在对数据库逻辑覆盖率不高的问题,然而数据库逻辑往往是Web应用的核心部分,因此这个问题不容忽视。本文将数据库应用测试用例生成方法改良并与基于状态模型的检测方法结合,提出了一种测试覆盖率和自动化程度更高的自动化Web测试框架。并将其应用于PHP Web应用程序的测试中,设计和实现了PHP Web应用自动化测试工具APBFinder,能够自动而有效地检测出PHP Web应用中的运行时错误和HTML语法错误。最后,通过使用APBFinder对实际PHP项目进行测试,将生成的测试用例数量、代码行覆盖率和检测错误数量与随机测试和Apollo的结果进行对比,证明APBFinder拥有优秀的测试能力,能够达到比Apollo更高的测试覆盖率。

关键词：软件测试 Web测试动态测试 Concolic测试 PHP

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

符号执行技术在测试用例生成中的应用

现代计算机 2017年第3期23卷 12-16页

作者：曾嘉彦四川大学计算机学院成都610225

符号执行技术提出近四十年,随着计算机科学与技术的发展,在软件工程领域得到广泛的应用,成为一种流行的自动测试技术。对符号执行技术在测试用例生成中的应用展开综述,全方位地叙述符号执行技术的基本原理、面临的问题和挑战以及相应的... 详细信息

符号执行技术提出近四十年,随着计算机科学与技术的发展,在软件工程领域得到广泛的应用,成为一种流行的自动测试技术。对符号执行技术在测试用例生成中的应用展开综述,全方位地叙述符号执行技术的基本原理、面临的问题和挑战以及相应的改进策略、相关的典型案例,并介绍和比较现有的工具,对学术界和工业界提供相应的参考。

关键词：符号执行 Concolic测试自动化测试测试用例生成

基于concolic的Web动态页输出异常自动检测方法研究

在线全文

学校读者我要写书评

暂无评论

基于Concolic的Web动态页输出异常自动检测方法研究

作者：张蕊南华大学

学位级别：硕士

随着软件技术的发展,Web应用已经变得越来越庞大和复杂,Web页面也以指数级增长,而开发周期却越来越短、维护更新也更为频繁,这就导致目前实际开发中Web页面常用的单元测试方法在面对动态Web程序呈现的新特性如输入空间巨大、内容动态生... 详细信息

随着软件技术的发展,Web应用已经变得越来越庞大和复杂,Web页面也以指数级增长,而开发周期却越来越短、维护更新也更为频繁,这就导致目前实际开发中Web页面常用的单元测试方法在面对动态Web程序呈现的新特性如输入空间巨大、内容动态生成、控制流可变性等呈现出低效、重复的测试局限性。获得有效的测试数据和提高程序缺陷发现率是保障软件测试有效性的两种最重要的手段,本文从这两点着手,研究一种能自动分析程序生成测试数据并验证Web动态页程序是否发生异常的自动检测方法,使得在单元测试中就能尽早且尽可能发现Web输出异常,提高Web应用程序测试的客观性及有效性。本文在对动态页的特点及其输出异常表现进行分析的基础上,首先提出一种自动检测单个Web动态页输出异常的策略,该策略是基于concolic方法自动生成输入数据驱动程序运行并以html语法为测试规范验证输出,实现对Web动态页输出异常的自动检测。在该策略中所生成的输入数据能驱动程序执行所有的可达状态,从而深度遍历被测程序的所有分支,有效地解决目前web单元测试中面对巨大输入空间测试输入难以选择的问题,避免了对人工经验的过大依赖,减小了测试盲目性。其次在针对多个动态页的模块级检测方面,探讨分析多个动态页之间主要是通过状态变量传递来维系的,在提出的针对单个动态页输出异常检测策略的基础上,引入状态转换概念,提出一种针对多个动态页模块级检测策略,该策略把系统状态变量和输入数据共同作为测试数据驱动程序运行,实时运行检测程序,综合考虑实时运行环境中用户输入、系统变量等各种因素不同组合下程序是否发生输出异常,使得该策略能检测到多种类型的异常提高了Web应用程序的缺陷发现率。最后,根据Web应用动态页输出异常检测的策略设计一个对Web动态页输出进行检测的原型系统框架实现对于动态页程序输出异常的自动检测。

关键词： Web应用程序动态页输出异常 Concolic测试状态转换