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.

Distinct leukemia phenotypes in transgenic mice and different corepressor interactions generated by promyelocytic leukemia variant fusion genes PLZF–RARα and NPM–RARα

Acute promyelocytic leukemia (APL) is characterized by a specific chromosome translocation involving RARα and one of four fusion partners: PML, PLZF, NPM, and NuMA genes. To study the leukemogenic potential of the fusion genes in vivo, we generated transgenic mice with PLZF–RARα and NPM–RARα. PLZF–RARα transgenic animals developed chronic myeloid leukemia-like phenotypes at an early stage of life (within 3 months in five of six mice), whereas three NPM–RARα transgenic mice showed a spectrum of phenotypes from typical APL to chronic myeloid leukemia relatively late in life (from 12 to 15 months). In contrast to bone marrow cells from PLZF–RARα transgenic mice, those from NPM–RARα transgenic mice could be induced to differentiate by all-trans-retinoic acid (ATRA). We also studied RARE binding properties and interactions between nuclear corepressor SMRT and various fusion proteins in response to ATRA. Dissociation of SMRT from different receptors was observed at ATRA concentrations of 0.01 μM, 0.1 μM, and 1.0 μM for RARα–RXRα, NPM–RARα, and PML–RARα, respectively, but not observed for PLZF–RARα even in the presence of 10 μM ATRA. We also determined the expression of the tissue factor gene in transgenic mice, which was detected only in bone marrow cells of mice expressing the fusion genes. These data clearly establish the leukemogenic role of PLZF–RARα and NPM–RARα and the importance of fusion receptor/corepressor interactions in the pathogenesis as well as in determining different clinical phenotypes of APL.

Genetic and environmental factors modify bovine spongiform encephalopathy incubation period in mice

The incubation period (IP) and the neuropathology of transmissible spongiform encephalopathies (TSEs) have been extensively used to distinguish prion isolates (or strains) inoculated into panels of inbred mouse strains. Such studies have shown that the bovine spongiform encephalopathy (BSE) agent is indistinguishable from the agent causing variant Creutzfeldt–Jakob disease (vCJD), but differs from isolates of sporadic CJD, reinforcing the idea that the vCJD epidemic in Britain results from consumption of contaminated beef products. We present a mouse model for genetic and environmental factors that modify the incubation period of BSE cross-species transmission. We have used two mouse strains that carry the same prion protein (PrP) allele, but display a 100-day difference in their mean IP following intracerebral inoculation with primary BSE isolate. We report genetic effects on IP that map to four chromosomal regions, and in addition we find significant factors of host environment, namely the age of the host's mother, the age of the host at infection, and an X-cytoplasm interaction in the host.

Geometry of the SL(3,ℂ)-character variety of torus knots.

Let G be the fundamental group of the complement of the torus knot of type (m, n). It has a presentation G = <x, y | xm = yn>. We find a geometric description of the character variety X(G) of characters of representations of G into SL(3,ℂ), GL(3,ℂ) and PGL(3,ℂ).

Estado sanitário do jacaré-de-papo-amarelo (Caiman latirostris) em paisagens antropizadas no Estado de São Paulo

O jacaré-de-papo (Caiman latirostris) é considerado um crocodiliano de médio porte que apresenta uma ampla distribuição latitudinal na América do Sul. Possivelmente a espécie possui a situação mais complexa entre os crocodilianos brasileiros quanto ao aspecto da conservação, basicamente porque suas populações encontram-se fragmentadas em grande parte de sua área de distribuição original e por utilizarem áreas com fortes atividades antrópicas. Embora a espécie possua aparentemente um processo adaptativo frente a estas pressões, um aspecto fisiológico pode ainda sofrer rápida alteração quando submetido a elas: o estado sanitário. Desta maneira, este estudo objetivou determinar o estado sanitário do maior predador aquático, utilizando duas áreas distintas no Estado de São Paulo, através da determinação dos perfis hematológicos e bioquímicos do sangue, além da caracterização da microbiota oral, servindo de modelo à conservação da espécie em ambientes alterados. No primeiro capítulo foram determinados o perfil hematológico e bioquímico do sangue utilizando-se 29 indivíduos (19 machos e 10 fêmeas) capturados em Angatuba e 11 indivíduos (2 machos, 4 fêmeas e 5 filhotes) capturados em Cubatão. Diferenças estatísticas significativas foram encontradas nos valores de creatinina na comparação entre fêmeas de ambas as áreas de estudo (p = 0,033) e nos valores de alanina aminotransferase (p = 0,003), hemácias (p = 0,034), hemoglobina (p = 0,049) e volume corpuscular médio (p = 0,027) quando da comparação entre sexos. No segundo capítulo determinou-se a microbiota oral destes animais através do isolamento, identificação e caracterização bacteriana, em conjunto com o teste de perfil de susceptibilidade aos antimicrobianos. Foram determinados 14 diferentes tipos de bactérias na área de Angatuba, sendo uma classificada como baciliforme aeróbio Gram-positivo, uma como bacilo Gram-negativo e 12 classificadas como Enterobactérias Gram-negativas. Na área de Cubatão foram isolados cinco tipos de bactérias, sendo quatro classificadas como Enterobactérias Gram-negativas e uma como baciliforme aeróbio Gram-positivo. Considerando que o uso de antimicrobianos é um processo primário no tratamento de animais e pessoas, principalmente nos casos que envolvam infecções provocadas pela interação homem x animais, para ambas as áreas de estudo, as quinolonas Enrofloxacina e Norfloxacina, além do aminoglicosídeo Gentamicina, foram os antimicrobianos que apresentaram os menores índices de resistência frente aos isolados testados.

