Self-testable components: from pragmatic tests to design-for-testability methodology

International audienceTesting is a key aspect of software development, because of its cost and impact on final product reliability. Classical views on testing and their associated testing models, based on the waterfall model, are not well-suited to an OO development process. The standardization of semi-formal modeling methods, such as UML, reveals this trend: testing can no longer be separated from specification/design/code stages. A test approach integrated with the OO process must be defined with an associated testing philosophy. The approach presented in this paper aims at providing a consistent framework for building trust into components. By measuring the quality of test cases, we seek to build trust in a component passing those test cases. We present a pragmatic approach for linking design and test of classes, seen as basic unit test components. Components are self-testable by enhancing them with embedded test sequences and test oracles. Self-testable components serve as building blocks for performing systematic integration and non-regression testing. The main contribution presented in this paper consists of using component self-tests to systematically exercise main system structural dependencies. This approach has been implemented in the Eiffel, Java, Perl and C++ languages. Since it is simpler, due to the direct support for Design-by-Contract TM in the language, the Eiffel implementation is detailed here

Status of the Micro Vertex Detector of the Compressed Baryonic Matter Experiment

The CBM experiment will investigate heavy-ion collisions at beam energies from 8 to 45 AGeV at the future accelerator facility FAIR. The goal of the experiment is to study the QCD phase diagram in the vincinity of the QCD critical point. To do so, CBM aims at measuring rare probes among them open charm. In order to identify those rare and short lived particles despite the rich combinatorial background generated in heavy ion collisions, a micro vertex detector (MVD) providing an unprecedented combination of high rate capability and radiation hardness, very light material budget and excellent granularity is required. In this work, we will discuss the concept of this detector and summarize the status of the R&D

R&D Paths of Pixel Detectors for Vertex Tracking and Radiation Imaging

This report reviews current trends in the R&D of semiconductor pixellated sensors for vertex tracking and radiation imaging. It identifies requirements of future HEP experiments at colliders, needed technological breakthroughs and highlights the relation to radiation detection and imaging applications in other fields of science.Comment: 17 pages, 2 figures, submitted to the European Strategy Preparatory Grou

L'acide γ-hydroxybutyrique (GHB) : un vieux produit, de nouveaux problèmes

Depuis une dizaine d'années, l'acide γ-hydroxybutyrique (GHB) est présenté comme la nouvelle drogue à la mode dans les rave parties et dans le milieu culturiste. Avec ses dérivés la γ-butyrolactone (GBL) et le 1,4-butanediol (BD), ils sont utilisés également pour la soumission chimique. Ces produits datent des années 1960 où ils ne posaient aucun souci, leur marge thérapeutique étant assez grande, mais leur vogue actuelle dans les milieux festifs fait surgir le problème des intoxications et de leur diagnostic. Une implication de l'expert en toxicologie peut se voir également dans les cas de soumission chimique et de recherche de causes de la mort. Nous passons en revue les effets attendus, les effets secondaires et toxiques du GHB, de la GBL et du BD. Cette revue de la littérature fait également le point sur les méthodes analytiques et surtout sur l'interprétation des résultats. Les méthodes d'analyses par chromatographie gazeuse/spectrométrie de masse sont pratiquement standardisées. Selon les laboratoires, la limite de détection varie de 0,5 à 2 µg/mL et la limite de quantification de 2,5 à 5 µg/mL. Les prises d'essai sont faibles : 20 à 50 µL de sérum, plasma ou urine suffisent. L'interprétation des résultats est délicate car le GHB est une substance endogène que l'on retrouve dans le sang et les urines et son élimination est très rapide. On considère que les taux physiologiques restent inférieurs à 5 µg/mL dans le sang et 10 µg/mL dans l'urine. Chez un sujet décédé, tout résultat dans le sang doit être confirmé par un dosage dans l'urine et le vitré. La recherche du GHB dans les cheveux peut être également un atout précieux pour l'interprétation

Are community values toward education reflective of a district\u27s reputation for quality education: a case study approach

An increasing number of parents across the nation are seeking alternatives to educate their children. School progress is being documented because of the implementation of the No Child Left Behind Act of 2001. Because America\u27s education system is enthralled with academic reforms, research about this thesis topic is significant and timely. This case study approach addresses the question whether public school districts successfully meet the education standards of parents in the community? Also, the author compares and contrasts the benefits between private and home schooling. Finally, the author addresses specific educational issues that motivate parents to remove their children from the public school system in their respective districts. The researcher conducted a focus group with parents in southern New Jersey communities who currently have children enrolled in private and home school environments. Group participants answered questions posed by the researcher with the purpose of drawing a consensus on what are shared and unshared values among public, private and home schools. The focus group results indicate that parents of private and home school students believe academic values are not being met, which is severely affecting the learning process. Further more, parents who have children enrolled in private or home school express that a Christ and family centered foundation significantly improves education. Research also concluded that respondents perceive public school education as ineffectual at providing a quality education for children

