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.

Magnesium in tropical and subtropical soils from north-eastern Australia .1. Magnesium fractions and interrelationships with soil properties

The magnesium (Mg) status of 52 highly weathered, predominantly acidic, surface soils from tropical and subtropical north-eastern Australia was evaluated in a laboratory study. Soils were selected to represent a range of soil types and management histories. Exchangeable Mg concentrations were generally low (median value 0.37 cmol(+)/kg), with deficient levels (<0.3 cmol(+)/kg) being measured in 22 of the soils, highlighting the potential for Mg deficiency as a limitation to plant growth in the region. Furthermore, acid-extractable Mg concentrations, considered a reserve of potentially available Mg, were generally modest (mean and median values, 1.6 and 0.40 cmol(+)/kg, respectively). The total Mg content of the soils studied ranged from 123 to 7894 mg/kg, the majority present in the mineral pool (mean 71%), with smaller proportions in the acid-soluble (mean 11%) and exchangeable (mean 17%) pools, and a negligible amount associated with organic matter (mean 1%). A range of extractant solutions used to displace exchangeable Mg was compared, and found to yield similar results on soils with exchangeable Mg <4 cmol(+)/kg. However, at higher exchangeable Mg concentrations, dilute extractants (0.01 M CaCl2, 0.0125 M BaCl2) displaced less Mg than concentrated extractants (1 M NH4Cl, 1 M NH4OAc, 1 M KCl). The concentrated extractants displaced similar amounts of Mg, thus the choice of extractant is not critical, provided the displacing cation is sufficiently concentrated. Exchangeable Mg was not significantly correlated to organic carbon (P > 0.05), and only 45% of the variation in exchangeable Mg could be explained by a combination of pH(w) and clay content.

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.

A two-dimensional fuzzy random model of soil pore structure

A new conceptual model for soil pore-solid structure is formalized. Soil pore-solid structure is proposed to comprise spatially abutting elements each with a value which is its membership to the fuzzy set ''pore,'' termed porosity. These values have a range between zero (all solid) and unity (all pore). Images are used to represent structures in which the elements are pixels and the value of each is a porosity. Two-dimensional random fields are generated by allocating each pixel a porosity by independently sampling a statistical distribution. These random fields are reorganized into other pore-solid structural types by selecting parent points which have a specified local region of influence. Pixels of larger or smaller porosity are aggregated about the parent points and within the region of interest by controlled swapping of pixels in the image. This creates local regions of homogeneity within the random field. This is similar to the process known as simulated annealing. The resulting structures are characterized using one-and two-dimensional variograms and functions describing their connectivity. A variety of examples of structures created by the model is presented and compared. Extension to three dimensions presents no theoretical difficulties and is currently under development.

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.

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.