From the Farkas Lemma to the Hahn–Banach Theorem

This paper provides new versions of the Farkas lemma characterizing those inequalities of the form f(x) ≥ 0 which are consequences of a composite convex inequality (S ◦ g)(x) ≤ 0 on a closed convex subset of a given locally convex topological vector space X, where f is a proper lower semicontinuous convex function defined on X, S is an extended sublinear function, and g is a vector-valued S-convex function. In parallel, associated versions of a stable Farkas lemma, considering arbitrary linear perturbations of f, are also given. These new versions of the Farkas lemma, and their corresponding stable forms, are established under the weakest constraint qualification conditions (the so-called closedness conditions), and they are actually equivalent to each other, as well as equivalent to an extended version of the so-called Hahn–Banach–Lagrange theorem, and its stable version, correspondingly. It is shown that any of them implies analytic and algebraic versions of the Hahn–Banach theorem and the Mazur–Orlicz theorem for extended sublinear functions.

Correspondance inédite de l'empereur Alexandre et de Bernadotte pendant l'annee 1812

Lettres interceptées de l'empereur Napoléon: p. 56-66; Lettres interceptées du prince Eugène: p. 66-68.

Historia general de España /

Mode of access: Internet.

Chain scission and branching in irradiated poly(tetrafluoroethylene-co-hexafluoropropylene)

The radiation chemistry of poly(tetrafluoroethylene-co-hexafluoropropylene) (FEP) with a TFE mole fraction of 0.90 has been studied under vacuum using Co-60 gamma-radiation over a range of temperatures and absorbed doses. The radiolysis temperatures were 300, 363, 423, 523 and 543 K. New structure formation in the copolymers was analysed by solid-state F-19 NMR spectroscopy. The new structures formed in the copolymers have been identified and the G-values for the formation of new chemical structures have been investigated at 363 and 523 K. These two temperatures are just above and just below the polymer T-g and T-m, respectively. At the lower temperature, there was no evidence for any chain branching and an estimate of G(S) of 1.0 was obtained. A value of G(S) of 1.3 and a minimum value of G(X)(Y) of 1.3 were obtained at 523 K. (C) 2003 Society of Chemical Industry.

Effect of carbohydrate supplementation on walking performance in peripheral arterial disease: A preliminary physiologic study

Objective: In this preliminary study we tested the effect of short-term carbohydrate supplementation on carbohydrate oxidation and walking performance in peripheral arterial disease. Methods: Eleven patients with peripheral arterial disease and intermittent claudication and 8 healthy control subjects completed several weeks of baseline exercise testing, then were given supplementation for 3 days with a carbohydrate solution and placebo. Maximal walking time was assessed with a graded treadmill test. Carbohydrate oxidation during a submaximal phase of this test was measured with indirect calorimetry. At the end of baseline testing a biopsy specimen was taken from the gastrocnemius muscle, and the active fraction of pyruvate dehydrogenase complex activity was determined. Results: Carbohydrate supplementation resulted in a significant increase in body weight and carbohydrate oxidation during exercise in patients with intermittent claudication and control subjects. Maximal walking time decreased by 3% in control subjects, whereas it increased by 6% in patients with intermittent claudication (group X treatment interaction, P < .05). There was a wide range of performance responses to carbohydrate supplementation among patients with claudication (-3%-37%). This effect was greater in poorer performers, and was negatively correlated (P < .05) with muscle pyruvate dehydrogenase complex activity. Conclusion: Preliminary data suggest that carbohydrate oxidation during exercise might contribute to exercise intolerance in more dysfunctional patients with intermittent claudication and that carbohydrate supplementation might be an effective therapeutic intervention in these patients.

Mixed model formulations for multi-environment trials

