A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

A Bayesian approach to fuzzy hypotheses testing for the estimation of optimal age for vaccination against measles

Fuzzy Bayesian tests were performed to evaluate whether the mother`s seroprevalence and children`s seroconversion to measles vaccine could be considered as ""high"" or ""low"". The results of the tests were aggregated into a fuzzy rule-based model structure, which would allow an expert to influence the model results. The linguistic model was developed considering four input variables. As the model output, we obtain the recommended age-specific vaccine coverage. The inputs of the fuzzy rules are fuzzy sets and the outputs are constant functions, performing the simplest Takagi-Sugeno-Kang model. This fuzzy approach is compared to a classical one, where the classical Bayes test was performed. Although the fuzzy and classical performances were similar, the fuzzy approach was more detailed and revealed important differences. In addition to taking into account subjective information in the form of fuzzy hypotheses it can be intuitively grasped by the decision maker. Finally, we show that the Bayesian test of fuzzy hypotheses is an interesting approach from the theoretical point of view, in the sense that it combines two complementary areas of investigation, normally seen as competitive. (C) 2007 IMACS. Published by Elsevier B.V. All rights reserved.

Testing the link between the latitudinal gradient in species richness and rates of molecular evolution

Numerous hypotheses have been proposed to explain latitudinal gradients in species richness, but all are subject to ongoing debate. Here we examine Rohde's (1978, 1992) hypothesis, which proposes that climatic conditions at low latitudes lead to elevated rates of speciation. This hypothesis predicts that rates of molecular evolution should increase towards lower latitudes, but this prediction has never been tested. We discuss potential links between rates of molecular evolution and latitudinal diversity gradients, and present the first test of latitudinal variation in rates of molecular evolution. Using 45 phylogenetically independent, latitudinally separated pairs of bird species and higher taxa, we compare rates of evolution of two mitochondrial genes and DNA-DNA hybridization distances. We find no support for an effect of latitude on rate of molecular evolution. This result casts doubt on the generality of a key component of Rohde's hypothesis linking climate and speciation.

Tool support for testing concurrent Java components

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos

Abstract — The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

The importance to update the guidelines for the use of genetic testing in noncancer patients in Brazil

The Brazilian National Regulatory Agency for Private Health Insurance and Plans has recently published a technical note defining the criteria for the coverage of genetic testing to diagnose hereditary cancer. In this study we show the case of a patient with a breast lesion and an extensive history of cancer referred to a private service of genetic counseling. The patient met both criteria for hereditary breast and colorectal cancer syndrome screening. Her private insurance denied coverage for genetic testing because she lacks current or previous cancer diagnosis. After she appealed by lawsuit, the court was favorable and the test was performed using next-generation sequencing. A deletion of MLH1 exon 8 was found. We highlight the importance to offer genetic testing using multigene analysis for noncancer patients.

Comparison between E-test and CLSI broth microdilution method for antifungal susceptibility testing of Candida albicans oral isolates

Thirty Candida albicans isolated from oral candidosis patients and 30 C. albicans isolated from control individuals were studied. In vitro susceptibility tests were performed for amphotericin B, fluconazole, 5-flucytosine and itraconazole through the Clinical and Laboratorial Standards Institute (CLSI) reference method and E test system. The results obtained were analyzed and compared. MIC values were similar for the strains isolated from oral candidosis patients and control individuals. The agreement rate for the two methods was 66.67% for amphotericin B, 53.33% for fluconazole, 65% for flucytosine and 45% for itraconazole. According to our data, E test method could be an alternative to trial routine susceptibility testing due to its simplicity. However, it can not be considered a substitute for the CLSI reference method.

Development Process and Cognitive Testing of CARATkids - Control of Allergic Rhinitis and Asthma Test for Children

Background: Allergic rhinitis and asthma (ARA) are chronic inflammatory diseases of the airways that often coexist in children. The only tool to assess the ARA control, the Control of Allergic Rhinitis and Asthma Test (CARAT) is to be used by adults. We aimed to develop the Pediatric version of Control of Allergic Rhinitis and Asthma Test (CARATkids) and to test its comprehensibility in children with 4 to 12 years of age. Methods: The questionnaire development included a literature review of pediatric questionnaires on asthma and/or rhinitis control and two consensus meetings of a multidisciplinary group. Cognitive testing was carried out in a cross-sectional qualitative study using cognitive interviews. Results: Four questionnaires to assess asthma and none to assess rhinitis control in children were identified. The multidisciplinary group produced a questionnaire version for children with 17 questions with illustrations and dichotomous (yes/no) response format. The version for caregivers had 4-points and dichotomous scales. Twenty-nine children, 4 to 12 years old, and their caregivers were interviewed. Only children over 6 years old could adequately answer the questionnaire. A few words/expressions were not fully understood by children of 6 to 8 years old. The drawings illustrating the questions were considered helpful by children and caregivers. Caregivers considered the questionnaire complete and clear and preferred dichotomous over the 4-points scales. The proportion of agreement between children and their caregivers was 61%. The words/expressions that were difficult to understand were amended. Conclusion: CARATkids, the first questionnaire to assess a child’s asthma and rhinitis control was developed and its content validity was assured. Cognitive testing showed that CARATKids is well-understood by children 6 to 12 years old. The questionnaire’s measurement properties can now be assessed in a validation study.

