基于遗传算法的数据流测试用例自适应生成算法① - 计算机系统应用.pdf

计 算 机 系 统 应 用 2013 年 第 22 卷 第 7 期 基于遗传算法的数据流测试用例自适应生成算法① 许 力, 陈江勇 (福建师范大学 网络安全与密码技术重点实验室, 福州 350007) 摘 要: 测试用例的设计是软件测试实施的首要环节, 对后期测试工作具有重要的指导作用, 也是提高质量软件的 根本保证. 针对 Moheb R. Girgis 算法的不足, 通过引入分支函数和改进遗传算法中的自适应性, 提出一种改进的数 据流测试用例的自动生成算法, 实验表明, 改进算法在收敛速度和覆盖率等关键性能上都有较明显提高. 关键词: 遗传算法; 数据流; 测试用例; 自动化测试 Data Flow Test-Cases Adaptive Generation Algorithm Based on Genetic Algorithm XU Li, CHEN Jiang-Yong (Fujian Normal University, Key Lab of Network Security and Cryptology, Fuzhou 350007, China) Abstract: The design of test-cases is one of the most important parts of software testing, which play an important role in guiding the post-testing and also is the fundamental guarantee of quality software. For the shortcoming of method raised by Moheb R. Girgis, an improved genetic algorithm for the automatic generation of data flow test-cases was proposed by introducing the branch functions and adaptive genetic strategies. Experiments show that the improved algorithm has a more increase in the performance of convergence rate and coverage rate. Key words: genetic algorithms; data-flow; test-cases; automated testing 1 引言 algorithm for data flow, 简记为 IATGAFDF). 软件测试的难题之一就是在满足一定覆盖准则的 前提下进行测试用例的自动生成. 其中测试覆盖准则 2 数据流测试基本概念 作为判断测试停止的重要依据主要有: 基于控制流的 数据流测试与传统单纯基于控制流图的结构化测 测试覆盖准则和基于数据流的测试覆盖准则. 目前, 国 试的区别在于:传统的结构化测试方法基本上是从纯 内外学者针对控制流覆盖准则相继提出了各种测试用 数学的角度来分析的, 这种测试方法无法对程序进行 例自动生成算法[1-5]; 然而基于数据流测试覆盖准则的 静态分析而且相应的测试覆盖准则也难以保证测试的 测试用例自动生成算法研究的相对较少, 针对数据流 有效性和充分性. 而数据流测试则是利用了变量之间 测试覆盖准则中的全使用路径准则, Moheb R. Girgis 提 的关系, 通过定义-使用路径得到一系列的测试指标用 出了采用遗传算法来进行数据流测试用例的自动生 于衡量测试的覆盖率. 程序中使用变量的方式有: 给 成[6](Automatic testcase generation algorithm for data flow, 变量赋常量值、通过其他多个变量产生另一个变量的 简记为 ATGA