Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

UV optical absorption spectra analysis of beryl crystals from Brazil

The spectral decomposition analysis was applied to the optical absorption spectra of green and colorless beryl crystals from the Brazilian Eastern Pegmatitic province in the natural state, Submitted to heat treatment and irradiated with UV light The attributions of the lines were made taking into account highly accurate quantum mechanical calculations The deconvolution of the green beryl spectra revealed four lines, two of them around 12,000 cm(-1) (1 5eV) and two of them around 34,000 cm(-1) (4.2 eV) attributed to Fe(2+) and Fe(3+), respectively The deconvolution of the colorless beryl spectra without any treatment, after heating and for the same heat treatment followed by UV light irradiation revealed five lines The analysis of ratio relations showed that the lines at 36,400 cm(-1) (4.5 eV) and 41,400 cm(-1) (5 1 eV) belongs to a single defect attributed to a silicon dangling bond defect (=Si). Discussions and comparison with reported defects in quartz have supported the allocation of the lines at 61,000 cm(-1) (7.6 eV) and 43,800 cm(-1) (5 4 eV) to diamagnetic oxygen vacancy defect ( Si-Si ) and unrelaxed ( Si Si ) defect, respectively Finally, the line at 39.100 cm(-1) (4.8 eV), quite polarized along the c-axis, was attributed to a (Fe(2+) OH(-)) defect in the structural channels (C) 2009 Elsevier B V All rights reserved

Pharmacophore-based 3D QSAR studies on a series of high affinity 5-HT(1A) receptor ligands

5-HT(1A) receptor antagonists have been employed to treat depression, but the lack of structural information on this receptor hampers the design of specific and selective ligands. In this study, we have performed CoMFA studies on a training set of arylpiperazines (high affinity 5-HT(1A) receptor ligands) and to produce an effective alignment of the data set, a pharmacophore model was produced using Galahad. A statistically significant model was obtained, indicating a good internal consistency and predictive ability for untested compounds. The information gathered from our receptor-independent pharmacophore hypothesis is in good agreement with results from independent studies using different approaches. Therefore, this work provides important insights on the chemical and structural basis involved in the molecular recognition of these compounds. (C) 2010 Elsevier Masson SAS. All rights reserved.

Multiple stages of detergent-erythrocyte membrane interaction-A spin label study

The various stages of the interaction between the detergent Triton X-100 (TTX-100) and membranes of whole red blood cells (RBC) were investigated in a broad range of detergent concentrations. The interaction was monitored by RBC hemolysis-assessed by release of intracellular hemoglobin (Hb) and inorganic phosphate- and by analysis of EPR spectra of a fatty acid spin probe intercalated in whole RBC suspensions, as well as pellets and supernatants obtained upon centrifugation of detergent-treated cells. Hemolysis finished at ca. 0.9 mM TTX-100. Spectral analysis and calculation of order parameters (S) indicated that a complex sequence of events takes place, and allowed the characterization of various structures formed in the different stages of detergent-membrane interaction. Upon reaching the end of cell lysis, essentially no pellet was detected, the remaining EPR signal being found almost entirely in the supernatants. Calculated order parameters revealed that whole RBC suspensions, pellets, and supernatants possessed a similar degree of molecular packing, which decreased to a small extent up to 2.5 mM detergent. Between 3.2 and 10 mM TTX-100, a steep decrease in S was observed for both whole RBC suspensions and supernatants. Above 10 mM detergent, S decreased in a less pronounced manner and the EPR spectra approached that of pure TTX-100 micelles. The data were interpreted in terms of the following events: at the lower detergent concentrations, an increase in membrane permeability occurs: the end of hemolysis coincides with the lack of pellet upon centrifugation. Up to 2.5 mM TTX-100 the supernatants consist of a (very likely) heterogeneous population of membrane fragments with molecular packing similar to that of whole cells. As the detergent concentration increases, mixed micelles are formed containing lipid and/or protein, approaching the packing found in pure TTX-100 micelles. This analysis is in agreement with the models proposed by Lasch (Biochim. Biophys Acta 1241 (1995) 269-292) and by Le Maire and coworkers (Biochim. Biophys. Acta 1508 (2000) 86-111). (C) 2010 Elsevier B.V. All rights reserved.