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