2013 IEEE 37th Annual Computer Software and Applications Conference (2006)
Sept. 17, 2006 to Sept. 21, 2006
Jun Yan , Chinese Academy of Sciences, China
Jian Zhang , Chinese Academy of Sciences, China
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach and a backtracking search algorithm are presented to solve the problem. A novel pruning strategy called SCEH is proposed to increase the efficiency of the methods. Several existing search heuristics and symmetry breaking techniques are also used in the backtracking search algorithm. Lastly, this paper introduces a tool called EXACT (EXhaustive seArch of Combinatorial Test suites) which implements all the above techniques to construct the covering arrays automatically. The experimental results show that our backtracking search method outperforms other methods in many small size cases.
J. Zhang and J. Yan, "Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing," 2013 IEEE 37th Annual Computer Software and Applications Conference(COMPSAC), Chicago, Illinois, 2006, pp. 385-394.