Dealing with non-determinism in testing concurrent java components

The testing of concurrent software components can be difficult due to the inherent non-determinism present in these components. For example, if the same test case is run multiple times, it may produce different results. This non-determinism may lead to problems with determining expected outputs. In this paper, we present and discuss several possible solutions to this problem in the context of testing concurrent Java components using the ConAn testing tool. We then present a recent extension to the tool that provides a general solution to this problem that is sufficient to deal with the level of non-determinism that we have encountered in testing over 20 components with ConAn. © 2005 IEEE

Challenges in molecular testing in non-small-cell lung cancer patients with advanced disease

Lung cancer diagnostics have progressed greatly in the previous decade. Development of molecular testing to identify an increasing number of potentially clinically actionable genetic variants, using smaller samples obtained via minimally invasive techniques, is a huge challenge. Tumour heterogeneity and cancer evolution in response to therapy means that repeat biopsies or circulating biomarkers are likely to be increasingly useful to adapt treatment as resistance develops. We highlight some of the current challenges faced in clinical practice for molecular testing of EGFR, ALK, and new biomarkers such as PDL1. Implementation of next generation sequencing platforms for molecular diagnostics in non-small-cell lung cancer is increasingly common, allowing testing of multiple genetic variants from a single sample. The use of next generation sequencing to recruit for molecularly stratified clinical trials is discussed in the context of the UK Stratified Medicine Programme and The UK National Lung Matrix Trial.

Sensitization Prevalence, Antibody Cross-Reactivity and Immunogenic Peptide Profile of Api g 2, the Non-Specific Lipid Transfer Protein 1 of Celery

Background: Celery (Apium graveolens) represents a relevant allergen source that can elicit severe reactions in the adult population. To investigate the sensitization prevalence and cross-reactivity of Api g 2 from celery stalks in a Mediterranean population and in a mouse model. Methodology: 786 non-randomized subjects from Italy were screened for IgE reactivity to rApi g 2, rArt v 3 (mugwort pollen LTP) and nPru p 3 (peach LTP) using an allergen microarray. Clinical data of 32 selected patients with reactivity to LTP under investigation were evaluated. Specific IgE titers and cross-inhibitions were performed in ELISA and allergen microarray. Balb/c mice were immunized with purified LTPs; IgG titers were determined in ELISA and mediator release was examined using RBL-2H3 cells. Simulated endolysosomal digestion was performed using microsomes obtained from human DCs. Results: IgE testing showed a sensitization prevalence of 25.6% to Api g 2, 18.6% to Art v 3, and 28.6% to Pru p 3 and frequent co-sensitization and correlating IgE-reactivity was observed. 10/32 patients suffering from LTP-related allergy reported symptoms upon consumption of celery stalks which mainly presented as OAS. Considerable IgE cross-reactivity was observed between Api g 2, Art v 3, and Pru p 3 with varying inhibition degrees of individual patients' sera. Simulating LTP mono-sensitization in a mouse model showed development of more congruent antibody specificities between Api g 2 and Art v 3. Notably, biologically relevant murine IgE cross-reactivity was restricted to the latter and diverse from Pru p 3 epitopes. Endolysosomal processing of LTP showed generation of similar clusters, which presumably represent T-cell peptides. Conclusions: Api g 2 represents a relevant celery stalk allergen in the LTP-sensitized population. The molecule displays common B cell epitopes and endolysosomal peptides that encompass T cell epitopes with pollen and plant-food derived LTP.

Developing and implementing an open and non-proprietary device description for FOUNDATION fieldbus based on software standards

Support for interoperability and interchangeability of software components which are part of a fieldbus automation system relies on the definition of open architectures, most of them involving proprietary technologies. Concurrently, standard, open and non-proprietary technologies, such as XML, SOAP, Web Services and the like, have greatly evolved and been diffused in the computing area. This article presents a FOUNDATION fieldbus (TM) device description technology named Open-EDD, based on XML and other related technologies (XLST, DOM using Xerces implementation, OO, XMIL Schema), proposing an open and nonproprietary alternative to the EDD (Electronic Device Description). This initial proposal includes defining Open-EDDML as the programming language of the technology in the FOUNDATION fieldbus (TM) protocol, implementing a compiler and a parser, and finally, integrating and testing the new technology using field devices and a commercial fieldbus configurator. This study attests that this new technology is feasible and can be applied to other configurators or HMI applications used in fieldbus automation systems. (c) 2008 Elsevier B.V. All rights reserved.

Improving wheat simulation capabilities in Australia from a cropping systems perspective - II. Testing simulation capabilities of wheat growth

