参数配对组合的软件测试方法研究与实现

摘要

参数的配对组合测试是适用于各种软件系统的一种实用且有效的测试方法,因为许多软件错误是由一些测试参数的相互作用而引起的.该文首先介绍基于参数组合的测试设计方法和配对覆盖测试方法的有效性,并提出配对组合图(Pair-Combinatorial Graph,PCG)和案例子图(Case Sub Graph,CSG)的概念来描述配对覆盖问题.同时也指出,要获得一个最优的配对覆盖测试集是一个NPC问题,但测试集的大小是在一个可预计的范围之内.该文还研究和分析了目前已有的三种有效的配对覆盖测试集生成策略,并利用PCG图和CSG图分析了它们各自的扩展算法,还通过一组测试样本系统综合分析和比较了它们各自的效果.在此基础上,我们提出了一个改进的算法,该方法基于IPO策略,但对于参数扩展的顺序作了规定,以获得到一个更优的测试集大小.同时,新的算法针对参数约束的情况作了改进,并指出一个含有参数约束组合的软件系统其配对覆盖测试集会增大的情况.最后我们利用Java Swing组件实现了基于该方法的一个测试案例生成工具,并演示了如何使用该测试工具来解决参数约束和参数变动等实际测试经常遇到的问题.

目录

文摘

英文文摘

第一章绪论

1.1论文研究的背景

1.2论文的主要内容和章节安排

第二章测试参数的选择和组合测试方法

2.1测试参数的选择及组合

2.2配对覆盖测试的有效性

第三章配对覆盖问题的研究与分析

3.1基本概念

3.2基本概念配对覆盖是一个NPC问题

3.3 PCG图和CSG图

3.4配对覆盖测试集大小的估计

第四章三种配对覆盖测试集生成策略的的研究和比较

4.1 AETG策略

4.2 IPO策略

4.2.1 IPO水平扩展

4.2.2 IPO垂直扩展

4.3正交拉丁方方法

4.3.1拉丁方

4.3.2正交拉丁方

4.3.3 Galois域构造正交拉丁方

4.3.4正交拉丁方的实际应用分析

4.4三种策略的实验比较

第五章基于IPO方法的配对覆盖生成策略

5.1 IPO方法的优点及不确定性问题

5.2参数约束问题的研究和解决策略

5.3 IVO配对覆盖生成策略

第六章软件测试工具的实现

6.1类结构说明

6.1.1 Parameter类和Value类

6.1.2 Pair/Pairs类

6.1.3 TestSet类

6.2测试集生成过程

6.3含有禁止的参数值配对

6.4参数值变动演示

第七章总结和展望

7.1总结

7.2本文的创新点

7.3今后的工作

参考文献

致谢

攻读硕士学位期间发表的论文和科研项目

论文独创性声明和论文使用授权声明

附录