A Semi-Random Construction of Small Covering Arrays
نویسندگان
چکیده
Given a set S of v ≥ 2 symbols, and integers k ≥ t ≥ 2 and N ≥ 1, an N × k array A ∈ SN×k is an (N ; t, k, v)-covering array if all sequences in S appear as rows in every N × t subarray of A. These arrays have a wide variety of applications, driving the search for small covering arrays. The covering array number, CAN(t, k, v), is the smallest N for which an (N ; t, k, v)-covering array exists. In this paper, we combine probabilistic and linear algebraic constructions to improve the upper bounds on CAN(t, k, v) by a factor of ln v, showing that for prime powers v, CAN(t, k, v) ≤ (1 + o(1)) ( (t− 1)v/(2 log2 v − log2(v + 1)) ) log2 k, which also offers improvements for large v that are not prime powers. Our main tool, which may be of independent interest, is a construction of an array with v rows that covers the maximum possible number of subsets of size t.
منابع مشابه
Profiles of covering arrays of strength two
Covering arrays of strength two have been widely studied as combinatorial models of software interaction test suites for pairwise testing. While numerous algorithmic techniques have been developed for the generation of covering arrays with few columns (factors), the construction of covering arrays with many factors and few tests by these techniques is problematic. Random generation techniques c...
متن کاملA random construction for permutation codes and the covering radius
Weanalyse a probabilistic argument that gives a semi-random construction for a permutation code on n symbols with distance n− s and size (s!(log n)1/2), and a bound on the covering radius for sets of permutations in terms of a certain frequency parameter.
متن کاملCovering arrays from cyclotomy
For a prime power q ≡ 1 (mod v), the q × q cyclotomic matrix, whose entries are the discrete logarithmsmodulo v of the entries in the addition table of Fq , has been shown using character theoretic arguments to produce an ε-biased array, provided that q is large enough as a function of v and ε. A suitable choice of ε ensures that the array is a covering array of strength t when q > t2v4t . On t...
متن کاملProfiles of covering arrays of strength two
ARTICLE INFO Covering arrays of strength two have been widely studied as combinatorial models of software interaction test suites for pairwise testing. While numerous algorithmic techniques have been developed for the generation of covering arrays with few columns (factors), the construction of covering arrays with many factors and few tests by these techniques is problematic. Random generation...
متن کاملImproving Two Recursive Constructions for Covering Arrays
Recursive constructions for covering arrays employ small ingredient covering arrays to build large ones. At present the most effective methods are “cut–and–paste” (or Roux-type) and column replacement techniques. Both can introduce substantial duplication of coverage; if unnecessary duplication can be avoided then the recursion can yield a smaller array. Two extensions of covering arrays are in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1703.05252 شماره
صفحات -
تاریخ انتشار 2017