Constructing Strength Three Covering Arrays with Augmented Annealing (Preprint)

Abstract

A covering array CA(N;t,k,v) is an N x k array such that every N x t sub-array contains all t-tuples from v symbols at least once, where t is the strength of the array. One application of these objects is to generate software test suites to cover all t-sets of component interactions. Methods for construction of covering arrays for software testing have focused on two main areas. The first is finding new algebraic and combinatorial constructions that produce smaller covering arrays. The second is refining computational search algorithms to find smaller covering arrays more quickly. In this paper, we examine some new cut-and-paste techniques for strength three covering arrays that combine recursive combinatorial constructions with computational search, augmented annealing. This method leverages the computational efficiency and optimality of size obtained through combinatorial constructions while benefiting from the generality of a heuristic search. We present a few examples of specific constructions and provide new bounds for some strength three covering arrays.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 27, 2003
Accession Number
ADA640598

Entities

People

  • Alan C. Ling
  • Charles J. Colbourn
  • Myra B. Cohen

Organizations

  • Arizona State University

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Algorithms
  • Annealing
  • Computations
  • Computer Science
  • Computers
  • Computing-Related Activities
  • Construction
  • Coverings
  • Engineering
  • Information Operations
  • Mathematics
  • New Zealand
  • Numbers
  • Permutations
  • Real Numbers
  • Software Development
  • Software Testing

Fields of Study

  • Mathematics

Readers

  • Graph Algorithms and Convex Optimization.
  • Operations Research
  • Phased Array Antenna Design.