Effectiveness for detecting faults within and outside the scope of testing techniques: an independent replication

The verification and validation activity plays a fundamental role in improving software quality. Determining which the most effective techniques for carrying out this activity are has been an aspiration of experimental software engineering researchers for years. This paper reports a controlled experiment evaluating the effectiveness of two unit testing techniques (the functional testing technique known as equivalence partitioning (EP) and the control-flow structural testing technique known as branch testing (BT)). This experiment is a literal replication of Juristo et al. (2013).Both experiments serve the purpose of determining whether the effectiveness of BT and EP varies depending on whether or not the faults are visible for the technique (InScope or OutScope, respectively). We have used the materials, design and procedures of the original experiment, but in order to adapt the experiment to the context we have: (1) reduced the number of studied techniques from 3 to 2; (2) assigned subjects to experimental groups by means of stratified randomization to balance the influence of programming experience; (3) localized the experimental materials and (4) adapted the training duration. We ran the replication at the Escuela Politécnica del Ejército Sede Latacunga (ESPEL) as part of a software verification & validation course. The experimental subjects were 23 master?s degree students. EP is more effective than BT at detecting InScope faults. The session/program andgroup variables are found to have significant effects. BT is more effective than EP at detecting OutScope faults. The session/program and group variables have no effect in this case. The results of the replication and the original experiment are similar with respect to testing techniques. There are some inconsistencies with respect to the group factor. They can be explained by small sample effects. The results for the session/program factor are inconsistent for InScope faults.We believe that these differences are due to a combination of the fatigue effect and a technique x program interaction. Although we were able to reproduce the main effects, the changes to the design of the original experiment make it impossible to identify the causes of the discrepancies for sure. We believe that further replications closely resembling the original experiment should be conducted to improve our understanding of the phenomena under study

Vacuum phototriodes for the CMS electromagnetic calorimeter endcap

The measurement of scintillation light from the lead tungstate crystals of the Compact Muon Solenoid (CMS) electromagnetic calorimeter (ECAL) poses a substantial technical challenge, particularly in the endcap regions, where the radiation levels are highest. The photodetectors must be fast, sensitive, radiationhard, and operate with significant internal gain in a magnetic field of 4 Tesla. The measured performance characteristics of the first batches of series production vacuum phototriodes (VPT), developed to satisfy the needs of CMS, will be described

Genetic Algorithm with Optimal Recombination for the Asymmetric Travelling Salesman Problem

We propose a new genetic algorithm with optimal recombination for the asymmetric instances of travelling salesman problem. The algorithm incorporates several new features that contribute to its effectiveness: (i) Optimal recombination problem is solved within crossover operator. (ii) A new mutation operator performs a random jump within 3-opt or 4-opt neighborhood. (iii) Greedy constructive heuristic of W.Zhang and 3-opt local search heuristic are used to generate the initial population. A computational experiment on TSPLIB instances shows that the proposed algorithm yields competitive results to other well-known memetic algorithms for asymmetric travelling salesman problem.Comment: Proc. of The 11th International Conference on Large-Scale Scientific Computations (LSSC-17), June 5 - 9, 2017, Sozopol, Bulgari

Inclusion of genetically identical animals to a numerator relationship matrix and modification of its inverse

In the field of animal breeding, estimation of genetic parameters and prediction of breeding values are routinely conducted by analyzing quantitative traits. Using an animal model and including the direct inverse of a numerator relationship matrix (NRM) into a mixed model has made these analyses possible. However, a method including a genetically identical animal (GIA) in NRM if genetic relationships between pairs of GIAs are not perfect, is still lacking. Here, we describe a method to incorporate GIAs into NRM using a K matrix in which diagonal elements are set to 1.0, off-diagonal elements between pairs of GIAs to (1-x) and the other elements to 0, where x is a constant less than 0.05. The inverse of the K matrix is then calculated directly by a simple formula. Thus, the inverse of the NRM is calculated by the products of the lower triangular matrix that identifies the parents of each individual, its transpose matrix, the inverse of the K matrix and the inverse of diagonal matrix D, in which the diagonal elements comprise a number of known parents and their inbreeding coefficients. The computing method is adaptable to the analysis of a data set including pairs of GIAs with imperfect relationships

Sequential Vaccination With Heterologous Acinetobacter baumannii Strains Induces Broadly Reactive Antibody Responses

