A Semi-Random Construction of Small Covering Arrays

نویسندگان

  • Shagnik Das
  • Tamás Mészáros
چکیده

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.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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