自动测试执行工具论文_秦小凤

导读:本文包含了自动测试执行工具论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:测试,符号,范式,路径,函数,摘要,案例。

自动测试执行工具论文文献综述

秦小凤^[1]（2016）在《基于符号执行的自动测试案例生成工具的研究与设计》一文中研究指出软件测试是提高软件可靠性、确保软件质量的重要手段,在软件测试的各类方法中,测试案例占着举足轻重的位置。本文主要针对在软件测试过程中快速地生成高覆盖度的测试案例集进行了研究,涉及到的关键技术包括符号执行技术和满足性模理论,前者在测试案例生成中主要用于实现自动地构造出在被测试的程序中所具有的执行路径,并且其所构造的路径具有无冗余性的特点;后者主要用于为符号执行技术构造的路径生成对应的真实测试案例输入,由于前者构造的路径是无冗余的,因此所生成的测试案例集也是无冗余的,所以在与传统冗余测试案例集相比而言可以在各种覆盖标准中获得更高的覆盖率。下面是四个本文主要的本文的研究和设计实现内容:第一,系统地研究了符号执行的技术背景、发展历史、研究现状、技术原理和面临的问题,对现有的6款动态符号执行工具进行了详细研究,并统计了领域中比较出名的多款动态符号执行工具,并对它们进行了对比分析。第二,对满足性模理论(SMT:Satisfiability Modulo Theories)求解技术进行了研究,总结分析目前使用较为广泛的约束求解器,详细研究了由SMT-LIB组织提供的所有SMT求解器都能够解析的通用语言的语法规则和脚本编写,为后文进行约束求解优化打下理论基础。第叁,对各主流的动态符号执行工具的实现机制和架构进行了总结,为了实现为运行在不同平台的程序自动生成测试案例,设计实现了基于C/S模式的测试案例生成工具,其能够在不影响测试案例生成部分实现的基础上,提供多用户多平台的测试案例生成服务。第四,在第一和第二个研究的基础上,提出了针对路径爆炸问题和约束求解问题的解决方案,针对约束求解,设计实现通用的求解器调用接口,用以方便地扩展和调用不同的求解器,针对路径爆炸问题,设计实现了多种智能搜索策略用以获得高分支覆盖,同时还设计实现了并行机制用以提高测试案例生成工具的效率。根据以上的研究内容,本文最终设计并实现了基于符号执行的自动测试案例生成工具AUTCS,AUTCS能够同时为多个用户提供自动测试案例生成远程服务,能够提供多种智能覆盖标准,并且针对自身架构缺陷和符号执行技术面临的问题实现优化解决方案。(本文来源于《电子科技大学》期刊2016-03-18）

邵巳航^[2]（2014）在《基于过程间动态符号执行的自动测试工具设计与实现》一文中研究指出由于信息技术的迅速发展,计算机软件越来越多地融入到人们的工作和生活当中。随着云计算技术和各种移动终端的普及,市场对软件需求不断增长的同时,对软件质量的要求也不断提高。尤其在高可信领域中,测试人员必须利用有限的时间和资源,发现软件的漏洞,从而保证程序的正确性。在此背景下,测试用例自动化生成技术得到了不断发展。动态符号执行是针对白盒测试的自动化用例生成技术之一,在传统符号执行的基础上,加入符号实例化的思想,收集被测代码中程序路径上的分支表达式作为约束,求解后得到程序输入变量的具体值作为测试用例。然而,在针对以函数为单位的过程间测试中,往往存在大量的函数调用关系导致路径爆炸,一系列基于过程间动态符号执行的算法得到了发展。本文针对过程间自动测试工具进行研究,提出了基于函数摘要的过程间动态符号执行算法；设计了一套通用的、与约束求解器无关的约束范式；提出了过程间Def-Use算法以及执行树模型,从而统一了函数调用中实参和形参的符号,并使程序能以函数为单位处理路径信息。本文在项目单元测试工具CAUT的框架下,针对C语言,详细论述了一套可行的过程间动态符号执行模型并且实现,最后通过实验体现了本文算法对提高测试准确度和效率的价值。(本文来源于《华东师范大学》期刊2014-05-01）

自动测试执行工具论文开题报告

（1）论文研究背景及目的

此处内容要求：

首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。

写法范例：

由于信息技术的迅速发展,计算机软件越来越多地融入到人们的工作和生活当中。随着云计算技术和各种移动终端的普及,市场对软件需求不断增长的同时,对软件质量的要求也不断提高。尤其在高可信领域中,测试人员必须利用有限的时间和资源,发现软件的漏洞,从而保证程序的正确性。在此背景下,测试用例自动化生成技术得到了不断发展。动态符号执行是针对白盒测试的自动化用例生成技术之一,在传统符号执行的基础上,加入符号实例化的思想,收集被测代码中程序路径上的分支表达式作为约束,求解后得到程序输入变量的具体值作为测试用例。然而,在针对以函数为单位的过程间测试中,往往存在大量的函数调用关系导致路径爆炸,一系列基于过程间动态符号执行的算法得到了发展。本文针对过程间自动测试工具进行研究,提出了基于函数摘要的过程间动态符号执行算法；设计了一套通用的、与约束求解器无关的约束范式；提出了过程间Def-Use算法以及执行树模型,从而统一了函数调用中实参和形参的符号,并使程序能以函数为单位处理路径信息。本文在项目单元测试工具CAUT的框架下,针对C语言,详细论述了一套可行的过程间动态符号执行模型并且实现,最后通过实验体现了本文算法对提高测试准确度和效率的价值。

（2）本文研究方法

调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。

实证研究法：依据现有的科学理论和实践的需要提出设计。

定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。

定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。

跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。

模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。