Binary Test-Suites Using Covering Arrays

被引:1
作者
Torres-Jimenez, Jose [1 ]
Avila-George, Himer [2 ]
Federico Parra-Gonzalez, Ezra [3 ]
机构
[1] CINVESTAV TAMAULIPAS, Lab Tecnol Informac, Ciudad Victoria 87130, Tamaulipas, Mexico
[2] Univ Guadalajara, Ctr Univ Valles, Ameca 46600, Jalisco, Mexico
[3] Ctr Reg Formac Docente & Invest Educat, Ciudad Victoria 87138, Tamaulipas, Mexico
关键词
Binary test-suites; covering arrays; software testing; CONSTRUCTION; GENERATION; STRENGTH-3; SEARCH;
D O I
10.1142/S0218194018500377
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Software testing is an essential activity to ensure the quality of software systems. Combinatorial testing is a method that facilitates the software testing process; it is based on an empirical evidence where almost all faults in a software component are due to the interaction of very few parameters. The test generation problem for combinatorial testing can be represented as the construction of a matrix that has certain properties; typically this matrix is a covering array. Covering arrays have a small number of tests, in comparison with an exhaustive approach, and provide a level of interaction coverage among the parameters involved. This paper presents a repository that contains binary covering arrays involving many levels of interaction. Also, it discusses the importance of covering array repositories in the construction of better covering arrays. In most of the cases, the size of the covering arrays included in the repository reported here are the best upper bounds known, moreover, the files containing the matrices of these covering arrays are available to be downloaded. The final purpose of our Binary Covering Arrays Repository (BCAR) is to provide software testing practitioners the best-known binary test-suites.
引用
收藏
页码:1321 / 1337
页数:17
相关论文
共 48 条
  • [1] [Anonymous], 2014, 3 MED C EMB COMP
  • [2] Metaheuristic approach for constructing functional test-suites
    Avila-George, Himer
    Torres-Jimenez, Jose
    Gonzalez-Hernandez, Loreto
    Hernandez, Vicente
    [J]. IET SOFTWARE, 2013, 7 (02) : 104 - 117
  • [3] Supercomputing and grid computing on the verification of covering arrays
    Avila-George, Himer
    Torres-Jimenez, Jose
    Rangel-Valdez, Nelson
    Carrion, Abel
    Hernandez, Vicente
    [J]. JOURNAL OF SUPERCOMPUTING, 2012, 62 (02) : 916 - 945
  • [4] Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers
    Banbara, Mutsunori
    Matsunaka, Haruki
    Tamura, Naoyuki
    Inoue, Katsumi
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 112 - +
  • [5] Bracho-Rios J, 2009, LECT NOTES ARTIF INT, V5845, P397, DOI 10.1007/978-3-642-05258-3_35
  • [6] Bryce RC, 2007, GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, P1082
  • [7] ORTHOGONAL ARRAYS OF INDEX UNITY
    BUSH, KA
    [J]. ANNALS OF MATHEMATICAL STATISTICS, 1952, 23 (03): : 426 - 434
  • [8] On the state of strength-three covering arrays
    Chateauneuf, M
    Kreher, DL
    [J]. JOURNAL OF COMBINATORIAL DESIGNS, 2002, 10 (04) : 217 - 238
  • [9] Covering arrays of strength three
    Chateauneuf, MA
    Colbourn, CJ
    Kreher, DL
    [J]. DESIGNS CODES AND CRYPTOGRAPHY, 1999, 16 (03) : 235 - 242
  • [10] The combinatorial design approach to automatic test generation
    Cohen, DM
    Dalal, SR
    Parelius, J
    Patton, GC
    [J]. IEEE SOFTWARE, 1996, 13 (05) : 83 - 88