Parallel simulated annealing for the covering arrays construction problem

A covering array (CA) is a combinatorial structure specified as a matrix of N rows andk columns over an alphabet onv symbols such that for each set of t columns everyt-tuple of symbols is covered at least once. Given the values oft, k, andv, the optimal covering array construction problem (CAC) consists in constructing a CA(N ; t, k, v) with the minimum possible value of N . There are several reported methods to attend the CAC problem, among them are: direct methods, recursive methods, greedy methods, and metaheuristics methods. In this paper, three parallel approaches for simulated annealing, i.e. the independent, semi-independent and cooperative searches are applied to the CAC problem. The empirical evidence supported by statistical analysis indicate that the cooperative approa ch offers the best execution times and the same upper bounds than the independent and semi-independent approaches. Extensive experimentation was carried out, using 96 wellknown benchmark instances, for assessing its performance with respect to the best-known bounds reported previously. The results show that cooperative approach attains 78 new bounds and equals the solutions for other 6 instances.

[1]  D. Janaki Ram,et al.  Parallel Simulated Annealing Algorithms , 1996, J. Parallel Distributed Comput..

[2]  Jeff Yu Lei,et al.  IPOG: A General Strategy for T-Way Software Testing , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).

[3]  Zbigniew J. Czech,et al.  Three Parallel Algorithms for Simulated Annealing , 2001, PPAM.

[4]  José Torres-Jiménez,et al.  Simulated Annealing for Constructing Mixed Covering Arrays , 2012, DCAI.

[5]  José Torres-Jiménez,et al.  Construction of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach , 2010, COCOA.

[6]  Yu-Wen Tung,et al.  Automating test case generation for the new generation mission software system , 2000, 2000 IEEE Aerospace Conference. Proceedings (Cat. No.00TH8484).

[7]  Kyung-Geun Lee,et al.  Synchronous and Asynchronous Parallel Simulated Annealing with Multiple Markov Chains , 1996, IEEE Trans. Parallel Distributed Syst..

[8]  José Torres-Jiménez,et al.  Supercomputing and grid computing on the verification of covering arrays , 2012, The Journal of Supercomputing.

[9]  Dennis Shasha,et al.  Products of mixed covering arrays of strength two , 2006 .

[10]  Nelson Rangel-Valdez,et al.  A parallel algorithm for the verification of Covering Arrays , 2011 .

[11]  D.M. Cohen,et al.  The Combinatorial Design Approach to Automatic Test Generation , 1996, IEEE Softw..

[12]  César Rego,et al.  Subgraph ejection chains and tabu search for the crew scheduling problem , 1999, J. Oper. Res. Soc..

[13]  Robert L. Probert,et al.  A practical strategy for testing pair-wise coverage of network interfaces , 1996, Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering.

[14]  Charles J. Colbourn,et al.  The density algorithm for pairwise interaction testing , 2007, Softw. Test. Verification Reliab..

[15]  Ehl Emile Aarts,et al.  Statistical cooling : a general approach to combinatorial optimization problems , 1985 .

[16]  Yang Jun,et al.  Detailed Analysis of Uphill Moves in Temperature Parallel Simulated Annealing and Enhancement of Exchange Probabilities , 2005, Complex Syst..

[17]  Tatsuhiro Tsuchiya,et al.  Using artificial life techniques to generate test cases for combinatorial testing , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..

[18]  Myra B. Cohen,et al.  Augmenting simulated annealing to build interaction test suites , 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..

[19]  Martin Charles Golumbic,et al.  Graph Theory, Combinatorics and Algorithms , 2005 .

[20]  Pedro Mendes,et al.  Parallelizing simulated annealing algorithms based on high-performance computer , 2007, J. Glob. Optim..

[21]  Zbigniew J. Czech,et al.  Implementing a Parallel Simulated Annealing Algorithm , 2009, PPAM.

[22]  Patric R. J. Östergård,et al.  Constructing Covering Designs by Simulated Annealing , 1993 .

[23]  George B. Sherwood Optimal and near-optimal mixed covering arrays by column expansion , 2008, Discret. Math..

[24]  Kari J. Nurmela,et al.  Upper bounds for covering arrays by tabu search , 2004, Discret. Appl. Math..

[25]  Cecilia R. Aragon,et al.  Optimization by Simulated Annealing: An Experimental Evaluation; Part I, Graph Partitioning , 1989, Oper. Res..

[26]  Mir M. Atiqullah,et al.  An Efficient Simple Cooling Schedule for Simulated Annealing , 2004, ICCSA.

[27]  B. Stevens,et al.  Covering arrays with mixed alphabet sizes , 2003 .