When studying genotype X environment interaction in multi-environment trials, plant breeders and geneticists often consider one of the effects, environments or genotypes, to be fixed and the other to be random. However, there are two main formulations for variance component estimation for the mixed model situation, referred to as the unconstrained-parameters (UP) and constrained-parameters (CP) formulations. These formulations give different estimates of genetic correlation and heritability as well as different tests of significance for the random effects factor. The definition of main effects and interactions and the consequences of such definitions should be clearly understood, and the selected formulation should be consistent for both fixed and random effects. A discussion of the practical outcomes of using the two formulations in the analysis of balanced data from multi-environment trials is presented. It is recommended that the CP formulation be used because of the meaning of its parameters and the corresponding variance components. When managed (fixed) environments are considered, users will have more confidence in prediction for them but will not be overconfident in prediction in the target (random) environments. Genetic gain (predicted response to selection in the target environments from the managed environments) is independent of formulation.

Milling quality and protein properties of autumn-sown Chinese wheats evaluated through multi-location trials

Eight milling quality and protein properties of autumn-sown Chinese wheats were investigated using 59 cultivars and advanced lines grown in 14 locations in China from 1995 to 1998. Wide ranges of variability for all traits were observed across genotypes and locations. Genotype, location, year, and their interactions all significantly influenced most of the quality parameters. Kernel hardness, Zeleny sedimentation value, and mixograph development time were predominantly influenced by the effects of genotype. Genotype, location and genotype x location interaction were all important sources of variation for thousand kernel weight, test weight, protein content, and falling number, whereas genotype x location interaction had the largest effect on flour yield. Most of the genotypes were characterized by weak gluten strength with Zeleny sedimentation values less than 40 ml and mixograph development time shorter than 3 min. Eight groups of genotypes were recognized based on the average quality performance, grain hardness and gluten strength were the two parameters that determined the grouping, with contributions from protein content. Genotypes such as Zhongyou 16 and Annong 8903 displayed good milling quality, high grain hardness, protein content and strong gluten strength with high sedimentation value and long mixograph development time. Genotypes such as Lumai 15 and Yumai 18 were characterized by low grain hardness, protein content and weak gluten strength. Genotypes such as Yannong 15 and Chuanmai 24 were characterized by strong gluten strength with high sedimentation value and long mixograph development time, but low grain hardness and protein content lower than 12.3%. Genotypes such as Jingdong 6 and Xi'an 8 had weak gluten strength, but with high grain hardness and protein content higher than 12.2%. Five groups of locations were identified, and protein content and gluten strength were the two parameters that determined the grouping. Beijing, Shijiazhuang, Nanyang, Zhumadian and Nanjing produced wheats with medium to strong gluten strength and medium protein content, although there was still a large variation for most of the traits investigated between the locations. Wheat produced in Yantai was characterized by strong gluten strength, but with low protein content. Jinan, Anyang and Linfen locations produced wheats with medium to weak gluten strength and medium to high protein content. Wheats produced in Yangling, Zhenzhou, and Chengdu were characterized by weak gluten strength with medium to low protein content, whereas wheats produced in Xuzhou and Wuhan were characterized by weak gluten strength with low protein content. Industrial grain quality could be substantially improved through integrating knowledge of geographic genotype distribution with key location variables that affected end-use quality.

How preferred ear for listening moderates emotional cognitions in the prediction of personality

Two studies investigate how cognitions of aurally presented information interact with aural preference (self-reported preferred ear for listening) in the prediction of personality. In Study 1, participants provided attractiveness cognitions of various statements after listening to aurally presented material. Aural preference x attractiveness interactions significantly predicted Extraversion and Neuroticism. In Study 2, participants provided cognitions of pleasantness from various scenarios. An aural preference x pleasantness interaction significantly predicted Neuroticism. Although other interpretations are possible, I conclude that these findings support the idea of aural preference as a useful measure of hemispheric asymmetry, such that the right hemisphere (left aural preference) provides facilitation of emotional expression, whereas the left hemisphere (right aural preference) provides suppression. My findings support a more historical view of emotional asymmetry than the more modem approach-avoidance perspective and suggest that moderating effects of hemispheric asymmetry are important to include in studies investigating emotions associated with personality.

Effect of initial disturbance amplitude in gravity affected jet break-up

The initial disturbance amplitude has an effect on stretching jets that is not observed for capillary jet instability where gravitational acceleration is not significant. For inviscid and viscous fluids, gravity diminishes the effect that the initial amplitude has on jet length and its ability to prevent satellite formation. In stretching jets, not only the dimensionless frequency of the disturbance but also its initial amplitude must be known to properly study their satellite forming nature. Indirect methods of relating the applied disturbance energy to an initial velocity perturbation are not simple when the gravity parameter G is changing. When G A 0, the optimum disturbance frequency Omega(opt) and the initial disturbance amplitude are related, with Omega(opt) proportional to f (G) x In(1 /epsilon(nu)). Results from numerical simulations and experiments are presented here. (c) 2005 Elsevier Ltd. All rights reserved.