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.

Laboratory wear testing of polyurethane elastomers

A dry sand-rubber wheel abrasion test was used to investigate the wear behaviour of polyurethanes. The dry sand-rubber wheel abrasion test (DSRW test) is an approved ASTM test designed primarily for testing metals, therefore, in this study the set of test conditions was optimized for use with polyurethane elastomers. The wear performance of polyurethanes was assessed for the range of Shore hardness 85A to 65D, and a correlation was identified between the wear rate and the sample hardness. Polyurethane elastomers can be separated into three classes according to their hardness and wear performance, and each class shows a different dependence on the specimen temperature. This work has implications for use of the DSRW test for the prediction of field performance of polyurethanes. (C) Elsevier Science S.A.

Testing market efficiency: Evidence from the NFL sports betting market

This article examines the efficiency of the National Football League (NFL) betting market. The standard ordinary least squares (OLS) regression methodology is replaced by a probit model. This circumvents potential econometric problems, and allows us to implement more sophisticated betting strategies where bets are placed only when there is a relatively high probability of success. In-sample tests indicate that probit-based betting strategies generate statistically significant profits. Whereas the profitability of a number of these betting strategies is confirmed by out-of-sample testing, there is some inconsistency among the remaining out-of-sample predictions. Our results also suggest that widely documented inefficiencies in this market tend to dissipate over time.

Lymphocyte proliferation testing in chromium allergic contact dermatitis

Background. Lymphocyte proliferation testing (LPT) has some advantages over patch testing to diagnose allergic contact dermatitis. It is harmless, objective and can be used in clinical situations where patch testing is not recommended. Unfortunately, significant success has only been achieved with nickel. There are few studies on chromium LPT and they were performed with different methods, leading to inconsistent results. Methods. To determine the best parameters for chromium LPT, we tested 20 patients with allergic contact dermatitis to the metal and 20 controls, using various protocols. Results. The best sensitivity and specificity ratios were achieved with 6-day cultures stimulated with a range from 7.5 x 10(-4) to 5 x 10(-3) mol/L of nonfiltered chromium chloride solutions. The sensitivity, specificity and accuracy values found within this range were 65%, 95% and 80%, respectively. Conclusion. Further investigation is necessary to achieve better sensitivity values.

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.

The awareness of chronic fatigue syndrome: A comparative study in Brazil and the United Kingdom

Objective: While in many Western affluent countries there is widespread awareness of chronic fatigue syndrome (CFS), also known as myalgic encephalomyelitis (ME), little is known about the awareness of CFS/ME in low- and middle-income countries. We compared the awareness of CFS in Brazil and the United Kingdom. Methods: Recognition and knowledge of CFS were assessed among 120 Brazilian specialist doctors in two major university hospitals using a typical case vignette of CFS. We also surveyed 3914 and 2435 consecutive attenders in Brazilian and British primary care clinics, respectively, concerning their awareness of CFS. Results: When given a typical case vignette of CFS, only 30.8% [95% confidence interval (CI), 22.7-39.9%] of Brazilian specialist doctors mentioned chronic fatigue or CFS as a possible diagnosis, a proportion substantially lower than that observed in Western affluent countries. Similarly, only 16.2% (95% CI, 15.1-17.4%) of Brazilian primary care attenders were aware of CFS, in contrast to 55.1% (95% CI, 53.1-57.1%) of their British counterparts (P <.001). This difference remained highly significant after controlling for patients` sociodemographic and socioeconomic characteristics (P <.001). Conclusions: The awareness of CFS was substantially lower in Brazil than the United Kingdom. The observed difference may influence patients` help-seeking behavior and both doctors` and patients` beliefs and attitudes in relation to fatigue-related syndromes. Attempts to promote the awareness of CFS should be considered in Brazil, but careful plans are required to ensure the delivery of sound evidence-based information. (c) 2008 Elsevier Inc. All rights reserved.

