Dataset Information

Optimal shortening of uniform covering arrays.

ABSTRACT: Software test suites based on the concept of interaction testing are very useful for testing software components in an economical way. Test suites of this kind may be created using mathematical objects called covering arrays. A covering array, denoted by CA(N; t, k, v), is an N × k array over [Formula: see text] with the property that every N × t sub-array covers all t-tuples of [Formula: see text] at least once. Covering arrays can be used to test systems in which failures occur as a result of interactions among components or subsystems. They are often used in areas such as hardware Trojan detection, software testing, and network design. Because system testing is expensive, it is critical to reduce the amount of testing required. This paper addresses the Optimal Shortening of Covering ARrays (OSCAR) problem, an optimization problem whose objective is to construct, from an existing covering array matrix of uniform level, an array with dimensions of (N - ?) × (k - ?) such that the number of missing t-tuples is minimized. Two applications of the OSCAR problem are (a) to produce smaller covering arrays from larger ones and (b) to obtain quasi-covering arrays (covering arrays in which the number of missing t-tuples is small) to be used as input to a meta-heuristic algorithm that produces covering arrays. In addition, it is proven that the OSCAR problem is NP-complete, and twelve different algorithms are proposed to solve it. An experiment was performed on 62 problem instances, and the results demonstrate the effectiveness of solving the OSCAR problem to facilitate the construction of new covering arrays.

SUBMITTER: Torres-Jimenez J

PROVIDER: S-EPMC5739513 | biostudies-literature | 2017

REPOSITORIES: biostudies-literature

ACCESS DATA

Publications

Optimal shortening of uniform covering arrays.

Torres-Jimenez Jose J Rangel-Valdez Nelson N Avila-George Himer H Carrizalez-Turrubiates Oscar O

PloS one 20171221 12

Software test suites based on the concept of interaction testing are very useful for testing software components in an economical way. Test suites of this kind may be created using mathematical objects called covering arrays. A covering array, denoted by CA(N; t, k, v), is an N × k array over [Formula: see text] with the property that every N × t sub-array covers all t-tuples of [Formula: see text] at least once. Covering arrays can be used to test systems in which failures occur as a result of ...[more]

PMID: 29267343

Similar Datasets

Project description:Brain-implanted microelectrode arrays show promise as future clinical devices. However, biological responses to various designs, compositions and locations of these implants have not been fully characterized, and may impact the long-term functionality of these devices. In order to improve our understanding of the tissue conditions at the interface of chronic brain-implanted microdevices, we proposed utilizing advanced histology and microscopy techniques to image implanted devices and surrounding tissue intact within brain slices. We then proposed utilizing these methods to examine whether depth within the cerebral cortex affected tissue conditions around implants.Histological data was collected from rodent brain slices containing intact, intracortical microdevices four weeks after implantation surgery. Thick tissue sections containing the chronic implants were processed with fluorescent antibody labels, and imaged in an optical clearing solution using laser confocal microscopy.Tissue surrounding microdevices exhibited two major depth-related phenomena: a non-uniform microglial coating along the device length and a dense mass of cells surrounding the implant in cerebral cortical layers I and II. Detailed views of the monocyte-derived immune cells improve our understanding of the close and complex association that immune cells have with chronic brain implants, and illuminated a possible relationship between cortical depth and the intensity of a chronic monocyte response around penetrating microdevices. The dense mass of cells contained vimentin, a protein not typically expressed highly in CNS cells, evidence that non-CNS cells likely descended down the face of the penetrating devices from the pial surface.Image data of highly non-uniform and depth-dependent biological responses along a device provides novel insight into the complexity of the tissue response to penetrating brain-implanted microdevices. The presented work also demonstrates the value of in situ histological collection of brain implants for studying the complex tissue changes that occur, and the utility of pairing thick-tissue histology with appropriate optical clearing solutions.

Project description:The combination of metal-assisted chemical etching (MACE) with colloidal lithography has emerged as a simple and cost-effective approach to nanostructure silicon. It is especially efficient at synthesizing Si micro- and nanowire arrays using a catalytic metal mesh, which sinks into the silicon substrate during the etching process. The approach provides a precise control over the array geometry, without requiring expensive nanopatterning techniques. Although MACE is a high-throughput solution-based approach, achieving large-scale homogeneity can be challenging because of the instability of the metal catalyst when the experimental parameters are not set appropriately. Such instabilities can lead to metal film fracture, significantly damaging the substrate and thus compromising the nanowire array quality. Here, we report on the critical parameters that influence the stability of the metal catalyst layer for achieving large-scale homogeneous MACE: etchant composition, metal film thickness, adhesion layer thickness, nanowire diameter and pitch, metal film coverage, Si/Au/etchant interface length, and crystalline quality of the colloidal template (grain size and defects). Our results investigate the origin of the catalyst film fracture and reveal that MACE experiments should be optimized for each Si wire array geometry by keeping the etch rate below a certain threshold. We show that the Si/Au/etchant interface length also affects the etch rate and should thus be considered when optimizing the MACE experimental parameters. Finally, our results demonstrate that colloidal templates with small grain sizes (i.e., <100 μm2) can yield significant problems during the pattern transfer because of a high density of defects at the grain boundaries that negatively affects the metal film stability. As such, this work provides guidelines for the large-scale synthesis of Si micro- and nanowire arrays via MACE, relevant for both new and experienced researchers working with MACE.

Dataset Information

Optimal shortening of uniform covering arrays.

Publications

Optimal shortening of uniform covering arrays.

Similar Datasets

OmicsDI is part of the ELIXIR infrastructure

Tweets