Randomized post-optimization of covering arrays

被引:27
作者
Nayeri, Peyman [1 ]
Colbourn, Charles. J. [1 ]
Konjevod, Goran [1 ]
机构
[1] Arizona State Univ, Tempe, AZ 85287 USA
关键词
HIGHER STRENGTH; GENERATION; CONSTRUCTIONS; ALGORITHM; STRATEGY;
D O I
10.1016/j.ejc.2012.07.017
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
The construction of covering arrays with the fewest rows remains a challenging problem. Most computational and recursive constructions result in extensive repetition of coverage. While some is necessary, some is not. By reducing the repeated coverage, metaheuristic search techniques typically outperform simpler computational methods, but they have been applied in a limited set of cases. Time constraints often prevent them from finding an array of competitive size. We examine a different approach. Having used a simple computation or construction to find a covering array, we employ a post-optimization technique that repeatedly adjusts the array in an attempt to reduce its number of rows. At every stage the array retains full coverage. We demonstrate its value on a collection of previously best known arrays by eliminating, in some cases, 10% of their rows. In the well-studied case of strength two with twenty factors having ten values each, post-optimization produces a covering array with only 162 rows, improving on a wide variety of computational and combinatorial methods. We identify certain important features of covering arrays for which post-optimization is successful. (C) 2012 Elsevier Ltd. All rights reserved.
引用
收藏
页码:91 / 103
页数:13
相关论文
共 42 条
  • [1] [Anonymous], 2004, MATEMATICHE
  • [2] [Anonymous], P 3 INT C SOFTW TEST
  • [3] The density algorithm for pairwise interaction testing
    Bryce, Renee C.
    Colbourn, Charles J.
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2007, 17 (03) : 159 - 182
  • [4] A density-based greedy algorithm for higher strength covering arrays
    Bryce, Renee C.
    Colbourn, Charles J.
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2009, 19 (01) : 37 - 53
  • [5] IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays
    Calvagna, Andrea
    Gargantini, Angelo
    [J]. ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS, 2009, : 10 - +
  • [6] On the state of strength-three covering arrays
    Chateauneuf, M
    Kreher, DL
    [J]. JOURNAL OF COMBINATORIAL DESIGNS, 2002, 10 (04) : 217 - 238
  • [7] The AETG system: An approach to testing based on combinatorial design
    Cohen, DM
    Dalal, SR
    Fredman, ML
    Patton, GC
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (07) : 437 - 444
  • [8] COHEN MB, 2004, THESIS U AUCKLAND
  • [9] Constructing strength three covering arrays with augmented annealing
    Cohen, Myra B.
    Colbourn, Charles J.
    Ling, Alan C. H.
    [J]. DISCRETE MATHEMATICS, 2008, 308 (13) : 2709 - 2722
  • [10] Covering and radius-covering arrays: Constructions and classification
    Colbourn, C. J.
    Keri, G.
    Rivas Soriano, P. P.
    Schlage-Puchta, J. -C.
    [J]. DISCRETE APPLIED MATHEMATICS, 2010, 158 (11) : 1158 - 1180