Application of Real-Time PCR Stool Assay for Helicobacter pylori Detection and Clarithromycin Susceptibility Testing in Brazilian Children

Background: Helicobacter pylori ClariRes assay is a novel commercially available real-time PCR assay allowing H. pylori detection and clarithromycin susceptibility testing in either gastric biopsy or stool specimens. Objective: The aim of this study was to validate the novel biprobe real-time assay in stool specimens from 217 dyspeptic children. Methods: DNA from gastric biopsies and stool specimens were obtained and submitted to the biprobe real time assay for H. pylori detection and clarithromycin susceptibility testing. Results: The sensitivity, specificity, and test accuracy were 69, 100 and 93.9% for the detection of H. pylori infection and 83.3, 100 and 95.6%, for detection of clarithromycin resistance. Conclusion: This assay proved to be appropriate for H. pylori clarithromycin susceptibility testing, particularly in children populations where a high prevalence of clarithromycin-resistant strains is suspected.

HER2 Testing in Breast Carcinoma Very Low Concordance Rate Between Reference and Local Laboratories in Brazil

Breast cancer accounts for approximately one quarter of all cancers in females. HER2 gene amplification or HER2 protein overexpression, detected in about 20% of breast carcinomas, predicts a more aggressive clinical course and determines eligibility for targeted therapy with trastuzumab. HER2 testing has become an essential part of the clinical evaluation of all breast carcinoma patients, and accurate HER2 results are critical in identifying patients who may be benefited from targeted therapy. This study investigated the concordance in the results of HER2 immunohistochemistry assays performed in 500 invasive breast carcinomas between a reference laboratory and 149 local laboratories from all geographic regions of Brazil. Our results showed an overall poor concordance (171 of 500 cases, 34.2%) regarding HER2 results between local and reference laboratories, which may be related to the low-volume load of HER2 assays, inexperience with HER2 scoring system, and/or technical issues related to immunohistochemistry in local laboratories. Standardization of HER2 testing with rigorous quality control measures by local laboratories is highly recommended to avoid erroneous treatment of breast cancer patients.

Integrating toxicity testing in the wastewater management of chemical storage terminals - A proposal based on a ten-year study

Wastewater control at storage terminals of liquid chemical products in bulk is very difficult because of the variety of products handled in the facilities generating effluents of variable composition. The main objective of this work was to verify if the Vibrio fischeri acute toxicity test could be routinely included in the wastewater management of those facilities along with physical and chemical analysis in order to evaluate and improve the quality of the generated effluents. The study was performed in two phases before and after the implementation of better operational practices/treatment technologies. Chemical oxygen demand (COD) and toxicity of treated effluents did not correlate showing that effluents with low COD contain toxic substances and non-biodegradable organic matter, which may be not degraded when discharged into the aquatic environment. Segregation of influents or pre-treatment based on toxicity results and biodegradability index were implemented in the facilities generating significant improvements in the quality of final effluents with reduction of Biochemical oxygen demand (BOD) and toxicity. The integration of physical and chemical analysis with the V.fischeri toxicity test turned out to be an excellent tool for wastewater management in chemical terminals allowing rapid decision making for pollution control and prevention measures. Reuse of rain water was also proposed and when implemented by the facilities resulted in economical and environmental benefits. (C) 2010 Elsevier B.V. All rights reserved.

Pulmonary function testing in quadriplegic subjects

