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.

Local-global processing in early-onset schizophrenia: Evidence for an impairment in shifting the spatial scale of attention

In this study we report the results of two experiments on visual attention conducted with patients with early-onset schizophrenia. These experiments investigated the effect of irrelevant spatial-scale information upon the processing of relevant spatial-scale information, and the ability to shift the spatial scale of attention, across consecutive trials, between different levels of the hierarchical stimulus. Twelve patients with early-onset schizophrenia and matched controls performed local-global tasks under: (1) directed attention conditions with a consistency manipulation and (2) divided-attention conditions. In the directed-attention paradigm, the early-onset patients exhibited the normal patterns of global advantage and interference, and were not unduly affected by the consistency manipulation. Under divided-attention conditions, however, the early-onset patients exhibited a local-processing deficit. The source of this local processing deficit lay in the prolonged reaction time to local targets, when these had been preceded by a global target, but not when preceded by a local target. These findings suggest an impaired ability to shift the spatial scale of attention from a global to a local spatial scale in early-onset schizophrenia. (C) 2003 Elsevier Science (USA). All rights reserved.

Impact of on-site testing for maternal syphilis on treatment delays, treatment rates, and perinatal mortality in rural South Africa: a randomised controlled trial

Background: Syphilis remains a significant cause of preventable perinatal death in developing countries with many women remaining untested and thus untreated. Syphilis testing in the clinic (on-site testing) may be a useful strategy to overcome this. We studied the impact of on-site syphilis testing on treatment delays and rates, and perinatal mortality. Methods: We conducted a cluster randomised controlled trial among seven pairs of primary healthcare clinics in rural South Africa, comparing on-site testing complemented by laboratory confirmation versus laboratory testing alone. Intervention clinics used the on-site test conducted by primary care nurses, with results and treatment available within an hour. Control clinics sent blood samples to the provincial laboratory, with results returned 2 weeks later. Results: Of 7134 women seeking antenatal care with available test results, 793 (11.1%) tested positive for syphilis. Women at intervention clinics completed treatment 16 days sooner on average (95% confidence interval: 11 to 21), though there was no significant difference in the proportion receiving adequate treatment at intervention (64%) and control (69%) clinics. There was also no significant difference in the proportion experiencing perinatal loss (3.3% v 5.1%; adjusted risk difference: -0.9%; 95% Cl -4.4 to 2.7). Conclusions: Despite reducing treatment delays, the addition of on-site syphilis testing to existing laboratory testing services did not lead to higher treatment rates or reduce perinatal mortality. However on-site testing for syphilis may remain an important option for improving antenatal care in settings where laboratory facilities are not available.

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.

Auditory lexical decisions in children with specific language impairment

This study examined spoken-word recognition in children with specific language impairment (SLI) and normally developing children matched separately for age and receptive language ability. Accuracy and reaction times on an auditory lexical decision task were compared. Children with SLI were less accurate than both control groups. Two subgroups of children with SLI, distinguished by performance accuracy only, were identified. One group performed within normal limits, while a second group was significantly less accurate. Children with SLI were not slower than the age-matched controls or language-matched controls. Further, the time taken to detect an auditory signal, make a decision, or initiate a verbal response did not account for the differences between the groups. The findings are interpreted as evidence for language-appropriate processing skills acting upon imprecise or underspecified stored representations.

Computational methods for prediction of T-cell epitopes - a framework for modelling, testing, and applications

Computational models complement laboratory experimentation for efficient identification of MHC-binding peptides and T-cell epitopes. Methods for prediction of MHC-binding peptides include binding motifs, quantitative matrices, artificial neural networks, hidden Markov models, and molecular modelling. Models derived by these methods have been successfully used for prediction of T-cell epitopes in cancer, autoimmunity, infectious disease, and allergy. For maximum benefit, the use of computer models must be treated as experiments analogous to standard laboratory procedures and performed according to strict standards. This requires careful selection of data for model building, and adequate testing and validation. A range of web-based databases and MHC-binding prediction programs are available. Although some available prediction programs for particular MHC alleles have reasonable accuracy, there is no guarantee that all models produce good quality predictions. In this article, we present and discuss a framework for modelling, testing, and applications of computational methods used in predictions of T-cell epitopes. (C) 2004 Elsevier Inc. All rights reserved.

Cognitive deficits, length of illness and symptom severity in schizophrenia

Background Research using neuropsychological testing has demonstrated that patients with schizophrenia show deficits in multiple neurocognitive domains. The aim of this study is to identify cognitive deficits that correlate with length of illness and symptom severity. Method Twenty clinically stable outpatients with chronic schizophrenia (18M : 2F) and 14 healthy controls (13M : 1F), matched on age, gender and parental education, were administered a neuropsychological battery consisting of the Hayling Sentence Completion Test (HSCT), WMS-III Verbal Paired Associates & Letter Number Sequencing, Modified Card Sort Test (MCST), Pyramids & Palm Trees Test, National Adult Reading Test (NART), Controlled Oral Word Association Test (COWAT), and WAIS-III. Severity of symptoms was rated with the Structured Clinical Interview – Positive and Negative Syndromes Scale (SCI-PANSS). Results In comparison to controls, patients showed significant deficits on all of the neuropsychological tasks except for the COWAT. MCST total categories, NART, Verbal IQ and arithmetic, similarities & digit symbol of the WAIS-III had the largest effect size between the groups. The longer the illness duration, the poorer the performance on WAISIII block design and the lower the performance IQ score. The poorer the performance on WMS-III letter number sequencing, the greater the positive symptoms, negative symptoms and general psychopathology. Conclusion Compared to controls, patients showed large effect sizes on measures of executive functioning, intelligence, working memory, verbal comprehension and speed of processing. The findings suggest that impairment in executive functioning and performance IQ is associated with length of illness, while impairment in working memory is associated with heightened symptom severity.

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.

The effect of hearing impairment on the vocal characteristics of older people

Measures of vocal intensity, frequency and harshness were compared for 19 hearing-impaired and 21 normal-hearing people over 60 years of age. Significantly greater comfortable intensity levels were found in the hearing-impaired group, but the other measures of frequency and harshness were not significantly different. A large proportion of the subjects in both groups reported a history of gastro-oesophageal reflux (GER), a condition associated with vocal fold pathology and hoarseness. Comparison of the GER and non-GER subjects on the measures of vocal function showed that the female GER speaker exhibited lower frequency on the vowel /u/ than the non-GER subjects. Clinicians need to be aware of the effect of highly prevalent disorders such as hearing impairment and GER on the voices of elderly speakers.