Performance of the Vitek 2 system software version 5.03 in the bacterial identification and antimicrobial susceptibility test: evaluation study of clinical and reference strains of Gram-positive cocci

Introduction. The genera Enterococcus, Staphylococcus and Streptococcus are recognized as important Gram-positive human pathogens. The aim of this study was to evaluate the performance of Vitek 2 in identifying Gram-positive cocci and their antimicrobial susceptibilities. Methods. One hundred four isolates were analyzed to determine the accuracy of the automated system for identifying the bacteria and their susceptibility to oxacillin and vancomycin. Results. The system correctly identified 77.9% and 97.1% of the isolates at the species and genus levels, respectively. Additionally, 81.8% of the Vitek 2 results agreed with the known antimicrobial susceptibility profiles. Conclusion. Vitek 2 correctly identified the commonly isolated strains; however, the limitations of the method may lead to ambiguous findings.

Blast loading of masonry infills: testing and simulation

This work intends to present a newly developed test setup for dynamic out-of-plane loading using underWater Blast Wave Generators (WBWG) as loading source. Underwater blasting operations have been, during the last decades, subject of research and development of maritime blasting operations (including torpedo studies), aquarium tests for the measurement of blasting energy of industrial explosives and confined underwater blast wave generators. WBWG allow a wide range for the produced blast impulse and surface area distribution. It also avoids the generation of high velocity fragments and reduces atmospheric sound wave. A first objective of this work is to study the behavior of masonry infill walls subjected to blast loading. Three different masonry walls are to be studied, namely unreinforced masonry infill walls and two different reinforcement solutions. These solutions have been studied previously for seismic action mitigation. Subsequently, the walls will be simulated using an explicit finite element code for validation and parametric studies. Finally, a tool to help designers to make informed decisions on the use of infills under blast loading will be presented.

Design, development and testing of a CAD integrated design for environment software tool.

The research described in this thesis was developed as part o f the Information Management for Green Design (IMA GREE) Project. The 1MAGREE Project was founded by Enterprise Ireland under a Strategic Research Grant Scheme as a partnership project between Galway Mayo Institute o f Technology and C1MRU University College Galway. The project aimed to develop a CAD integrated software tool to support environmental information management for design, particularly for the electronics-manufacturing sector in Ireland.

evaluation framework for software test processes

Magdeburg, Univ., Fak. für Informatik, Diss., 2009

Comparison of the Proportion Method With Mycobacteria Growth Indicator Tube and E-test for Susceptibility Testing of Mycobacterium tuberculosis

The aim of this study was to investigate the correlation between proportion method with mycobacteria growth indicator tube (MGIT) and E-test for Mycobacterium tuberculosis. Forty clinical isolates were tested. MGIT and E-test with the first line antituberculous drugs correlated with the proportion method. Our results suggested that MGIT and E-test methods can be routinely used instead of the proportion method.

Testing advances in molecular discrimination among Chinook salmon life histories: evidence from a blind test.

The application of DNA-based markers toward the task of discriminating among alternate salmon runs has evolved in accordance with ongoing genomic developments and increasingly has enabled resolution of which genetic markers associate with important life-history differences. Accurate and efficient identification of the most likely origin for salmon encountered during ocean fisheries, or at salvage from fresh water diversion and monitoring facilities, has far-reaching consequences for improving measures for management, restoration and conservation. Near-real-time provision of high-resolution identity information enables prompt response to changes in encounter rates. We thus continue to develop new tools to provide the greatest statistical power for run identification. As a proof of concept for genetic identification improvements, we conducted simulation and blind tests for 623 known-origin Chinook salmon (Oncorhynchus tshawytscha) to compare and contrast the accuracy of different population sampling baselines and microsatellite loci panels. This test included 35 microsatellite loci (1266 alleles), some known to be associated with specific coding regions of functional significance, such as the circadian rhythm cryptochrome genes, and others not known to be associated with any functional importance. The identification of fall run with unprecedented accuracy was demonstrated. Overall, the top performing panel and baseline (HMSC21) were predicted to have a success rate of 98%, but the blind-test success rate was 84%. Findings for bias or non-bias are discussed to target primary areas for further research and resolution.

Estudi d'eines CASE que suporten OCLper a la generació automàtica de codi Java

Es tracta d'una recerca d'eines CASEque actualment suporten OCL en la generació automàtica de codi Java per estudiar-les ianalitzar-les a través d'un model de proves consistent en un diagrama de classes del modelestàtic de l'UML i una mostra variada d'instruccions OCL, amb l'objectiu de detectar lesseves mancances, analitzant el codi obtingut i determinar si controla o no cada tipus derestricció, i si s'han implementat bé en el codi.