Développement de capteurs CMOS Rapides et radiorésistants optimisés pour la détection de D0 avec le détecteur de vertex de l expérience CBM

L'expérience CBM (Compressed Baryonic Matter) a pour objet d'explorer le diagramme des phases de la matière nucléaire dans la région des hautes densités baryoniques au moyen de collisions d'ions lourds à des énergies de faisceau comprises entre 10 et 40 AGeV. Dans le but d'étudier le charme ouvert (D0 et D+) avec CBM, un détecteur de vertex (MVD) présentant à la fois un faible budget de matière, une excellente résolution spatiale et une bonne tolérance aux radiations est requis. Cette étude vise à déterminer dans quelle mesure un MVD constitué de capteurs CMOS (MAPS) peut garantir de telles performances. Dans cette optique le cahier des charges du MVD a été établi. Les mécanismes de dégradation par irradiation des MAPS ont été étudiés pour en améliorer la tolérance d'un ordre de grandeur. Les résultats de ces études ont permis de réaliser des simulations avec GEANT, et de démontrer la faisabilité du programme de physique portant sur le charme ouvert avec un tel concept de détecteur.The Compressed Baryonic Matter experiment (CBM) will investigate heavy ion collisions at beam energies between 10 and 40 AGeV in order to explore the nuclear matter phase diagram in the high baryon density region. For a first time, open charm mesons (D0 and D+-) will be used as probe for the nuclear fireball. Reconstructing them requires a very thin (few 0.1 % X0 per layer) micro vertex detector (MVD) with pixel sensors featuring excellent spatial resolution (few m) and substantial radiation hardness. This work studies whether (and how) an MVD based on the novel Monolithic Active Pixel Sensors (MAPS) can the reach the performance needed. For this purpose, the precise requirements on the MVD in terms of material budget, cooling, time resolution and radiation hardness were estimated. Extensive R&D studies on MAPS allowed establishing their performances in particular in the field of radiation tolerance and to improve this tolerance by one order of magnitude. The information obtained was used as input for a GEANT simulation which demonstrated the feasibility of open charm physics with the proposed detector concept.STRASBOURG-Sc. et Techniques (674822102) / SudocSudocFranceF

Dosage de la cathinone et de la cathine dans des feuilles de khat (

Originaire d'Abyssinie, où on le trouve mentionné pour la première fois au XIV$^{\text{\`eme}}$ siècle, le khat et son usage masticatoire se sont répandus en Afrique de l'Est puis dans la Péninsule Arabique. Il a de nombreux synonymes : thé des abyssins, thé d'Arabie, kat, kath, qat, miraa, cat, cato, catha, jimma, kus-el-salahin. Profitant de la rapidité des transports aériens, les ressortissants des pays producteurs émigrés en Europe en font l'importation illégale depuis quelques années et l'on peut craindre une extension de ce marché de niche. Poussant à l'état sauvage ou cultivé parmi les plants de caféier, le khat (Catha edulis (Vahl) Forssk. ex Endl., Celastraeceae) est un grand arbuste dont les jeunes bourgeons et/ou les feuilles fraiches sont chiqués ou pris en infusion. Ses effets stimulants, proches de ceux des amphétamines, ont été très précisément décrits par Lewin dès 1928, et il avait classé le khat parmi les excitantia. Dans la feuille jeune et fraiche, l'alcaloïde principal est la (-)-cathinone. Dans la plante sèche et les feuilles âgées, elle est transformée en (S,S)-(+)-norpseudoéphédrine et (R,S)-(-)-noréphédrine. En France le khat lui-même et la cathinone sont inscrits sur la liste des stupéfiants. Des saisies douanières récentes de plusieurs centaines de kilogrammes de plantes fraiches nous ont permis d'effectuer de nombreux dosages. L'extraction éthanolique est suivi d'une dérivation par l'HBFA/HFIP. Le dosage est effectué par CPG-SM sur une colonne Factor Four VF-5MS, avec une programmation de température de 65° C à 320° C , par rapport à des gammes de calibration préparées à partir de standards de cathine et de cathinone. Nous avons pu ainsi vérifier l'évolution rapidement décroissante de la teneur en cathinone dans les différentes parties de la plante, et que les petites feuilles des extrémités avaient des teneurs plus élevées. Comme le khat n'est pas considéré comme un stupé ant au Royaume Uni et aux Pays Bas, on peut craindre une extension de la consommation à d'autres populations que celles des émigrés originaires d'Afrique de l'Est et de la Péninsule Arabique

DETERMINATION DE CONCENTRATIONS PHYSIOLOGIQUES DE LA TESTOSTERONE DANS LES CHEVEUX PAR UNE METHODE RADIOIMMUNOLOGIQUE DIRECTE (INTERET DANS LA LUTTE CONTRE LE DOPAGE (DES PHARMACIE HOSPITALIERE ET DES COLLECTIVITES))

LILLE2-BU Santé-Recherche (593502101) / SudocSudocFranceF