To simulate cropping systems, crop models must not only give reliable predictions of yield across a wide range of environmental conditions, they must also quantify water and nutrient use well, so that the status of the soil at maturity is a good representation of the starting conditions for the next cropping sequence. To assess the suitability for this task a range of crop models, currently used in Australia, were tested. The models differed in their design objectives, complexity and structure and were (i) tested on diverse, independent data sets from a wide range of environments and (ii) model components were further evaluated with one detailed data set from a semi-arid environment. All models were coded into the cropping systems shell APSIM, which provides a common soil water and nitrogen balance. Crop development was input, thus differences between simulations were caused entirely by difference in simulating crop growth. Under nitrogen non-limiting conditions between 73 and 85% of the observed kernel yield variation across environments was explained by the models. This ranged from 51 to 77% under varying nitrogen supply. Water and nitrogen effects on leaf area index were predicted poorly by all models resulting in erroneous predictions of dry matter accumulation and water use. When measured light interception was used as input, most models improved in their prediction of dry matter and yield. This test highlighted a range of compensating errors in all modelling approaches. Time course and final amount of water extraction was simulated well by two models, while others left up to 25% of potentially available soil water in the profile. Kernel nitrogen percentage was predicted poorly by all models due to its sensitivity to small dry matter changes. Yield and dry matter could be estimated adequately for a range of environmental conditions using the general concepts of radiation use efficiency and transpiration efficiency. However, leaf area and kernel nitrogen dynamics need to be improved to achieve better estimates of water and nitrogen use if such models are to be use to evaluate cropping systems. (C) 1998 Elsevier Science B.V.

The Swiss heroin trials: testing alternative approaches

Over half a million heroin misusers receive oral methadone maintenance treatment world-wide1 but the maintenance prescription of injectable opioid drugs, like heroin, remains controversial. In 1992 Switzerland began a large scale evaluation of heroin and other injectable opiate prescribing that eventually involved 1035 misusers. 2 3 The results of the evaluation have recently been reported.4 These show that it was feasible to provide heroin by intravenous injection at a clinic, up to three times a day, for seven days a week. This was done while maintaining good drug control, good order, client safety, and staff morale. Patients were stabilised on 500 to 600 mg heroin daily without evidence of increasing tolerance. Retention in treatment was 89% at six months and 69% at 18 months.4 The self reported use of non-prescribed heroin fell signifianctly, but other drug use was minimally affected. The death rate was 1% per year, and there were no deaths from overdose among participants . . . [Full text of this article]

Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

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.

Non-invasive detection of aortic and coronary atherosclerosis in homozygous familial hypercholesterolemia by 64 slice multi-detector row computed tomography angiography

Homozygous familial hypercholesterolemia (HoFH) is a rare disorder characterized by the early onset of atherosclerosis, often at the ostia of coronary arteries. In this study we document for the first time that aortic and coronary atherosclerosis can be detected using 64 slice multiple detector row computed tomographic coronary angiography (CTCA). We studied five HoFH patients (three females, two males, mean age 19.8 +/- 2.9 years, age range 15-23 years, with a mean low density lipoprotein (LDL) cholesterol 618 +/- 211 mg/dL) using 64 slice CTCA. None of the patients showed evidence of ischemia with standard exercise testing. Calcified and mixed atherosclerotic plaques adjacent to or compromising the coronary artery ostia were found in all study subjects. Coronary plaques causing significant obstruction were found in one patient, who had previously undergone coronary artery bypass surgery and aortic valve replacement. Two other patients were noted to have non-obstructive calcified, mixed and non-calcified coronary artery plaques. Our data suggest that CTCA could be a useful non-invasive method for detection of early aortic and coronary atherosclerosis specifically affecting the coronary ostia in HoFH subjects. (c) 2007 Elsevier Ireland Ltd. All rights reserved.

Testing for Market Power in Multiple-Input, Multiple-Output Industries: The Australian Grains and Oilseeds Industries

Recent empirical studies have found significant evidence of departures from competition in the input side of the Australian bread, breakfast cereal and margarine end-product markets. For example, Griffith (2000) found that firms in some parts of the processing and marketing sector exerted market power when purchasing grains and oilseeds from farmers. As noted at the time, this result accorded well with the views of previous regulatory authorities (p.358). In the mid-1990s, the Prices Surveillence Authority (PSA 1994) determined that the markets for products contained in the Breakfast Cereals and Cooking Oils and Fats indexes were "not effectively competitive" (p.14). The PSA consequently maintained price surveillence on the major firms in this product group. The Griffith result is also consistent with the large number of legal judgements against firms in this sector over the past decade for price fixing or other types of non-competitive behaviour. For example, bread manufacturer George Weston was fined twice during 2000 for non-competitive conduct and the ACCC has also recently pursued and won cases against retailer Safeway in grains and oilseeds product lines.

An in vitro study of non-axial forces upon the retention of an O-ring attachment

