Testing java interrupts and timed waits

Testing concurrent software is difficult due to problems with inherent nondeterminism. In previous work, we have presented a method and tool support for the testing of concurrent Java components. In this paper, we extend that work by presenting and discussing techniques for testing Java thread interrupts and timed waits. Testing thread interrupts is important because every Java component that calls wait must have code dealing with these interrupts. For a component that uses interrupts and timed waits to provide its basic functionality, the ability to test these features is clearly even more important. We discuss the application of the techniques and tool support to one such component, which is a nontrivial implementation of the readers-writers problem.

What do students remember? Episodic memory and the development of schematization

Research examining changes in memory and memory awareness during learning suggests that early in the process, students primarily have representations that are episodic in nature and experience, 'remember' awareness during recall. However, as learning continues and schematization occurs, students' knowledge is more likely to be dominated by semantic memory representations and 'just know' awareness is experienced during recall. The greater the amount of remembering experienced early in learning, the more likely it is that the shift to knowing will occur in students. In this study, university students studied either material rich in distinctive features that may serve as cues to episodic memory, or material lacking in these features. Students' knowledge was tested after a 2-day and a 5-wk interval. In contrast to students who studied the material lacking distinctive features, students who studied the distinctively rich material showed a predominance of remember awareness on the first test, and on the follow-up test showed a predominance of know awareness and were able to recall more details of the learning material. Copyright (C) 2004 John Wiley Sons, Ltd.

A simplified PCR test for early detection of dwarf off-types in micropropagated Cavendish bananas (Musa spp. AAA)

The dwarf somaclonal variant is a major problem affecting micropropagation of the banana cultivar Williams (Musa spp. AAA; subgroup Cavendish). This problem arises from genetic changes that occur during the tissue culture process. Early identification of this problem is difficult and propagators must wait until plants are ex vitro in order to visualise the dwarfism phenotype. In this study, we have improved a SCAR-based molecular diagnostic technique, developed by Damasco et al. [Acta Hortic. 461 (1997) 157], for the early identification of dwarf off-types. We have included a positive internal control in a multiplex PCR and adapted the technique for use with small amounts of fresh in vitro leaf material as PCR template. The control product is a 500 bp fragment from 18S rRNA and is amplified in all tissues irrespective of phenotype. The use of small in vitro leaf material removing the need for genomic DNA extraction. (C) 2004 Elsevier B.V. All rights reserved.

Multivariate monitoring of a biological wastewater treatment process: a case study at Melbourne Water's Western Treatment Plant

Biological wastewater treatment is a complex, multivariate process, in which a number of physical and biological processes occur simultaneously. In this study, principal component analysis (PCA) and parallel factor analysis (PARAFAC) were used to profile and characterise Lagoon 115E, a multistage biological lagoon treatment system at Melbourne Water's Western Treatment Plant (WTP) in Melbourne, Australia. In this study, the objective was to increase our understanding of the multivariate processes taking place in the lagoon. The data used in the study span a 7-year period during which samples were collected as often as weekly from the ponds of Lagoon 115E and subjected to analysis. The resulting database, involving 19 chemical and physical variables, was studied using the multivariate data analysis methods PCA and PARAFAC. With these methods, alterations in the state of the wastewater due to intrinsic and extrinsic factors could be discerned. The methods were effective in illustrating and visually representing the complex purification stages and cyclic changes occurring along the lagoon system. The two methods proved complementary, with each having its own beneficial features. (C) 2003 Elsevier B.V. All rights reserved.

GANN: Genetic algorithm neural networks for the detection of conserved combinations of features in DNA

