A model of specification-based testing of interactive systems

In this paper we present a model of specification-based testing of interactive systems. This model provides the basis for a framework to guide such testing. Interactive systems are traditionally decomposed into a functionality component and a user interface component; this distinction is termed dialogue separation and is the underlying basis for conceptual and architectural models of such systems. Correctness involves both proper behaviour of the user interface and proper computation by the underlying functionality. Specification-based testing is one method used to increase confidence in correctness, but it has had limited application to interactive system development to date.

Changes in intra-abdominal pressure during postural and respiratory activation of the human diaphragm

In humans, when the stability of the trunk is challenged in a controlled manner by repetitive movement of a limb, activity of the diaphragm becomes tonic but is also modulated at the frequency of limb movement. In addition, the tonic activity is modulated by respiration. This study investigated the mechanical output of these components of diaphragm activity. Recordings were made of costal diaphragm, abdominal, and erector spinae muscle electromyographic activity; intra-abdominal, intrathoracic, and transdiaphragmatic pressures; and motion of the rib cage, abdomen, and arm. During limb movement the diaphragm and transversus abdominis were tonically active with added phasic modulation at the frequencies of both respiration and limb movement. Activity of the other trunk muscles was not modulated by respiration. Intra-abdominal pressure was increased during the period of limb movement in proportion to the reactive forces from the movement. These results show that coactivation of the diaphragm and abdominal muscles causes a sustained increase in intra-abdominal pressure, whereas inspiration and expiration are controlled by opposing activity of the diaphragm and abdominal muscles to vary the shape of the pressurized abdominal cavity.

In vivo measurement of the effect of intra-abdominal pressure on the human spine

In humans, intra-abdominal pressure (IAP) is elevated during many everyday activities. This experiment aimed to investigate the extent to which increased IAP-without concurrent activity of the abdominal or back extensor muscles-produces an extensor torque. With subjects positioned in side lying on a swivel table with its axis at L3, moments about this vertebral level were measured when IAP was transiently increased by electrical stimulation of the diaphragm via the phrenic nerve. There was no electromyographic activity in abdominal and back extensor muscles. When IAP was increased artificially to similar to 15% of the maximum IAP amplitude that could be generated voluntarily with the trunk positioned in flexion, a trunk extensor moment (similar to6 Nm) was recorded. The size of the effect was proportional to the increase in pressure. The extensor moment was consistent with that predicted from a model based on measurements of abdominal cross-sectional area and IAP moment arm. When IAP was momentarily increased while the trunk was flexed passively at a constant velocity, the external torque required to maintain the velocity was increased. These results provide the first in vivo data of the amplitude of extensor moment that is produced by increased IAP. Although the net effect of this extensor torque in functional tasks would be dependent on the muscles used to increase the IAP and their associated flexion torque, the data do provide evidence that IAP contributes, at least in part, to spinal stability. (C) 2001 Elsevier Science Ltd. All rights reserved.

Baseline laboratory bioassay data for spinosad against populations of Australian sheep blowfly, Lucilia cuprina (Wiedemann) (Diptera : Calliphoridae)

Spinosad was an effective larvicide against the Australian sheep blowfly, Lucilia cuprina. A survey of 41 field populations indicated no cross-resistance to spinosad from existing organophosphate resistance. The data presented serve as baseline data for future resistance surveys.

Testing hypotheses about the relationship between cannabis use and psychosis

Aim: To model the impact of rising rates of cannabis use on the incidence and prevalence of psychosis under four hypotheses about the relationship between cannabis use and psychosis. Methods: The study modelled the effects on the prevalence of schizophrenia over the lifespan of cannabis in eight birth cohorts: 1940-1944, 1945-1949, 1950-1954, 1955-1959, 1960-1964, 1965-1969, 1970-1974, 1975-1979. It derived predictions as to the number of cases of schizophrenia that would be observed in these birth cohorts, given the following four hypotheses: (1) that there is a causal relationship between cannabis use and schizophrenia; (2) that cannabis use precipitates schizophrenia in vulnerable persons; (3) that cannabis use exacerbates schizophrenia; and (4) that persons with schizophrenia are more liable to become regular cannabis users. Results: There was a steep rise in the prevalence of cannabis use in Australia over the past 30 years and a corresponding decrease in the age of initiation of cannabis use. There was no evidence of a significant increase in the incidence of schizophrenia over the past 30 years. Data on trends the age of onset of schizophrenia did not show a clear pattern. Cannabis use among persons with schizophrenia has consistently been found to be more common than in the general population. Conclusions: Cannabis use does not appear to be causally related to the incidence of schizophrenia, but its use may precipitate disorders in persons who are vulnerable to developing psychosis and worsen the course of the disorder among those who have already developed it. (C) 2003 Elsevier Science Ireland Ltd. All rights reserved.

