Mutation Operators for UML Class Diagrams

La prueba de mutación es una técnica bien establecida para evaluar la calidad de los casos de prueba al verificar qué tan bien detectan fallas inyectadas en un artefacto de software (mutante). Usando esta técnica, la actividad más crítica es el diseño adecuado de operadores de mutación para que reflejen defectos típicos del artefacto bajo prueba. Este artículo presenta el diseño de un conjunto de operadores de mutación para esquemas conceptuales (CS) basados en diagramas de clase UML (CD). En este documento, los operadores se definen de acuerdo con una clasificación de defectos existente para UML CS y elementos relevantes identificados a partir del metamodelo UML-CD. Los operadores se utilizan posteriormente para generar mutantes de primer orden para un CS bajo prueba. Finalmente, para analizar la utilidad de los operadores de mutación, medimos algunas características básicas de los operadores de mutación con tres CS diferentes bajo prueba.Mutation Testing is a well-established technique for assessing the quality of test cases by checking how well they detect faults injected into a software artefact (mutant). Using this technique, the most critical activity is the adequate design of mutation operators so that they reflect typical defects of the artefact under test. This paper presents the design of a set of mutation operators for Conceptual Schemas (CS) based on UML Class Diagrams (CD). In this paper, the operators are defined in accordance with an existing defects classification for UML CS and relevant elements identified from the UML-CD meta-model. The operators are subsequently used to generate first order mutants for a CS under test. Finally, in order to analyse the usefulness of the mutation operators, we measure some basic characteristics of mutation operators with three different CSs under test.Ljubljan

Very Cold Gas and Dark Matter

We have recently proposed a new candidate for baryonic dark matter: very cold molecular gas, in near-isothermal equilibrium with the cosmic background radiation at 2.73 K. The cold gas, of quasi-primordial abundances, is condensed in a fractal structure, resembling the hierarchical structure of the detected interstellar medium. We present some perspectives of detecting this very cold gas, either directly or indirectly. The H$_2$ molecule has an "ultrafine" structure, due to the interaction between the rotation-induced magnetic moment and the nuclear spins. But the lines fall in the km domain, and are very weak. The best opportunity might be the UV absorption of H$_2$ in front of quasars. The unexpected cold dust component, revealed by the COBE/FIRAS submillimetric results, could also be due to this very cold H$_2$ gas, through collision-induced radiation, or solid H$_2$ grains or snowflakes. The $\gamma$-ray distribution, much more radially extended than the supernovae at the origin of cosmic rays acceleration, also points towards and extended gas distribution.Comment: 16 pages, Latex pages, crckapb macro, 3 postscript figures, uuencoded compressed tar file. To be published in the proceeedings of the "Dust-Morphology" conference, Johannesburg, 22-26 January, 1996, D. Block (ed.), (Kluwer Dordrecht

A randomised controlled trial to compare opt-in and opt-out parental consent for childhood vaccine safety surveillance using data linkage: study protocol

Extent: 10p.Background: The Vaccine Assessment using Linked Data (VALiD) trial compared opt-in and opt-out parental consent for a population-based childhood vaccine safety surveillance program using data linkage. A subsequent telephone interview of all households enrolled in the trial elicited parental intent regarding the return or non-return of reply forms for opt-in and opt-out consent. This paper describes the rationale for the trial and provides an overview of the design and methods. Methods/Design: Single-centre, single-blind, randomised controlled trial (RCT) stratified by firstborn status. Mothers who gave birth at one tertiary South Australian hospital were randomised at six weeks post-partum to receive an opt-in or opt-out reply form, along with information explaining data linkage. The primary outcome at 10 weeks post-partum was parental participation in each arm, as indicated by the respective return or non-return of a reply form (or via telephone or email response). A subsequent telephone interview at 10 weeks post-partum elicited parental intent regarding the return or non-return of the reply form, and attitudes and knowledge about data linkage, vaccine safety, consent preferences and vaccination practices. Enrolment began in July 2009 and 1,129 households were recruited in a three-month period. Analysis has not yet been undertaken. The participation rate and selection bias for each method of consent will be compared when the data are analysed. Discussion: The VALiD RCT represents the first trial of opt-in versus opt-out consent for a data linkage study that assesses consent preferences and intent compared with actual opting in or opting out behaviour, and socioeconomic factors. The limitations to generalisability are discussed.Jesia G Berry, Philip Ryan, Annette J Braunack-Mayer, Katherine M Duszynski, Vicki Xafis, Michael S Gold, the Vaccine Assessment Using Linked Data (VALiD) Working Grou