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.

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.

Disposition of MDMA and Metabolites in Human Sweat Following Controlled MDMA Administration

BACKGROUND: Understanding the excretion of 3,4-methylenedioxymethamphetamine (MDMA) and metabolites in sweat is vital for interpretation of sweat tests in drug treatment, criminal justice, and workplace programs. METHODS: Placebo, low (1.0 mg/kg), and high (1.6 mg/kg) doses of oral MDMA were given double-blind in random order to healthy volunteers (n = 15) with histories of MDMA use. Participants resided on the closed clinical research unit for up to 7 days after each dose. Volunteers wore PharmChek (R) sweat patches (n = 640) before, during, and after controlled dosing. Patches were analyzed by solid phase extraction and GC-MS for MDMA, methylenedioxyamphetamine (MDA), 4-hydroxy-3-methoxyamphetamine (HMA), and 4hydroxy-3-methoxymethamphetamine (HMMA). Limits of quantification (LOQ) were 2.5 ng/patch for MDMA and 5 ng/patch for HMA, HMMA, and MDA. RESULTS: MDMA was the primary analyte detected in 382 patches (59.7%), with concentrations up to 3007 ng/patch. MDA was detected in 188 patches (29.4%) at <172 ng/patch, whereas no HMMA or HMA was detected; 224 patches (35.0%) and 60 patches (9.4%) were positive for MDMA and MDA, respectively, at the 25-ng/patch threshold proposed by the Substance Abuse and Mental Health Services Administration. CONCLUSIONS: Sweat testing was shown to be an effective and reliable method for monitoring MDMA use in this controlled MDMA administration study. However, variability in sweat excretion suggests that results should be interpreted qualitatively rather than quantitatively. These data provide a scientific database for interpretation of MDMA sweat test results. (C) 2008 American Association for Clinical Chemistry

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.

Biomimetic in silico devices

We introduce biomimetic in silico devices, and means for validation along with methods for testing and refining them. The devices are constructed from adaptable software components designed to map logically to biological components at multiple levels of resolution. In this report we focus on the liver; the goal is to validate components that mimic features of the lobule (the hepatic primary functional unit) and dynamic aspects of liver behavior, structure, and function. An assembly of lobule-mimetic devices represents an in silico liver. We validate against outflow profiles for sucrose administered as a bolus to isolated, perfused rat livers. Acceptable in silico profiles are experimentally indistinguishable from those of the in situ referent. This new technology is intended to provide powerful Dew tools for challenging our understanding of how biological functional units function in vivo.

Trigeminal pain and quantitative sensory testing in painful peripheral diabetic neuropathy

Objective: To evaluate patients with Diabetes Mellitus type 2 and painful peripheral neuropathy in order to investigate oral complaints and facial somatosensory findings. Research design and methods: Case-control study; 29 patients (12 women, mean age 57.86 yo) with Diabetes Mellitus type 2 and 31 age-gender-matched controls were evaluated with a standardized protocol for general characteristics, orofacial pain, research diagnostic criteria for temporomandibular disorders, visual analogue scale and McGill Pain questionnaire, and a systematic protocol of quantitative sensory testing for bilateral facial sensitivity at the areas innervated by the trigeminal branches, which included the thermal detection by ThermoSensi 2, tactile evaluation with vonFrey filaments, and superficial pain thresholds with a superficial algometer (Micromar). Statistical analysis was performed with Wilcoxon, chi-square, confidence intervals and Spearman (p < 0.05). Results: Orofacial pain was reported by 55.2% of patients, and the most common descriptor was fatigue (50%); 17.2% had burning mouth. Myofascial temporomandibular disorders were diagnosed in 9(31%) patients. The study group showed higher sensory thresholds of pain at the right maxillary branch (p = 0.017) but sensorial differences were not associated with pain (p = 0.608). Glycemia and HbA(1c) were positively correlated with the quantitative sensory testing results of pain (p < 0.05) and cold (p = 0.044) perceptions. Higher pain thresholds were correlated with higher glycemia and glycated hemoglobin (p = 0.027 and p = 0.026). Conclusions: There was a high prevalence of orofacial pain and burning mouth was the most common complaint. The association of loss of pain sensation and higher glycemia and glycated hemoglobin can be of clinical use for the follow-up of DM complications. (C) 2010 Elsevier Ltd. All rights reserved.

