面向路径的测试数据自动生成方法研究-计算机应用技术专业毕业论文.docxVIP

摘 摘 要 软件测试是现阶段保障软件质量的重要手段．软件测试中的诸如语句覆盖、路径覆 盖等问题可以归结为面向路径的测试数据的生成问题．该问题在本文中简称为问题Q， 可以描述为：给定一个程序P和P中一条路径W，设P的输入空间为口，求孟∈D， 使得P以牙为输入运行，所经过的路径为Ⅳ．自动求解该问题将有效地提高软件测试 的效率和质量． 求解问题Q的实质在于约束系统的建立和求解．建立约束系统的困难是分析、化简 路径w上的各种语句成分和各种数据类型，建立尽可能简洁的约束系统；求解约束系统 的主要困难是处理可能存在的非线性约束．f Matiyasevie和E．j．Weyuker等人的研究表 明：不存在通用的有效的算法，对于任意的P和W，能生成使Ⅳ被经过的输入数据． 但是实际应用的需要迫使人们进行研究，并提出各种方法求解问题Q． 本文首先简要介绍该领域的研究进展，将现有的求解方法分为四类一随机法、静 态法、动态法和试探法，介绍和分析每一类中有代表性的方法，并探讨研究方向． 迭代松弛法是Neelam Gupta等人提出的一种自动求解问题Q的方法．该方法通过 分析w上各语句之间的静态、动态数据依赖关系，构造谓词片和输入依赖集，用线性算 术表示对谓词函数进行线性化，仅能够用于自盒测试数据的自动生成． Neelam Gupta等人将最小二乘解法用于求解问题Q．Jon Edvardsson等人指出， 对于谓词函数均为输入变量的线性函数的程序路径， Neelam Gupta等人提出的求解方 法是不完备的和非终止的，并建议采用线性规划、线性(混合)整数规划方法． 本文改进迭代松弛法，省略构造谓词片和输入依赖集的过程．更进一步，当用均差 作为谓词函数关于输入变量的导数的近似时，计算线性算术表示就全部转化为计算谓词 残量，而后者无须分析w上各语句之间的静态、动态数据依赖关系．此时，改进后的方 法比原方法生成测试数据的能力更强，能够用于黑盒测试数据的自动生成．改进后的方 法建立线性约束系统的效率更高． 本文给出一种模型语言；给出一个比较完整的形式化描述，该描述可用于证明与静 态、动态数据依赖关系有关的程序性质；给出迭代松弛法中各概念的形式化定义；深入 研究迭代松弛法及其改进后的方法的程序理论，其结果包括：将Neelam Gupta等人提 出的谓词片推广为路径静态切片，证明路径静态切片构造算法的正确性。证明改进后的 方法与原方法所生成的线性约束系统相同． 本文提出一个面向路径的测试数据生成框架．该框架以改进后的迭代松弛法为核心 算法，对于谓词函数均为输入变量的线性函数的程序路径，采用基于线性规划、线性(混 合)整数规划的约束求解器；对于谓词函数中含有输入变量的非线性函数的程序路径， 采用线性规划、线性(混合)整数规划和最小二乘解法相结合的约束求解器．它具有以下 垦堕丝壑奎塾壅圭堕兰堡垒壅性质：若w上各谓词函数均为输入变量的线性函数，并且所有输入变量均无整数限制， 垦堕丝壑奎塾壅圭堕兰堡垒壅 性质：若w上各谓词函数均为输入变量的线性函数，并且所有输入变量均无整数限制， 则框架迭代一次后，或者找到Ⅳ的解，或者保证彤不可行；当谓词函数中含有输入变 量的非线性函数时，可能需要迭代多次． 本文开发了面向路径的测试数据生成框架的一个原型工具．用实际的程序路径对该 工具进行实验．初步的实验结果表明框架是比较有效的，不仅能够用于白盒、黑盒测试 数据的自动生成，而且能够用于面向断言的测试数据自动生成和回归测试数据的自动生 成．： 关键词 测避墼墁皂墨§垒曼 通直路径的测试，软件测试，数据流分析，程序切片，自盒～， ^。～ 测试， 墨盒捌试． 垦螳墅丝至塞生堕兰丝奎ABSTRACT 垦螳墅丝至塞生堕兰丝奎 ABSTRACT Software testing is one of the most important techniques used to assure the quality of software products at present．Many problems in software testing．such as statement coverage and path coverage，can be reduced to the path—wise test data generating problem， which will be referred to as Problem Q in this thesis and can be described as：given a program P and a path W in P，let the input space ofP be口，compute牙∈口，such that when P executes