Effectiveness for Ddtecting 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.

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 Polite?cnica del Eje?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 and group 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.

Replication types: towards a shared taxonomy

Context: The software engineering community is becoming more aware of the need for experimental replications. In spite of the importance of this topic, there is still much inconsistency in the terminology used to describe replications. Objective: Understand the perspectives of empirical researchers about various terms used to characterize replications and propose a consistent taxonomy of terms. Method: A survey followed by plenary discussion during the 2013 International Software Engineering Research Network meeting. Results: We propose a taxonomy which consolidates the disparate terminology. This taxonomy had a high level of agreement among workshop attendees. Conclusion: Consistent terminology is important for any field to progress. This work is the first step in that direction. Additional study and discussion is still necessary.

A systematic mapping study on testing technique experiments: has the situation changed since 2000?

Context: Empirical Software Engineering (ESE) replication researchers need to store and manipulate experimental data for several purposes, in particular analysis and reporting. Current research needs call for sharing and preservation of experimental data as well. In a previous work, we analyzed Replication Data Management (RDM) needs. A novel concept, called Experimental Ecosystem, was proposed to solve current deficiencies in RDM approaches. The empirical ecosystem provides replication researchers with a common framework that integrates transparently local heterogeneous data sources. A typical situation where the Empirical Ecosystem is applicable, is when several members of a research group, or several research groups collaborating together, need to share and access each other experimental results. However, to be able to apply the Empirical Ecosystem concept and deliver all promised benefits, it is necessary to analyze the software architectures and tools that can properly support it.

Comparison of Architectures and Performance of Database Replication Systems

One of the most demanding needs in cloud computing and big data is that of having scalable and highly available databases. One of the ways to attend these needs is to leverage the scalable replication techniques developed in the last decade. These techniques allow increasing both the availability and scalability of databases. Many replication protocols have been proposed during the last decade. The main research challenge was how to scale under the eager replication model, the one that provides consistency across replicas. This thesis provides an in depth study of three eager database replication systems based on relational systems: Middle-R, C-JDBC and MySQL Cluster and three systems based on In-Memory Data Grids: JBoss Data Grid, Oracle Coherence and Terracotta Ehcache. Thesis explore these systems based on their architecture, replication protocols, fault tolerance and various other functionalities. It also provides experimental analysis of these systems using state-of-the art benchmarks: TPC-C and TPC-W (for relational systems) and Yahoo! Cloud Serving Benchmark (In- Memory Data Grids). Thesis also discusses three Graph Databases, Neo4j, Titan and Sparksee based on their architecture and transactional capabilities and highlights the weaker transactional consistencies provided by these systems. It discusses an implementation of snapshot isolation in Neo4j graph database to provide stronger isolation guarantees for transactions.

BAC-VAC, a novel generation of (DNA) vaccines: A bacterial artificial chromosome (BAC) containing a replication-competent, packaging-defective virus genome induces protective immunity against herpes simplex virus 1

This study aimed to exploit bacterial artificial chromosomes (BAC) as large antigen-capacity DNA vaccines (BAC-VAC) against complex pathogens, such as herpes simplex virus 1 (HSV-1). The 152-kbp HSV-1 genome recently has been cloned as an F-plasmid-based BAC in Escherichia coli (fHSV), which can efficiently produce infectious virus progeny upon transfection into mammalian cells. A safe modification of fHSV, fHSVΔpac, does not give rise to progeny virus because the signals necessary to package DNA into virions have been excluded. However, in mammalian cells fHSVΔpac DNA can still replicate, express the HSV-1 genes, cause cytotoxic effects, and produce virus-like particles. Because these functions mimic the lytic cycle of the HSV-1 infection, fHSVΔpac was expected to stimulate the immune system as efficiently as a modified live virus vaccine. To test this hypothesis, mice were immunized with fHSVΔpac DNA applied intradermally by gold-particle bombardment, and the immune responses were compared with those induced by infection with disabled infectious single cycle HSV-1. Immunization with either fHSVΔpac or disabled infectious single cycle HSV-1 induced the priming of HSV-1-specific cytotoxic T cells and the production of virus-specific antibodies and conferred protection against intracerebral injection of wild-type HSV-1 at a dose of 200 LD50. Protection probably was cell-mediated, as transfer of serum from immunized mice did not protect naive animals. We conclude that BAC-VACs per se, or in combination with genetic elements that support replicative amplification of the DNA in the cell nucleus, represent a useful new generation of DNA-based vaccination strategies for many viral and nonviral antigens.