Genetic polymorphism in an inflammasome component, cervical mycoplasma detection and female infertility in women undergoing in vitro fertilization

The inflammasome is an inducible cytoplasmic structure that is responsible for production and release of biologically active interleukin-1 (IL-1). A polymorphism in the inflammasome component NALP3 has been associated with decreased IL-1 levels and increased occurrence of vaginal Candida infection. We hypothesized that this polymorphism-induced variation would influence susceptibility to infertility. DNA was obtained from 243 women who were undergoing in vitro fertilization (IVF) and tested for a length polymorphism in intron 2 of the gene coding for NALP3 (gene symbol CIAS1). At the conclusion of testing the findings were analyzed in relation to clinical parameters and IVF outcome. The frequency of the 12 unit repeat allele, associated with maximal inflammasome activity, was 62.3% in cases of female infertility vs. 75.6% in cases where only the male partner had a detectable fertility problem (p = 0.0095). Conversely, the frequency of the 7 unit repeat allele was 28.9% in those with a female fertility problem, 17.0% in women with infertile males and 18.4% in idiopathic infertility (p = 0.0124). Among the women who were cervical culture-positive for mycoplasma the frequency of the 7 unit repeat was 53.7% as opposed to 19.5% in those negative for this infection (p < 0.0001). We conclude that the CIAS1 7 unit repeat polymorphism increases the likelihood of mycoplasma infection-associated female infertility. (C) 2009 Elsevier Ireland Ltd. All rights reserved.

Constipation in intensive care unit: Incidence and risk factors

Purpose: Although gastrointestinal motility disorders are common in critically ill patients, constipation and its implications have received very little attention. We aimed to determine the incidence of constipation to find risk factors and its implications in critically ill patients Materials and Methods: During a 6-month period, we enrolled all patients admitted to an intensive care unit from an universitary hospital who stayed 3 or more days. Patients submitted to bowel surgery were excluded. Results: Constipation occurred in 69.9% of the patients. There was no difference between constipated and not constipated in terms of sex, age, Acute Physiology and Chronic Health Evaluation II, type of admission (surgical, clinical, or trauma), opiate use, antibiotic therapy, and mechanical ventilation. Early (<24 hours) enteral nutrition was associated with less constipation, a finding that persisted at multivariable analysis (P < .01). Constipation was not associated with greater intensive care unit or mortality, length of stay, or days free from mechanical ventilation. Conclusions: Constipation is very common among critically ill patients. Early enteral nutrition is associated with earlier return of bowel function. (C) 2009 Elsevier Inc. 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.

Bladder Compliance What Does it Represent: Can We Measure it, and is it Clinically Relevant?

Aims: To report the conclusion of the Think Thank 8 on Compliance Discussions during the second ICI-RS meeting in 2010. Methods: During a 3-day meeting a group of specialists discussed bladder compliance, what it represents, how it can be measured and if it is clinically relevant. Results: Bladder compliance is the result of a mathematical calculation of the volume required for a unit rise of pressure measured during a cystometric filling. It gives an indication on how the different mechanisms in the bladder wall react on stretching. There is a need of standardization of measurement and suggestions for this are given in the text. Pitfalls are described and how to avoid them. There is a wide range of compliance values in healthy volunteers and groups of patients. Poor compliance needs to be defined better as it can have significant clinical consequences. Prevention and treatment are discussed. Conclusion: If compliance is correctly measured and interpreted, it has importance in urodynamic testing and gives information relevant for clinical management. Neurourol. Urodynam. 30:714-722, 2011. (C) 2011 Wiley-Liss, Inc.