Study design: Cross-sectional study. Objective: Pulmonary functional capacity in 23 Brazilian quadriplegic subjects (ASIA A), aged 30 (9.5) years, weight 66 (10.75) kg, height 176 (7) cm, was investigated at 42 ( 64) months postinjury. Setting: University Hospital-UNICAMP, Campinas, Brazil. Method: Subjects performed forced vital capacity ( FVC) and maximal voluntary ventilation (MVV) tests while seated in their standard wheelchairs. Forced Expired Volume after 1 s (FEV1) and FVC/FEV1 ratio were calculated from these tests. Values obtained were compared to three prediction equations from the literature that are used specifically for spinal cord subjects and include different variables in their formulae, such as age, gender, height, postinjury time and injury level. Data are expressed as median (interquartile interval). Differences between values were demonstrated by median confidence interval with significance level set at a 0.05. Results: Obtained data were statistically different from prediction equation results, with FVC 3.11 ( 0.81), 4.46 (0.28), 4.16 (0.33), 4.26 (0.42); FEV1 2.77 (1.03), 3.67 (0.21), 3.66 (0.30), 3.45 (0.39) and MVV 92 (27), 154.2 (11.9), 156.6 (14),157.3 (16.8), where the first value is obtained experimentally and the second, third and fourth values correspond to predicted values. The results obtained from spirometry test in this study differed significantly from the results obtained when prediction equations were used. Conclusion: The use of prediction equations developed to estimate pulmonary function in wheelchair users significantly overestimates pulmonary function of quadriplegic individuals with complete lesions (ASIA group A), in comparison to measured values.

Comparative role of neuropsychological testing in the presurgical evaluation of children with medically intractable epilepsies

In the present study, we evaluated the preoperative demographic, clinical, and neuropsychological variables that could predict postoperative seizure outcome in a group of pediatric epileptic patients. We studied 40 consecutive pediatric patients, ages ranging from 6 to 16 years, that underwent resective surgery for the treatment of medically intractable epilepsy at the Clinical Hospital of RibeirA o pound Preto School of Medicine. We performed ictal electroencephalography (EEG), interictal EEG, magnetic resonance imaging (MRI), and a preoperative neuropsychological assessment in the presurgical workup. The following factors were correlated with seizure outcome: (1) duration of epilepsy, (2) surgery localization, (3) localized Neuropsychological (NPS) Evaluation, (4) ictal EEG, (5) interictal EEG, and (6) MRI. Mental retardation, NPS tests, and the other demographic variables failed to correlate with seizure reduction. The identification of predictor variables of epilepsy surgery outcome could improve the epileptic prognosis and guarantee the children`s full potential development.

Measurement of IgE antibodies to shrimp tropomyosin is superior to skin prick testing with commercial extract and measurement of IgE to shrimp for predicting clinically relevant allergic reactions after shrimp ingestion

Background: Shrimp is a frequent cause of food allergy. Tropomyosin is the major allergen in shrimp, and it shares homology to tropomyosins from other crustaceans, dust mites, cockroach, and parasites. Objective: The aim of this study was to determine the value of detection of IgE to shrimp tropomyosin in the diagnosis of shrimp allergy. Methods: We have studied 35 patients with asthma, rhinitis, or both who were sensitized to Dermatophagoides pteronyssinus. All subjects underwent skin prick testing in addition to double-blind, placebo-controlled food challenges (DBPCFC); oral open challenges; or both with shrimp. Measurements of IgE to shrimp and shrimp tropomyosin were carried out by means of CAP and chimeric ELISA, respectively. Results: Oral challenges confirmed the diagnosis of shrimp allergy in 7 patients. IgE measurement to shrimp tropomyosin was positive in 71.4% of the patients with shrimp allergy. Of the 28 patients without shrimp allergy, only 7.1% (2/28) had IgE to shrimp tropomyosin compared with 25% (7/28) who had IgE to shrimp and 35.7% (10/28) who had positive skin prick test responses to shrimp. Sensitivity was similar for all 3 methods (71.4%); in contrast, specificity of IgE to shrimp tropomyosin (92.8%) was greater than that of IgE to shrimp (75%) and skin prick testing (64.2%). With regard to diagnostic efficiency, measurement of IgE to shrimp tropomyosin was superior to measurement of IgE to shrimp and skin prick testing (88.5%, 74.2%, and 65.7%, respectively). Conclusion: Use of measurements of IgE to shrimp tropomyosin provided added value to the diagnosis of shrimp allergy. (J Allergy Clin Immunol 2010;125:872-8.)