2011 | OriginalPaper | Chapter
Optimal Shortening of Covering Arrays
Authors : Oscar Carrizales-Turrubiates, Nelson Rangel-Valdez, José Torres-Jiménez
Published in: Advances in Artificial Intelligence
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
A Covering Array (CA), denoted by
CA
(
N
;
t
,
k
,
v
), is a matrix of size
N
×
k
with entries from the set {0,1,2,...,
v
− 1}, where in each submatrix of size
N
×
t
appears each combination of symbols derived from
v
t
, at least once. The Covering Arrays (CAs) are combinatorial structures that have applications in software testing. This paper defines the Problem of Optimal Shortening of Covering ARrays (OSCAR), gives its NP-Completeness proof and presents an exact and a greedy algorithms to solve it. The OSCAR problem is an optimization problem that for a given matrix
M
consists in finding a submatrix
M
′ that is close to be a CA. An algorithm that solves the OSCAR problem has application as an initialization function of a metaheuristic algorithm that constructs CAs. Our algorithms were tested on a benchmark formed by 20 instances of the OSCAR problem, derived from 12 CAs taken from the scientific literature. From the solutions of the 20 instances of the OSCAR problem, 12 were transformed into CAs through a previously reported metaheuristic algorithm for the construction of CAs.