Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:
| Indexado |
|
||||
| DOI | 10.1016/J.TCS.2019.10.022 | ||||
| Año | 2019 | ||||
| Tipo | artículo de investigación |
Citas Totales
Autores Afiliación Chile
Instituciones Chile
% Participación
Internacional
Autores
Afiliación Extranjera
Instituciones
Extranjeras
Covering arrays are generalizations of orthogonal arrays that have been widely studied and are used in software testing. The probabilistic method has been employed to derive upper bounds on the sizes of minimum covering arrays and give asymptotic upper bounds that are logarithmic on the number of columns of the array. This corresponds to test suites with a desired level of coverage of the parameter space where we guarantee the number of test cases is logarithmic on the number of parameters of the system. In this paper, we study variable strength covering arrays, a generalization of covering arrays that uses a hypergraph to specify the sets of columns where coverage is required; (standard) covering arrays are the special case where coverage is required for all sets of columns of a fixed size t, its strength. We use the probabilistic method to obtain upper bounds on the number of rows of a variable strength covering array, given in terms of parameters of the hypergraph. We then compare this upper bound with another one given by a density-based greedy algorithm on different types of hypergraph such as t-designs, cyclic consecutive hypergraphs, planar triangulation hypergraphs, and a more specific hypergraph given by a clique of higher strength on top of a "base strength". The conclusions are dependent on the class of hypergraph, and we discuss specific characteristics of the hypergraphs which are more amenable to using different versions of the Lovasz local lemma. (C) 2019 Elsevier B.V. All rights reserved.
| Ord. | Autor | Género | Institución - País |
|---|---|---|---|
| 1 | Moura, Lucia | Mujer |
Univ Ottawa - Canadá
University of Ottawa, Canada - Canadá University of Ottawa - Canadá |
| 2 | Raaphorst, Sebastian | Hombre |
Observatorio Gemini - Chile
Gemini ObservatorySouthern Operations Center - Chile |
| 3 | Stevens, Brett | Hombre |
CARLETON UNIV - Canadá
Carleton University - Canadá |
| Fuente |
|---|
| Natural Sciences and Engineering Research Council of Canada |
| NSERC-Canada Discovery grant |
| NSERC-Canada |
| Agradecimiento |
|---|
| Lucia Moura was supported by NSERC-Canada Discovery grant RGPIN-2017-05212 and Brett Stevens was supported by NSERC-Canada Discovery grant RGP1N-2017-06392. The authors would like to thank the anonymous reviewers for various suggestions that improved the presentation of this paper. |
| Lucia Moura was supported by NSERC -Canada Discovery grant RGPIN-2017-05212 and Brett Stevens was supported by NSERC -Canada Discovery grant RGPIN-2017-06392 . The authors would like to thank the anonymous reviewers for various suggestions that improved the presentation of this paper. |