一致闭的禁忌交互集生成算法  

The Generation Algorithm of Consistent Closed Forbidden Interaction Set

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

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

出　　处：《计算机学报》2015年第11期2279-2289,共11页Chinese Journal of Computers

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

摘　　要：组合测试是侦测软件系统中各因素或配置之间是否有交互作用导致软件系统故障的重要方法,当因素之间的取值组合出现约束时如何生成尽可能少的测试用例是组合测试中的热点问题之一.该文研究了约束出现时由约束导致的禁忌交互集的结构形式,提出了包括所有的显性与隐含极小禁忌交互的一致闭的禁忌交互集的概念,对一般的禁忌交互集,提出了生成一致闭的禁忌交互集的算法,分析了算法的性能,然后对一致闭的禁忌交互集提出了生成禁忌覆盖表的类AETG算法.对Cohen等人提出的5个实际的测试场景以及30个人工合成的场景,实验表明生成的一致闭的禁忌交互集的规模是在可接受的范围内,生成的测试用例集规模与Cohen等人实验的结果是相当的.最后通过随机实验研究了影响禁忌交互集与其一致闭的禁忌交互集的规模比值的因素.In the paper,we study the combinatorial testing model that there are some constraints among the parameters or components in the software under testing.These constraints render some interactions invalid.The more forbidden interactions are implied by these explicit forbidden interactions.We study the structure of the forbidden interaction set and propose the concept of consistent closed forbidden interaction set.The algorithm to generate the consistent closed forbidden interaction set is provided.And the AETG-like algorithm to generate the combinatorial testing suites is proposed on the basic of the consistent closed forbidden interaction set.The experiments to observe the relations between the implied and explicit forbidden interactions are performed on the 35 testing scenes investigated by Cohen et al.At last,the additional examinations to look into that relation are inspected on some examples randomly synthesized.

关 键 词：组合测试 约束条件 禁忌覆盖表 禁忌交互 一致闭禁忌交互集 类AETG算法 

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