Background: The multitude of motif detection algorithms developed to date have largely focused on the detection of patterns in primary sequence. Since sequence-dependent DNA structure and flexibility may also play a role in protein-DNA interactions, the simultaneous exploration of sequence-and structure-based hypotheses about the composition of binding sites and the ordering of features in a regulatory region should be considered as well. The consideration of structural features requires the development of new detection tools that can deal with data types other than primary sequence. Results: GANN ( available at http://bioinformatics.org.au/gann) is a machine learning tool for the detection of conserved features in DNA. The software suite contains programs to extract different regions of genomic DNA from flat files and convert these sequences to indices that reflect sequence and structural composition or the presence of specific protein binding sites. The machine learning component allows the classification of different types of sequences based on subsamples of these indices, and can identify the best combinations of indices and machine learning architecture for sequence discrimination. Another key feature of GANN is the replicated splitting of data into training and test sets, and the implementation of negative controls. In validation experiments, GANN successfully merged important sequence and structural features to yield good predictive models for synthetic and real regulatory regions. Conclusion: GANN is a flexible tool that can search through large sets of sequence and structural feature combinations to identify those that best characterize a set of sequences.

Protein adduct species in muscle and liver of rats following acute ethanol administration

Aims: Previous immunohistochemical studies have shown that the post-translational formation of aldehyde-protein adducts may be an important process in the aetiology of alcohol-induced muscle disease. However, other studies have shown that in a variety of tissues, alcohol induces the formation of various other adduct species, including hybrid acetaldehyde-malondialdehyde-protein adducts and adducts with free radicals themselves, e.g. hydroxyethyl radical (HER)-protein adducts. Furthermore, acetaldehyde-protein adducts may be formed in reducing or non-reducing environments resulting in distinct molecular entities, each with unique features of stability and immunogenicity. Some in vitro studies have also suggested that unreduced adducts may be converted to reduced adducts in situ. Our objective was to test the hypothesis that in muscle a variety of different adduct species are formed after acute alcohol exposure and that unreduced adducts predominate. Methods: Rabbit polyclonal antibodies were raised against unreduced and reduced aldehydes and the HER-protein adducts. These were used to assay different adduct species in soleus (type I fibre-predominant) and plantaris (type II fibre-predominant) muscles and liver in four groups of rats administered acutely with either [A] saline (control); [B] cyanamide (an aldehyde dehydrogenase inhibitor); [C] ethanol; [D] cyanamide+ethanol. Results: Amounts of unreduced acetaldehyde and malondialdehyde adducts were increased in both muscles of alcohol-dosed rats. However there was no increase in the amounts of reduced acetaldehyde adducts, as detected by both the rabbit polyclonal antibody and the RT1.1 mouse monoclonal antibody. Furthermore, there was no detectable increase in malondialdehyde-acetaldehyde and HER-protein adducts. Similar results were obtained in the liver. Conclusions: Adducts formed in skeletal muscle and liver of rats exposed acutely to ethanol are mainly unreduced acetaldehyde and malondialdehyde species.

Predictive genetic test decisions for Huntington's disease: Elucidating the test/no-test dichotomy

Predictive genetic testing for serious, mature-onset genetic illness represents a unique context in health decision making. This article presents findings from an exploratory qualitative Australian-based study into the decision making of individuals at risk for Huntington's disease (HD) with regard to predictive genetic testing. Sixteen in-depth interviews were conducted with a range of at-risk individuals. Data analysis revealed four discrete decision-making positions rather than a 'to test' or not to test' dichotomy. A conceptual dimension of (non-)openness and (non-)engagement characterized the various decisions. Processes of decision making and a concept of 'test readiness' were identified. Findings from this research, while not generalizable, are discussed in relation to theoretical frameworks and stage models of health decision making, as well as possible clinical implications.

Using the floatability characterisation test rig for industrial flotation plant design

Industrial flotation plant design is a complex process involving many aspects, one of which is the use of pilot-scale plants to test industrial plant flow sheets. Once test work on a pilot-scale has been performed, scale-up of these results to the full-scale plant must be performed. This paper describes scale-up test work performed on the Floatability Characterisation Test Rig (FCTR). The FCTR is a self-contained, highly instrumented mobile pilot plant designed to determine flotation model parameters and to develop and validate flotation plant modelling, scale-up and simulation methodologies.

Supporting the software testing process through specification animation

Achieving consistency between a specification and its implementation is an important part of software development. In this paper, we present a method for generating passive test oracles that act as self-checking implementations. The implementation is verified using an animation tool to check that the behavior of the implementation matches the behavior of the specification. We discuss how to integrate this method into a framework developed for systematically animating specifications, which means a tester can significantly reduce testing time and effort by reusing work products from the animation. One such work product is a testgraph: a directed graph that partially models the states and transitions of the specification. Testgraphs are used to generate sequences for animation, and during testing, to execute these same sequences on the implementation.