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.

A comparison of computer-based methods for the determination of onset of muscle contraction using electromyography

Little consensus exists in the literature regarding methods for determination of the onset of electromyographic (EMG) activity. The aim of this study was to compare the relative accuracy of a range of computer-based techniques with respect to EMG onset determined visually by an experienced examiner. Twenty-seven methods were compared which varied in terms of EMG processing (low pass filtering at 10, 50 and 500 Hz), threshold value (1, 2 and 3 SD beyond mean of baseline activity) and the number of samples for which the mean must exceed the defined threshold (20, 50 and 100 ms). Three hundred randomly selected trials of a postural task were evaluated using each technique. The visual determination of EMG onset was found to be highly repeatable between days. Linear regression equations were calculated for the values selected by each computer method which indicated that the onset values selected by the majority of the parameter combinations deviated significantly from the visually derived onset values. Several methods accurately selected the time of onset of EMG activity and are recommended for future use. Copyright (C) 1996 Elsevier Science Ireland Ltd.

Expectancy-based associative and identity priming in pronunciation

Evidence for expectancy-based priming in the pronunciation task was provided in three experiments. In Experiments 1 and 2, a high proportion of associatively related trials produced greater associative priming and superior retrieval of primes in a subsequent test of memory for primes, whereas high- and low-proportion groups showed comparable repetition benefits in perceptual identification of previously presented primes. In Experiment 2, the low-proportion condition had few associatively related pairs hut many identity pairs. In Experiment 3, identity priming was greater in a high- than a low-identity proportion group, with similar repetition benefits and prime retrieval responses for the two groups. These results indicate that when the prime-target relationship is salient, subjects strategically vary their processing of the prime according to the nature of the prime-target relationship.

A controlled trial comparing the efficacy of rice-based and hypotonic glucose oral rehydration solutions in infants and young children with gastroenteritis

A prospective randomized trial was conducted to compare the efficacy of a rice-based oral rehydration solution (ORS) with glucose ORS in infants and children under 5 years of age with acute diarrhoea and mild to moderate dehydration (<10%). One hundred children presenting to a large metropolitan teaching hospital were eligible for entry to the study and were randomized to receive rice ORS or glucose ORS. Outcome measures were stool output (SO), duration of illness (DD) and recovery time to introduction of other fluids (RTF) and diet (RTD). Significant differences were found for all outcome measures in favour of the rice ORS group. Mean SO was lower (160 vs 213 mt; P<0.02), mean DD was reduced (17.3 vs 24.3 h; P = 0.03) and median RTF was decreased (12.7 vs 18.1 h; P< 0.001) in the rice ORS group compared with the glucose ORS group. The median rime to introduction of diet and mean length of hospital stay showed similar significant reductions. Our study has shown rice ORS to be an acceptable alternative to glucose ORS in young children and have shown that it is significantly more effective in reducing the course of diarrhoeal illness and the time taken to return to normal drinking and eating habits.

Nitrogen- and carbon-based isomerism in the copper(II) complexes of 6,13-dimethyl-1,4,8,11-tetraazacyclotetradecane-6,13-diamine

A number of N- and C-based diastereomeric copper(II) complexes of the pendant-arm macrocyclic hexaamines trans- and cis-6,13-dimethyl-1,4,8,11-tetraazacyclotetradecane-6,13-diamine (L-1 and L-2) have been isolated and characterised. The crystal structures of the complexes RRSS-[CuL1(OH2)(2)][ClO4](2), SSRR-[Cu(H2L1)(OClO3)(2)]-[ClO4](2) . 2H(2)O RSRS-[CuL1(OClO3)]ClO4, RSRS-[CuL2(OClO3)]ClO4 and RRSS-[Cu(H2L2)(OClO3)(2)][ClO4](2) have been determined. Some unusual structural and spectroscopic variations are found across this series of diastereomers. The protonation constants of the pendant primary amines are dependent on the relative dispositions of the adjacent macrocyclic secondary amine H atoms, which is indicative of intramolecular hydrogen-bonding interactions.

Melphalan dosing regimens for management of recurrent melanoma by isolated limb perfusion: Application of a physiological pharmacokinetic model based on melphalan distribution in the isolated perfused rat hindlimb

