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.

Boundariesc@pes. Landscapes of the boundary or boundaries of the landscape? The landscape scope of the boundary

Esta comunicación parte de la base de que en nuestro tiempo la idea ambigua del límite ha llegado a ser uno de los paradigmas más complejos que podemos afrontar no sólo en arquitectura sino también en la sociedad y la cultura.

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.

Design of scour Protection Systems in Offshore Wind Farms

Scour compromises the operation of offshore facilities. This article describes the results of an investigation aimed at the analysis of different methods used in the scour protection systems design at offshore wind farms. The study is focused on transitional waters, where monopile foundations present medium or large diameters. Using the experience of offshore wind farms currently installed, a new design formula is proposed. All of this with the aim of improving a preliminary design of scour protection systems considering maritime parameters

Definition of amide protection factors for early kinetic intermediates in protein folding

Hydrogen–deuterium exchange experiments have been used previously to investigate the structures of well defined states of a given protein. These include the native state, the unfolded state, and any intermediates that can be stably populated at equilibrium. More recently, the hydrogen–deuterium exchange technique has been applied in kinetic labeling experiments to probe the structures of transiently formed intermediates on the kinetic folding pathway of a given protein. From these equilibrium and nonequilibrium studies, protection factors are usually obtained. These protection factors are defined as the ratio of the rate of exchange of a given backbone amide when it is in a fully solvent-exposed state (usually obtained from model peptides) to the rate of exchange of that amide in some state of the protein or in some intermediate on the folding pathway of the protein. This definition is straightforward for the case of equilibrium studies; however, it is less clear-cut for the case of transient kinetic intermediates. To clarify the concept for the case of burst-phase intermediates, we have introduced and mathematically defined two different types of protection factors: one is Pstruc, which is more related to the structure of the intermediate, and the other is Papp, which is more related to the stability of the intermediate. Kinetic hydrogen–deuterium exchange data from disulfide-intact ribonuclease A and from cytochrome c are discussed to explain the use and implications of these two definitions.

Translation inhibitors stabilize Escherichia coli mRNAs independently of ribosome protection

Translation inhibitors such as chloramphenicol in prokaryotes or cycloheximide in eukaryotes stabilize many or most cellular mRNAs. In Escherichia coli, this stabilization is ascribed generally to the shielding of mRNAs by stalled ribosomes. To evaluate this interpretation, we examine here how inhibitors affect the stabilities of two untranslated RNAs, i.e., an engineered lacZ mRNA lacking a ribosome binding site, and a small regulatory RNA, RNAI. Whether they block elongation or initiation, all translation inhibitors tested stabilized these RNAs, indicating that stabilization does not necessarily reflect changes in packing or activity of translating ribosomes. Moreover, both the initial RNase E-dependent cleavage of RNAI and lacZ mRNA and the subsequent attack of RNAI by polynucleotide phosphorylase and poly(A)-polymerase were slowed. Among various possible mechanisms for this stabilization, we discuss in particular a passive model. When translation is blocked, rRNA synthesis is known to increase severalfold and rRNA becomes unstable. Meanwhile, the pools of RNase E and polynucleotide phosphorylase, which, in growing cells, are limited because these RNases autoregulate their own synthesis, cannot expand. The processing/degradation of newly synthesized rRNA would then titrate these RNases, causing bulk mRNA stabilization.

Biochemical Analysis of Plant Protection Afforded by a Nonpathogenic Endophytic Mutant of Colletotrichum magna1

A nonpathogenic mutant of Colletotrichum magna (path-1) was previously shown to protect watermelon (Citrullus lanatus) and cucumber (Cucumis sativus) seedlings from anthracnose disease elicited by wild-type C. magna. Disease protection was observed in stems of path-1-colonized cucurbits but not in cotyledons, indicating that path-1 conferred tissue-specific and/or localized protection. Plant biochemical indicators of a localized and systemic (peroxidase, phenylalanine ammonia-lyase, lignin, and salicylic acid) “plant-defense” response were investigated in anthracnose-resistant and -susceptible cultivars of cucurbit seedlings exposed to four treatments: (1) water (control), (2) path-1 conidia, (3) wild-type conidia, and (4) challenge conditions (inoculation into path-1 conidia for 48 h and then exposure to wild-type conidia). Collectively, these analyses indicated that disease protection in path-1-colonized plants was correlated with the ability of these plants to mount a defense response more rapidly and to equal or greater levels than plants exposed to wild-type C. magna alone. Watermelon plants colonized with path-1 were also protected against disease caused by Colletotrichum orbiculare and Fusarium oxysporum. A model based on the kinetics of plant-defense activation is presented to explain the mechanism of path-1-conferred disease protection.

Broadening the Scope of Ethnic Identity: A Social Sustainability Solution for Pan African Communities through Ethnically Relevant Educational Programming

This conceptual study explores ethnic identity development theory in order to argue that ethnic identity development education is a means of developing broad senses of community in the African Diaspora that expand beyond a tribal, local, familial level. This study suggests that the broadening of community understanding would contribute to establishing social sustainability on regional, national and international levels within the Pan African community. Establishing such social sustainability would have direct effects on the areas of economic and environmental sustainability. One of the goals of this project is to offer suggestions for ethnically relevant education that can develop social sustainability in several places throughout the Diaspora, such as in Nigeria where ethnic conflicts are a contemporary concern.

Efficiency of a conductive cement-based anodic system for the application of cathodic protection, cathodic prevention and electrochemical chloride extraction to control corrosion in reinforced concrete structures

This article describes the research carried out regarding the application of cathodic protection (CP) and cathodic prevention (CPrev), in some cases with a pre-treatment of electrochemical chloride extraction (ECE), on representative specimens of reinforced concrete structures, using an anodic system consisting of a graphite-cement paste applied as a coating on the surface. The aim of this research is to find out the competence of this anode for the aforementioned electrochemical treatments. The efficiency of this anode has been clearly demonstrated, as well as its capability to apply a combined process of ECE and after CP.

A Computational Model of the Belief System Under the Scope of Social Communication

This paper presents an approach to the belief system based on a computational framework in three levels: first, the logic level with the definition of binary local rules, second, the arithmetic level with the definition of recursive functions and finally the behavioural level with the definition of a recursive construction pattern. Social communication is achieved when different beliefs are expressed, modified, propagated and shared through social nets. This approach is useful to mimic the belief system because the defined functions provide different ways to process the same incoming information as well as a means to propagate it. Our model also provides a means to cross different beliefs so, any incoming information can be processed many times by the same or different functions as it occurs is social nets.