## Abstract A __covering array__ __CA__(__N__;__t__,__k__, __v__ is an __N__βΓβ__k__ array such that every __N__βΓβ__t__ subarray contains all __t__βtuples from __v__ symbols __at least__ once, where __t__ is the __strength__ of the array. Covering arrays are used to generate software test suites t
Group construction of covering arrays
β Scribed by Karen Meagher; Brett Stevens
- Publisher
- John Wiley and Sons
- Year
- 2004
- Tongue
- English
- Weight
- 112 KB
- Volume
- 13
- Category
- Article
- ISSN
- 1063-8539
No coin nor oath required. For personal study only.
β¦ Synopsis
Abstract
A covering array tβCA (n, k, g) is a kβΓβn array on a set of g symbols with the property that in each tβΓβn subarray, every tβΓβ1 column appears at least once. This paper improves many of the best known upper bounds on n for covering arrays, 2βCA (n, k, g) with gβ+β1ββ€βkββ€β2__g__, for gβ=β3βΒ·βΒ·βΒ·β12 by a construction which in many of these cases produces a 2βCA (n, k, g) with nβ=βk (gβββ1)β+β1. The construction is an extension of an algebraic method used by Chateauneuf, Colbourn, and Kreher which uses an array and a group action on the array. Β© 2004 Wiley Periodicals, Inc. J Combin Designs 13: 70β77, 2005.
π SIMILAR VOLUMES
## Abstract A __covering array__ of __size__ __N__, __strength__ __t__, __degree k__, and __order__ Ο is a __kβΓβN__ array on Ο symbols in which every __tβΓβN__ subarray contains every possible __t__βΓβ1 column at least once. We present explicit constructions, constructive upper bounds on the size
## Abstract A __covering array__ __CA(N;t,k,v)__ is an __NβΓβk__ array such that every __NβΓβt__ subβarray contains all __t__βtuples from __v__ symbols __at least__ once, where __t__ is the __strength__ of the array. Covering arrays are used to generate software test suites to cover all __t__βsets
For a large class of finite Cayley graphs we construct covering graphs whose automorphism groups coincide with the groups of lifted automorphisms. As an application we present new examples of 1Γ2-transitive and 1-regular graphs.
In this paper we deal with the symmetry group S f of a boolean function f on n-variables, that is, the set of all permutations on n elements which leave f invariant. The main problem is that of concrete representation: which permutation Ε½ . groups on n elements can be represented as G s S f for some