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.

In situ characterization of stickiness of sugar-rich foods using a linear actuator driven stickiness testing device

A stickiness testing device based on the probe tack test has been designed and tested. It was used to perform in situ characterization of drying hemispherical drops with an initial radius 3.5 mm. Tests were carried out in two drying temperatures, 63 and 95 degreesC. Moisture and temperature histories of the drying drops of fructose, honey, sucrose, maltodextrin and sucrose-maltodextrin mixtures were determined. The rates of moisture evaporation of the fructose solution was the fastest while those of the maltodextrin solution was the lowest. A profile reversal was observed when the temperature profiles of these materials were compared. Different modes of failure were observed during the stickiness tests. Pure fructose and honey solutions remained completely sticky and failed cohesively until the end of drying. Pure sucrose solution remained sticky and failed cohesively until complete crystallization occurred. The surface of the maltodextrin drops formed a skin shortly after the start of drying. It exhibited adhesive failure and reached a state of non-adhesion. Addition of maltodextrin significantly altered the stickiness of sucrose solution. (C) 2002 Elsevier Science Ltd. All rights reserved.

Characterization of the surface stickiness of fructose-maltodextrin solutions during drying

A probe tack test has been used for the in situ characterization of the surface stickiness of hemispherical drops with an initial radius of 3.5 mm while drying. Surface stickiness of drops of fructose and maltodextrin solutions dried at 63degreesC and 95degreesC was determined. The effect of addition of maltodextrin on fructose solution-was studied with fructose/maltodextrin solid mass ratios of 4: 1, 1: 1, and 1:4. Pure fructose solutions remained completely sticky and failed cohesively even when their moisture approached zero. Shortly after the start of drying, the surface of the maltodextrin drops formed a skin, which rapidly grew in thickness. Subsequently the drop surface became completely nonsticky probably due to transformation of outer layers into a glassy material. Addition of malto,dextrin significantly altered the surface stickiness of drops of fructose solutions, demonstrating its use as an effective drying aid.

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Dissolution of sucrose crystals in the anhydrous sorbitol melt

The dissolution of a sugar (sucrose as a model) with higher melting point was studied in a molten food polyol (sorbitol as a model) with lower melting point, both in anhydrous state. A DSC and optical examination revealed the dissolution of anhydrous sucrose crystals (mp 192 degreesC) in anhydrous sorbitol (mp 99 degreesC) liquid melt. The sucrose-sorbitol crystal mixtures at the proportions of 10, 30, 60, 100 and 150 g of sucrose per 100 g of sorbitol were heat scanned in a DSC to above melting endotherm of sorbitol but well below the onset temperature of melting of sucrose at three different temperatures 110, 130 and 150 degreesC. The heat scanning modes used were with or without isothermal holding. The dissolution of sucrose in the sorbitol liquid melt was manifested by an increase in the glass transition temperature of the melt and corresponding decrease in endothermic melting enthalpy of sucrose. At given experimental conditions, as high as 25 and 85% of sucrose dissolved in the sorbitol melt during 1 h of isothermal holding at 110 and 150 degreesC, respectively. Optical microscopic observation also clearly showed the reduction in the size of sucrose crystals in sorbitol melt during the isothermal holding at those temperatures. (C) 2003 Elsevier Science Ltd. All rights reserved.

An Australian PR state?

In their 1994 study Taxation and Representation, Deacon and Golding point to the extensive use of press and public relations professionals by governments to promote policy, and to outmanouvre their opponents. With the UK specifically in mind, they warn: 'we cannot ignore the massive expansion of the public relations state.' (p.6). What distinguishes their approach from the more usual preoccupation with the use of 'spin' to 'package' political leaders is a focus on the institutionalisation of public relations within government. In this paper, I explore the utililty of the concept, and consider what the broad features of an Australian 'PR State' might be.

Solubility of selected esters in supercritical carbon dioxide

The solubility of ethyl propionate, ethyl butyrate, and ethyl isovalerate in supercritical carbon dioxide was measured at temperature ranging from 308.15 to 333.15 K and pressure ranging from 85 to 195 bar. At the same temperature, the solubility of these compounds increases with pressure. The crossover pressure region was also observed in this study. The experimental data were correlated by the semi-empirical Chrastil equation and Peng-Robinson equation of state (EOS) using several mixing rules. The Peng-Robinson EOS gives better solubility prediction than the empirical Chrastil equation. (C) 2002 Elsevier Science B.V. All rights reserved.

Economies of violence: An autobiographical account

This paper uses autobiographical stories to explore various aspects of institutional violence. The stories are taken from a range of institutional settings including schools, academia and commercial enterprises. Each story is used in a dynamic interplay with extant theories and explanations of violence in a mutually explorative and informing manner. Each tale intersects with a different set of issues relating to organisations and violence. The stories and the analysis cohere around the central notion that there exist economies of violence in which violence is exchanged, transacted and within which it circulates. Such economies are constituted and legitimated by discourses, the economy shifts and alters as the surrounding discourses change.