基于部分覆盖表的错误交互定位方法  

Locating Error Interactions Based on Partial Covering Array

作　　者：周吴杰[1,2] 张德平[3] 徐宝文[2,4] 

机构地区：[1]东南大学计算机科学与工程学院,南京210096 [2]南京大学软件新技术国家重点实验室,南京210093 [3]南京航空航天大学信息科学与技术学院,南京210016 [4]南京大学计算机科学与技术系,南京210093

出　　处：《计算机学报》2011年第6期1126-1136,共11页Chinese Journal of Computers

基　　金：国家自然科学基金(90818027;91018005);国家"八六三"高技术研究专题项目与发展计划项目基金(2009AA01Z147);国家"九七三"重点基础研究发展规划项目基金(2009CB320703)资助

摘　　要：在组合测试定位模型的基础上提出了部分覆盖表的错误交互定位方法,该方法在错误交互个数已知的条件下,通过生成部分覆盖表,利用测试用例运行结果提供的信息来对软件错误交互定位.从理论上证明了部分覆盖表等价于一类特殊的错误定位表,进而研究了部分覆盖表行数的上界,提出生成部分覆盖表的贪心算法,从而给出了定位引发软件故障的错误交互的非自适应算法,并通过实验验证了该方法的有效性.Combinatorial testing is practical and effective method to detect the faults triggered by the interactions among parameters or components in the system. It is a key problem that how to locate the faulty interactions after some faults were detected in the test stages. Error locating arrays （ELAs） were defined by Martinez C et al for detecting and locating the faulty interactions in a system. In this paper, the authors prove that a special partial covering array （PCA） is also a special error locating array and study the upper bound of PCA＇s size. It is obtained that the number of tests given by PCAs is polynomial in logk and d, where k is the number of parameters and d is the number of faulty interactions in the system. Furthermore the authors propose the greedy algorithms to generate the special PCAs, and these algorithms are also a non-adaptive algorithm of producing ELAs. The experimental results show the above approach for detecting and locating the faulty interactions using PCAs is effective.

关 键 词：组合测试 覆盖表 部分覆盖表 错误定位表 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]