Lysis of HIV-1-infected cells and inhibition of viral replication by universal receptor T cells

Increasing evidence suggests that HIV-1-specific cytotoxic T lymphocytes (CTLs) are a key host immune response to HIV-1 infection. Generation of CTL responses for prevention or therapy of HIV-1 infection has several intrinsic technical barriers such as antigen expression and presentation, the varying HLA restrictions between different individuals, and the potential for viral escape by sequence variation or surface molecule alteration on infected cells. A strategy to circumvent these limitations is the construction of a chimeric T cell receptor containing human CD4 or HIV-1-specific Ig sequences linked to the signaling domain of the T cell receptor ζ chain (universal T cell receptor). CD8+ CTLs transduced with this universal receptor can then bind and lyse infected cells that express surface HIV-1 gp120. We evaluated the ability of universal-receptor-bearing CD8+ cells from a seronegative donor to lyse acutely infected cells and inhibit HIV-1 replication in vitro. The kinetics of lysis and efficiency of inhibition were comparable to that of naturally occurring HIV-1-specific CTL clones isolated from infected individuals. Further study will be required to determine the utility of these cells as a therapeutic strategy in vivo.

Cyclin A activates the DNA polymerase δ-dependent elongation machinery in vitro: A parvovirus DNA replication model

Replication of the single-stranded linear DNA genome of parvovirus minute virus of mice (MVM) starts with complementary strand synthesis from the 3′-terminal snap-back telomere, which serves as a primer for the formation of double-stranded replicative form (RF) DNA. This DNA elongation reaction, designated conversion, is exclusively dependent on cellular factors. In cell extracts, we found that complementary strand synthesis was inhibited by the cyclin-dependent kinase inhibitor p21WAF1/CIP1 and rescued by the addition of proliferating cell nuclear antigen, arguing for the involvement of DNA polymerase (Pol) δ in the conversion reaction. In vivo time course analyses using synchronized MVM-infected A9 cells allowed initial detection of MVM RF DNA at the G1/S phase transition, coinciding with the onset of cyclin A expression and cyclin A-associated kinase activity. Under in vitro conditions, formation of RF DNA was efficiently supported by A9 S cell extracts, but only marginally by G1 cell extracts. Addition of recombinant cyclin A stimulated DNA conversion in G1 cell extracts, and correlated with a concomitant increase in cyclin A-associated kinase activity. Conversely, a specific antibody neutralizing cyclin A-dependent kinase activity, abolished the capacity of S cell extracts for DNA conversion. We found no evidence for the involvement of cyclin E in the regulation of the conversion reaction. We conclude that cyclin A is necessary for activation of complementary strand synthesis, which we propose as a model reaction to study the cell cycle regulation of the Pol δ-dependent elongation machinery.

Treatment of Mycobacterium tuberculosis with antisense oligonucleotides to glutamine synthetase mRNA inhibits glutamine synthetase activity, formation of the poly-l-glutamate/glutamine cell wall structure, and bacterial replication

New antibiotics to combat the emerging pandemic of drug-resistant strains of Mycobacterium tuberculosis are urgently needed. We have investigated the effects on M. tuberculosis of phosphorothioate-modified antisense oligodeoxyribonucleotides (PS-ODNs) against the mRNA of glutamine synthetase, an enzyme whose export is associated with pathogenicity and with the formation of a poly-l-glutamate/glutamine cell wall structure. Treatment of virulent M. tuberculosis with 10 μM antisense PS-ODNs reduced glutamine synthetase activity and expression by 25–50% depending on whether one, two, or three different PS-ODNs were used and the PS-ODNs' specific target sites on the mRNA. Treatment with PS-ODNs of a recombinant strain of Mycobacterium smegmatis expressing M. tuberculosis glutamine synthetase selectively inhibited the recombinant enzyme but not the endogenous enzyme for which the mRNA transcript was mismatched by 2–4 nt. Treatment of M. tuberculosis with the antisense PS-ODNs also reduced the amount of poly-l-glutamate/glutamine in the cell wall by 24%. Finally, treatment with antisense PS-ODNs reduced M. tuberculosis growth by 0.7 logs (1 PS-ODN) to 1.25 logs (3 PS-ODNs) but had no effect on the growth of M. smegmatis, which does not export glutamine synthetase nor possess the poly-l-glutamate/glutamine (P-l-glx) cell wall structure. The experiments indicate that the antisense PS-ODNs enter the cytoplasm of M. tuberculosis and bind to their cognate targets. Although more potent ODN technology is needed, this study demonstrates the feasibility of using antisense ODNs in the antibiotic armamentarium against M. tuberculosis.