Environmental influence on the stress corrosion cracking of rock bolts

In order to understand rock bolt Stress Corrosion Cracking (SCC), a series of experiments have been performed in Linearly Increasing Stress Test (LIST) apparatus. One series of experiments determined the threshold stress of various bolt metallurgies (900 MPa for Steel A, and 800 MPa for Steel B and C). The high values of threshold stress suggest that SCC begins in rock bolts when they are sheared by moving rock strata. Typical crack velocity values have been measured to be 2.5 x 10(-8) m s(-1), indicating that there is not much benefit for rock bolt steel of higher fracture toughness. Another series of experiments were performed to understand the environmental conditions causing SCC of steel A and galvanised Steel A rock bolt steel. SCC only occurred for environmental conditions for which produce hydrogen on the sample surface, leading to hydrogen embrittlement and SCC. Fracture surfaces of LIST samples failed by SCC were found to display the same fracture regions as fracture surfaces of rock bolts failed in service by SCC: Tearing Topography Surface (TTS), Corrugated Irregular Surface (CIS), quasi Micro Void Coalescence (qMVC) and Fast Fracture Surface (FFS). Water chemistry analysis were carried out on samples collected from various Australian mines in order to compare laboratory electrolyte conditions to those found in underground mines.

The effects of predator odors in mammalian prey species: A review of field and laboratory studies

wPrey species show specific adaptations that allow recognition, avoidance and defense against predators. For many mammalian species this includes sensitivity towards predator-derived odors. The typical sources of such odors include predator skin and fur, urine, feces and anal gland secretions. Avoidance of predator odors has been observed in many mammalian prey species including rats, mice, voles, deer, rabbits, gophers, hedgehogs, possums and sheep. Field and laboratory studies show that predator odors have distinctive behavioral effects which include (1) inhibition of activity, (2) suppression of non-defensive behaviors such as foraging, feeding and grooming, and (3) shifts to habitats or secure locations where such odors are not present. The repellent effect of predator odors in the field may sometimes be of practical use in the protection of crops and natural resources, although not all attempts at this have been successful. The failure of some studies to obtain repellent effects with predator odors may relate to (1) mismatches between the predator odors and prey species employed, (2) strain and individual differences in sensitivity to predator odors, and (3) the use of predator odors that have low efficacy. In this regard, a small number of recent studies have suggested that skin and fur-derived predator odors may have a more profound lasting effect on prey species than those derived from urine or feces. Predator odors can have powerful effects on the endocrine system including a suppression of testosterone and increased levels of stress hormones such as corticosterone and ACTH. Inhibitory effects of predator odors on reproductive behavior have been demonstrated, and these are particularly prevalent in female rodent species. Pregnant female rodents exposed to predator odors may give birth to smaller litters while exposure to predator odors during early life can hinder normal development. Recent research is starting to uncover the neural circuitry activated by predator odors, leading to hypotheses about how such activation leads to observable effects on reproduction, foraging and feeding. (c) 2005 Elsevier Ltd. All rights reserved.

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.

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.

Investigating the influence of achievement on self-concept using an intra-class design and a comparison of the PASS and SDQ-1 self-concept tests

Background. The formation and measurement of self-concept were the foci of this research. Aims. The study aimed to investigate the influence of achievement on academic self-concept and to compare the Perception of Ability Scale for Students (PASS, Boersma & Chapman, 1992) with the Self-Description Questionnaire-1 (SDQ-1, Marsh, 1988). Sample. The participants were 479 grade 5 (mean age 126.6 months) coeducational Australian students, located in 18 schools. Method. An intra-class research design was used to investigate the influence of frame-of-reference on self-concept development. Results. As students' academic scores rose above their class mean their self-concepts increased and as students' academic scores fell below their class mean their self-concepts decreased. Students' difference from class mean predicted their self-concept scores. This finding was consistently shown across the reading, spelling, and mathematics domains using test and teaching rating data. A comparison between the PASS and the SDQ-1 demonstrated concurrent validity across self-concept domains. Conclusion. The findings support the notions that the social environment is a significant agent that influences self-concept, and that teacher ratings and standardised tests of achievement and the PASS and the SDQ-1 are valid measures for self-concept research.