基于关联矩阵的两两组合测试算法

摘要：

组合测试是软件黑盒测试中的一种常用方法,能有效检测软件系统中由各个因素相互作用所引发的软件故障.基于参数顺序的约束满足算法IPO-SAT是一种常用的组合测试用例生成算法,该算法约束控制能力突出,能生成精简的两两组合测试用例集,但其计算过程频繁调用约束求解器,导致较多的时间开销.针对该问题,论文提出一种基于关联矩阵的两两组合测试改进算法MIPO,采取将约束信息存储于关联矩阵中的方式来避免调用约束求解器,以减少测试用例生成过程中的整体时间.针对5组不同的参数组合进行实验,结果表明,改进后的算法与IPO-SAT算法相比,生成两两组合测试用例集的时间可节省90%以上.

关键词：约束控制、测试用例生成、关联矩阵、组合测试

所属期刊栏目：45

分类号：TP311.5(计算技术、计算机技术)

资助基金：国防基金《基于容错机制的面向服务可信支持技术研究》项目513150402

在线出版日期：2017-11-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1713-1719