Antibody therapy may be an alternative treatment option for infections caused by the multi-drug resistant (MDR) bacterium Acinetobacter baumannii. As A. baumannii has multiple capsular serotypes, a universal antibody therapy would need to target conserved protein antigens rather than the capsular polysaccharides. We have immunized mice with single or multiple A. baumannii strains to induce antibody responses to protein antigens, and then assessed whether these responses provide cross-protection against a collection of genetically diverse clinical A. baumannii isolates. Immunized mice developed antibody responses to multiple protein antigens. Flow cytometry IgG binding assays and immunoblots demonstrated improved recognition of both homologous and heterologous clinical strains in sera from mice immunized with multiple strains compared to a single strain. The capsule partially inhibited bacterial recognition by IgG and the promotion of phagocytosis by human neutrophils. However, after immunization with multiple strains, serum antibodies to protein antigens promoted neutrophil phagocytosis of heterologous A. baumannii strains. In an infection model, mice immunized with multiple strains had lower bacterial counts in the spleen and liver following challenge with a heterologous strain. These data demonstrate that antibodies targeting protein antigens can improve immune recognition and protection against diverse A. baumannii strains, providing support for their use as an antibody therapy

A lifetime’s adventure in extracellular K+ regulation: the Scottish connection

In a career that has spanned 45 years and shows no signs of slowing down, Dr Bruce Ransom has devoted considerable time and energy to studying regulation of interstitial K+. When Bruce commenced his studies in 1969 virtually nothing was known of the functions of glial cells, but Bruce’s research contributed to the physiological assignation of function to mammalian astrocytes, namely interstitial K+ buffering. The experiments that I describe in this review concern the response of the membrane potential (Em) of in vivo cat cortical astrocytes to changes in [K+]o, an experimental manoeuvre that was achieved in two different ways. The first involved recording the Em of an astrocyte while the initial aCSF was switched to one with different K+, whereas in the second series of experiments the cortex was stimulated and the response of the astrocyte Em to the K+ released from neighbouring neurons was recorded. The astrocytes responded in a qualitatively predictable manner, but quantitatively the changes were not as predicted by the Nernst equation. Elevations in interstitial K+ are not sustained and K+ returns to baseline rapidly due to the buffering capacity of astrocytes, a phenomenon studied by Bruce, and his son Chris, published 27 years after Bruce’s initial publications. Thus, a lifetime spent investigating K+ buffering has seen enormous advances in glial research, from the time cells were identified as ‘presumed’ glial cells or ‘silent cells’, to the present day, where glial cells are recognised as contributing to every important physiological brain function

Ross-Konno and Endocardial Fibroelastosis Resection After Hybrid Stage I Palliation in Infancy: Successful Staged Left-Ventricular Rehabilitation and Conversion to Biventricular Circulation After Fetal Diagnosis of Aortic Stenosis

We report a patient who presented during fetal life with severe aortic stenosis, left-ventricular dysfunction, and endocardial fibroelastosis (evolving hypoplastic left heart syndrome). Management involved in utero and postnatal balloon aortic valvuloplasty for partial relief of obstruction and early postnatal hybrid stage I palliation until recovery of left-ventricular systolic function had occurred. The infant subsequently had successful conversion to a biventricular circulation by combining resection of endocardial fibroelastosis with single-stage Ross-Konno, aortic arch reconstruction, hybrid takedown, and pulmonary artery reconstruction

Infant feeding bottle design, growth and behaviour: results from a randomised trial

BACKGROUND: Whether the design of an anti-vacuum infant feeding bottle influences infant milk intake, growth or behavior is unknown, and was the subject of this randomized trial. METHODS: SUBJECTS: 63 (36 male) healthy, exclusively formula-fed term infants. INTERVENTION: Randomisation to use Bottle A (n = 31), one-way air valve: Philips Avent) versus Bottle B (n = 32), internal venting system: Dr Browns). 74 breast-fed reference infants were recruited, with randomisation (n = 24) to bottle A (n = 11) or B (n = 13) if bottle-feeding was subsequently introduced. Randomisation: stratified by gender and parity; computer-based telephone randomisation by independent clinical trials unit. SETTING: Infant home. PRIMARY OUTCOME MEASURE: infant weight gain to 4 weeks. SECONDARY OUTCOMES: (i) milk intake (ii) infant behaviour measured at 2 weeks (validated 3-day diary); (iii) risk of infection; (iv) continuation of breastfeeding following introduction of mixed feeding. RESULTS: Number analysed for primary outcome: Bottle A n = 29, Bottle B n = 25. PRIMARY OUTCOME: There was no significant difference in weight gain between randomised groups (0-4 weeks Bottle A 0.74 (SD 1.2) SDS versus bottle B 0.51 (0.39), mean difference 0.23 (95% CI -0.31 to 0.77). SECONDARY OUTCOMES: Infants using bottle A had significantly less reported fussing (mean 46 versus 74 minutes/day, p < 0.05) than those using bottle B. There was no significant difference in any other outcome measure. Breast-fed reference group: There were no significant differences in primary or secondary outcomes between breast-fed and formula fed infants. The likelyhood of breastfeeding at 3 months was not significantly different in infants subsequently randomised to bottle A or B. CONCLUSION: Bottle design may have short-term effects on infant behaviour which merit further investigation. No significant effects were seen on milk intake or growth; confidence in these findings is limited by the small sample size and this needs confirmation in a larger study. TRIAL REGISTRATION: Clinical Trials.gov NCT00325208