Importance of replication in microarray gene expression studies: Statistical methods and evidence from repetitive cDNA hybridizations

We present statistical methods for analyzing replicated cDNA microarray expression data and report the results of a controlled experiment. The study was conducted to investigate inherent variability in gene expression data and the extent to which replication in an experiment produces more consistent and reliable findings. We introduce a statistical model to describe the probability that mRNA is contained in the target sample tissue, converted to probe, and ultimately detected on the slide. We also introduce a method to analyze the combined data from all replicates. Of the 288 genes considered in this controlled experiment, 32 would be expected to produce strong hybridization signals because of the known presence of repetitive sequences within them. Results based on individual replicates, however, show that there are 55, 36, and 58 highly expressed genes in replicates 1, 2, and 3, respectively. On the other hand, an analysis by using the combined data from all 3 replicates reveals that only 2 of the 288 genes are incorrectly classified as expressed. Our experiment shows that any single microarray output is subject to substantial variability. By pooling data from replicates, we can provide a more reliable analysis of gene expression data. Therefore, we conclude that designing experiments with replications will greatly reduce misclassification rates. We recommend that at least three replicates be used in designing experiments by using cDNA microarrays, particularly when gene expression data from single specimens are being analyzed.

Lagging strand replication of rolling-circle plasmids: Specific recognition of the ssoA-type origins in different gram-positive bacteria

Many bacterial plasmids replicate by a rolling-circle mechanism that involves the generation of single-stranded DNA (ssDNA) intermediates. Replication of the lagging strand of such plasmids initiates from their single strand origin (sso). Many different types of ssos have been identified. One group of ssos, termed ssoA, which have conserved sequence and structural features, function efficiently only in their natural hosts in vivo. To study the host specificity of sso sequences, we have analyzed the functions of two closely related ssoAs belonging to the staphylococcal plasmid pE194 and the streptococcal plasmid pLS1 in Staphylococcus aureus. The pLS1 ssoA functioned poorly in vivo in S. aureus as evidenced by accumulation of high levels of ssDNA but supported efficient replication in vitro in staphylococcal extracts. These results suggest that one or more host factors that are present in sufficient quantities in S. aureus cell-free extracts may be limiting in vivo. Mapping of the initiation points of lagging strand synthesis in vivo and in vitro showed that DNA synthesis initiates from specific sites within the pLS1 ssoA. These results demonstrate that specific initiation of replication can occur from the pLS1 ssoA in S. aureus although it plays a minimal role in lagging strand synthesis in vivo. Therefore, the poor functionality of the pLS1 in vivo in a nonnative host is caused by the low efficiency rather than a lack of specificity of the initiation process. We also have identified ssDNA promoters and mapped the primer RNAs synthesized by the S. aureus and Bacillus subtilis RNA polymerases from the pE194 and pLS1 ssoAs. The S. aureus RNA polymerase bound more efficiently to the native pE194 ssoA as compared with the pLS1 ssoA, suggesting that the strength of RNA polymerase–ssoA interaction may play a major role in the functionality of the ssoA sequences in Gram-positive bacteria.

Yeast mutations in multiple complementation groups inhibit brome mosaic virus RNA replication and transcription and perturb regulated expression of the viral polymerase-like gene

