基于多切片最优融合集的故障测试约束构造方法

摘要：

针对故障测试约束构造过程相当复杂，计算开销太大，测试用例设计质量不高，不利于广泛运用，提出一种基于多切片最优融合集的故障测试约束构造方法，采用同一切片标准的不同程序切片构造融合度矩阵来度量切片的一致融合度，通过利用切片融合度、路径条件以及软件故障触发与传播的内在机制进而构造某个故障相应的测试约束，可控制测试用例的规模，提高测试用例设计质量。实验结果表明，这种故障测试约束与传统基于谓词约束和必要性约束比较，生成的测试用例规模较小，很少生成无效测试用例，发现Bug的效率很高。

关键词：程序切片、软件测试、最优融合集、测试约束

分类号：TP393(计算技术、计算机技术)

资助基金：广州市科研项目No.08C003。

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

页数：共7页

页码：264-270