Objective The purpose of this study was to evaluate the retention force of an O-ring attachment system in different inclinations to the ideal path of insertion, using devices to compensate angulations. Material and methods Two implants were inserted into an aluminum base, and ball attachments were screwed to implants. Cylinders with O-rings were placed on ball attachments and connected to the test device using positioners to compensate implant angulations (0 degrees, 7 degrees, and 14 degrees). Plexiglass bases were used to simulate implant angulations. The base and the test device were positioned in a testing apparatus, which simulated insertion/removal of an overdenture. A total of 2900 cycles, simulating 2 years of overdenture use, were performed and 36 O-rings were tested. The force required for each cycle was recorded with computer software. Longitudinal sections of ball attachment-positioner-cylinder with O-rings of each angulation were obtained to analyze the relationship among them, and O-ring sections tested in each angulation were compared with an unused counterpart. A mixed linear model was used to analyze the data, and the comparison was performed by orthogonal contrasts (alpha=0.05). Results At 0 degrees, the retention force decreased significantly over time, and the retention force was significantly different in all comparisons, except from 12 to 18 months. When the implants were positioned at 7 degrees, the retention force was statistically different at 0 and 24 months. At 14 degrees, significant differences were found from 6 and 12 to 24 months. Conclusions Within the limitations of this study, it was concluded that O-rings for implant/attachments perpendicular to the occlusal plane were adequately retentive over the first year and that the retentive capacity of O-ring was affected by implant inclinations despite the proposed positioners. To cite this article:Rodrigues RCS, Faria ACL, Macedo AP, Sartori IAM, de Mattos MGC, Ribeiro RF. An in vitro study of non-axial forces upon the retention of an O-ring attachment.Clin. Oral Impl. Res. 20, 2009; 1314-1319.doi: 10.1111/j.1600-0501.2009.01742.x.

Outcomes of transient evoked otoacoustic emission testing in 6-year-old school children: A comparison with pure tone screening and tympanometry

Objectives: (1) To establish test performance measures for Transient Evoked Otoacoustic Emission testing of 6-year-old children in a school setting; (2) To investigate whether Transient Evoked Otoacoustic Emission testing provides a more accurate and effective alternative to a pure tone screening plus tympanometry protocol. Methods: Pure tone screening, tympanometry and transient evoked otoacoustic emission data were collected from 940 subjects (1880 ears), with a mean age of 6.2 years. Subjects were tested in non-sound-treated rooms within 22 schools. Receiver operating characteristics curves along with specificity, sensitivity, accuracy and efficiency values were determined for a variety of transient evoked otoacoustic emission/pure tone screening/tympanometry comparisons. Results: The Transient Evoked Otoacoustic Emission failure rate for the group was 20.3%. The failure rate for pure tone screening was found to be 8.9%, whilst 18.6% of subjects failed a protocol consisting of combined pure tone screening and tympanometry results. In essence, findings from the comparison of overall Transient Evoked Otoacoustic Emission pass/fail with overall pure tone screening pass/fail suggested that use of a modified Rhode Island Hearing Assessment Project criterion would result in a very high probability that a child with a pass result has normal hearing (true negative). However, the hit rate was only moderate. Selection of a signal-to-noise ratio (SNR) criterion set at greater than or equal to 1 dB appeared to provide the best test performance measures for the range of SNR values investigated. Test performance measures generally declined when tympanometry results were included, with the exception of lower false alarm rates and higher positive predictive values. The exclusion of low frequency data from the Transient Evoked Otoacoustic Emission SNR versus pure tone screening analysis resulted in improved performance measures. Conclusions: The present study poses several implications for the clinical implementation of Transient Evoked Otoacoustic Emission screening for entry level school children. Transient Evoked Otoacoustic Emission pass/fail criteria will require revision. The findings of the current investigation offer support to the possible replacement of pure tone screening with Transient Evoked Otoacoustic Emission testing for 6-year-old children. However, they do not suggest the replacement of the pure tone screening plus tympanometry battery. (C) 2001 Elsevier Science Ireland Ltd. All rights reserved.

Resolving the puzzle of productive and destructive conflict in culturally heterogeneous workgroups: A communication accommodation theory approach

This study presents an investigation of the communicative behaviors and strategies employed in the stimulation and management of productive and destructive conflict in culturally heterogeneous workgroups. Using communication accommodation theory (CAT), we argue that the type and course of conflict in culturally heterogeneous workgroups is impacted by the communicative behaviors and strategies employed by group members during interactions. Analysis of data from participant observations, non-participant observations, semi-structured interviews, and self-report questionnaires support CA T-based predictions and provide fresh insights into the triggers and management strategies associated with conflict in culturally heterogeneous workgroups. In particular, results indicated that the more groups used discourse management Strategies, the more they experienced productive conflict. In addition, the use of explanation and checking of own and others' understanding was a major feature of productive conflict, while speech interruptions emerged as a strategy leading to potential destructive conflict. Groups where leaders emerged and assisted in reversing communication breakdowns were better able to manage their discourse, and achieved consensus On task processes. Contributions to the understanding of the triggers and the management of productive conflict in culturally heterogeneous workgroups are discussed.