Brome mosaic virus (BMV), a member of the alphavirus-like superfamily of positive-strand RNA viruses, encodes two proteins, 1a and 2a, that interact with each other, with unidentified host proteins, and with host membranes to form the viral RNA replication complex. Yeast expressing 1a and 2a support replication and subgenomic mRNA synthesis by BMV RNA3 derivatives. Using a multistep selection and screening process, we have isolated yeast mutants in multiple complementation groups that inhibit BMV-directed gene expression. Three complementation groups, represented by mutants mab1–1, mab2–1, and mab3–1 (for maintenance of BMV functions), were selected for initial study. Each of these mutants has a single, recessive, chromosomal mutation that inhibits accumulation of positive- and negative-strand RNA3 and subgenomic mRNA. BMV-directed gene expression was inhibited when the RNA replication template was introduced by in vivo transcription from DNA or by transfection of yeast with in vitro transcripts, confirming that cytoplasmic RNA replication steps were defective. mab1–1, mab2–1, and mab3–1 slowed yeast growth to varying degrees and were temperature-sensitive, showing that the affected genes contribute to normal cell growth. In wild-type yeast, expression of the helicase-like 1a protein increased the accumulation of 2a mRNA and the polymerase-like 2a protein, revealing a new level of viral regulation. In association with their other effects, mab1–1 and mab2–1 blocked the ability of 1a to stimulate 2a mRNA and protein accumulation, whereas mab3–1 had elevated 2a protein accumulation. Together, these results show that BMV RNA replication in yeast depends on multiple host genes, some of which directly or indirectly affect the regulated expression and accumulation of 2a.

Multiple sites of replication initiation in the human β-globin gene locus

The cell cycle-dependent, ordered assembly of protein prereplicative complexes suggests that eukaryotic replication origins determine when genomic replication initiates. By comparison, the factors that determine where replication initiates relative to the sites of prereplicative complex formation are not known. In the human globin gene locus previous work showed that replication initiates at a single site 5′ to the β-globin gene when protein synthesis is inhibited by emetine. The present study has examined the pattern of initiation around the genetically defined β-globin replicator in logarithmically growing HeLa cells, using two PCR-based nascent strand assays. In contrast to the pattern of initiation detected in emetine-treated cells, analysis of the short nascent strands at five positions spanning a 40 kb globin gene region shows that replication initiates at more than one site in non-drug-treated cells. Quantitation of nascent DNA chains confirmed that replication begins at several locations in this domain, including one near the initiation region (IR) identified in emetine-treated cells. However, the abundance of short nascent strands at another initiation site ∼20 kb upstream is ∼4-fold as great as that at the IR. The latter site abuts an early S phase replicating fragment previously defined at low resolution in logarithmically dividing cells.

Directed evolution of polymerase function by compartmentalized self-replication

We describe compartmentalized self-replication (CSR), a strategy for the directed evolution of enzymes, especially polymerases. CSR is based on a simple feedback loop consisting of a polymerase that replicates only its own encoding gene. Compartmentalization serves to isolate individual self-replication reactions from each other. In such a system, adaptive gains directly (and proportionally) translate into genetic amplification of the encoding gene. CSR has applications in the evolution of polymerases with novel and useful properties. By using three cycles of CSR, we obtained variants of Taq DNA polymerase with 11-fold higher thermostability than the wild-type enzyme or with a >130-fold increased resistance to the potent inhibitor heparin. Insertion of an extra stage into the CSR cycle before the polymerase reaction allows its application to enzymes other than polymerases. We show that nucleoside diphosphate kinase and Taq polymerase can form such a cooperative CSR cycle based on reciprocal catalysis, whereby nucleoside diphosphate kinase produces the substrates required for the replication of its own gene. We also find that in CSR the polymerase genes themselves evolve toward more efficient replication. Thus, polymerase genes and their encoded polypeptides cooperate to maximize postselection copy number. CSR should prove useful for the directed evolution of enzymes, particularly DNA or RNA polymerases, as well as for the design and study of in vitro self-replicating systems mimicking prebiotic evolution and viral replication.

Mitochondrial Single-stranded DNA-binding Protein Is Required for Mitochondrial DNA Replication and Development in Drosophila melanogaster

The discovery that several inherited human diseases are caused by mtDNA depletion has led to an increased interest in the replication and maintenance of mtDNA. We have isolated a new mutant in the lopo (low power) gene from Drosophila melanogaster affecting the mitochondrial single-stranded DNA-binding protein (mtSSB), which is one of the key components in mtDNA replication and maintenance. lopo1 mutants die late in the third instar before completion of metamorphosis because of a failure in cell proliferation. Molecular, histochemical, and physiological experiments show a drastic decrease in mtDNA content that is coupled with the loss of respiration in these mutants. However, the number and morphology of mitochondria are not greatly affected. Immunocytochemical analysis shows that mtSSB is expressed in all tissues but is highly enriched in proliferating tissues and in the developing oocyte. lopo1 is the first mtSSB mutant in higher eukaryotes, and its analysis demonstrates the essential function of this gene in development, providing an excellent model to study mitochondrial biogenesis in animals.