中文摘要：

组合测试是侦测软件系统中各因素或配置之间是否有交互作用导致软件系统故障的重要方法,当因素之间的取值组合出现约束时如何生成尽可能少的测试用例是组合测试中的热点问题之一.该文研究了约束出现时由约束导致的禁忌交互集的结构形式,提出了包括所有的显性与隐含极小禁忌交互的一致闭的禁忌交互集的概念,对一般的禁忌交互集,提出了生成一致闭的禁忌交互集的算法,分析了算法的性能,然后对一致闭的禁忌交互集提出了生成禁忌覆盖表的类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.