The optimal dosing schedule for melphalan therapy of recurrent malignant melanoma in isolated limb perfusions has been examined using a physiological pharmacokinetic model with data from isolated rat hindlimb perfusions (IRHP), The study included a comparison of melphalan distribution in IRHP under hyperthermia and normothermia conditions. Rat hindlimbs were perfused with Krebs-Henseleit buffer containing 4.7% bovine serum albumin at 37 or 41.5 degrees C at a flow rate of 4 ml/min. Concentrations of melphalan in perfusate and tissues were determined by high performance liquid chromatography with fluorescence detection, The concentration of melphalan in perfusate and tissues was linearly related to the input concentration. The rate and amount of melphalan uptake into the different tissues was higher at 41.5 degrees C than at 37 degrees C. A physiological pharmacokinetic model was validated from the tissue and perfusate time course of melphalan after melphalan perfusion. Application of the model involved the amount of melphalan exposure in the muscle, skin and fat in a recirculation system was related to the method of melphalan administration: single bolus > divided bolus > infusion, The peak concentration of melphalan in the perfusate was also related to the method of administration in the same order, Infusing the total dose of melphalan over 20 min during a 60 min perfusion optimized the exposure of tissues to melphalan whilst minimizing the peak perfusate concentration of melphalan. It is suggested that this method of melphalan administration may be preferable to other methods in terms of optimizing the efficacy of melphalan whilst minimizing the limb toxicity associated with its use in isolated limb perfusion.

A mathematical model for Escherichia coli debris size reduction during high pressure homogenisation based on grinding theory

Experimental data for E. coli debris size reduction during high-pressure homogenisation at 55 MPa are presented. A mathematical model based on grinding theory is developed to describe the data. The model is based on first-order breakage and compensation conditions. It does not require any assumption of a specified distribution for debris size and can be used given information on the initial size distribution of whole cells and the disruption efficiency during homogenisation. The number of homogeniser passes is incorporated into the model and used to describe the size reduction of non-induced stationary and induced E. coil cells during homogenisation. Regressing the results to the model equations gave an excellent fit to experimental data ( > 98.7% of variance explained for both fermentations), confirming the model's potential for predicting size reduction during high-pressure homogenisation. This study provides a means to optimise both homogenisation and disc-stack centrifugation conditions for recombinant product recovery. (C) 1997 Elsevier Science Ltd.

Simulated-annealing-based genetic algorithm for modeling the optical constants of solids

We propose a simulated-annealing-based genetic algorithm for solving model parameter estimation problems. The algorithm incorporates advantages of both genetic algorithms and simulated annealing. Tests on computer-generated synthetic data that closely resemble optical constants of a metal were performed to compare the efficiency of plain genetic algorithms against the simulated-annealing-based genetic algorithms. These tests assess the ability of the algorithms to and the global minimum and the accuracy of values obtained for model parameters. Finally, the algorithm with the best performance is used to fit the model dielectric function to data for platinum and aluminum. (C) 1997 Optical Society of America.

Potential demand for hedging by Australian wheat producers

The potential for hedging Australian wheat with the new Sydney Futures Exchange wheat contract is examined using a theoretical hedging model parametised from previous studies. The optimal hedging ratio for an 'average' wheat farmer was found to be zero under reasonable assumptions about transaction costs and based on previously published measures of risk aversion. The estimated optimal hedging ratios were found by simulation to be quite sensitive to assumptions about the degree of risk aversion. If farmers are significantly more risk averse than is currently believed, then there is likely to be an active interest in the new futures market.

Value congruence in leader-member exchange

In this study, hypotheses were tested that the quality of leader-member exchanges (LMX) depends on congruity of values between leader and member. Data on negotiating latitude and personal values were gathered from 160 members of 30 work groups in Australian organizations. Factor analysis revealed 5 value dimensions: Freedom, Achievement, Mateship, Obedience, and Coping. Analyses of variance supported the hypothesis that LMX quality is higher when leaders and members share achievement and obedience values. Subsequent exploratory analysis, however, indicated that a more complex model based on compatibility of leader authority and member affiliation values may provide a more complete representation.