New Bounds for Ternary Covering Arrays Using a Parallel Simulated Annealing

被引:14
作者
Avila-George, Himer [1 ]
Torres-Jimenez, Jose [2 ]
Hernandez, Vicente [3 ]
机构
[1] Inst Tecnol Super Salvatierra, Guanajuato 38900, Mexico
[2] Cinvestav Tamaulipas, Informat Technol Lab, Victoria 87130, Tamps, Mexico
[3] Univ Politecn Valencia, Inst Instrumentac Imagen Mol I3M, Valencia 46022, Spain
关键词
OPTIMIZATION; GENERATION;
D O I
10.1155/2012/897027
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
A covering array (CA) is a combinatorial structure specified as a matrix of N rows and k columns over an alphabet on v symbols such that for each set of t columns every t-tuple of symbols is covered at least once. Given the values of t, k, and v, 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, There are three parallel approaches for simulated annealing: the independent, semi-independent, and cooperative searches are applied to the CAC problem. The empirical evidence supported by statistical analysis indicates that cooperative approach offers the best execution times and the same bounds as the independent and semi-independent approaches. Extensive experimentation was carried out, using 182 well-known benchmark instances of ternary covering arrays, for assessing its performance with respect to the best-known bounds reported previously. The results show that cooperative approach attains 134 new bounds and equals the solutions for other 29 instances.
引用
收藏
页数:19
相关论文
共 31 条
[1]  
AARTS EHL, 1985, PHILIPS J RES, V40, P193
[2]  
Atiqullah MM, 2004, LECT NOTES COMPUT SC, V3045, P396
[3]  
Avila-George H., J SUPERCOMP IN PRESS
[4]   The density algorithm for pairwise interaction testing [J].
Bryce, Renee C. ;
Colbourn, Charles J. .
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2007, 17 (03) :159-182
[5]  
Cavique I, 1999, J OPER RES SOC, V50, P608, DOI 10.1057/palgrave.jors.2600728
[6]   On the state of strength-three covering arrays [J].
Chateauneuf, M ;
Kreher, DL .
JOURNAL OF COMBINATORIAL DESIGNS, 2002, 10 (04) :217-238
[7]   Parallelizing simulated annealing algorithms based on high-performance computer [J].
Chen, Ding-Jun ;
Lee, Chung-Yeol ;
Park, Cheol-Hoon ;
Mendes, Pedro .
JOURNAL OF GLOBAL OPTIMIZATION, 2007, 39 (02) :261-289
[8]   The combinatorial design approach to automatic test generation [J].
Cohen, DM ;
Dalal, SR ;
Parelius, J ;
Patton, GC .
IEEE SOFTWARE, 1996, 13 (05) :83-88
[9]   Augmenting simulated annealing to build interaction test suites [J].
Cohen, MB ;
Colbourn, CJ ;
Ling, ACH .
ISSRE 2003: 14TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2003, :394-405
[10]  
Colbourn C. J., 2012, COVERING ARRAY TABLE