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.

Multiresolution spatial databases: Making web-based spatial applications faster

Spatial data has now been used extensively in the Web environment, providing online customized maps and supporting map-based applications. The full potential of Web-based spatial applications, however, has yet to be achieved due to performance issues related to the large sizes and high complexity of spatial data. In this paper, we introduce a multiresolution approach to spatial data management and query processing such that the database server can choose spatial data at the right resolution level for different Web applications. One highly desirable property of the proposed approach is that the server-side processing cost and network traffic can be reduced when the level of resolution required by applications are low. Another advantage is that our approach pushes complex multiresolution structures and algorithms into the spatial database engine. That is, the developer of spatial Web applications needs not to be concerned with such complexity. This paper explains the basic idea, technical feasibility and applications of multiresolution spatial databases.

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.

Compensation for obesity-induced insulin resistance in dogs: Causal web analysis of the associations of leptin and GLP-1.

Obesity affects aspects of glucose homeostasis such as insulin secretion and insulin sensitivity. Hormones secreted by adipocytes like leptin mediate the metabolic consequences of obesity. Incretin hormones like glucagon-like peptide-1 (GLP-1) increase insulin secretion in response to changes in blood glucose concentration and have been proposed to regulate insulin secretion in fasting, overweight dogs. The aim of this study was to examine hormonal mechanisms by which adiposity alters glucose homeostasis, plasma insulin concentration, and insulin sensitivity in spontaneously overweight dogs.

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 structure of a novel insecticidal neurotoxin, omega-atracotoxin-HV1, from the venom of an Australian funnel web spider

A family of potent insecticidal toxins has recently been isolated from the venom of Australian funnel web spiders. Among these is the 37-residue peptide omega-atracotoxin-HV1 (omega-ACTX-HV1) from Hadronyche versuta. We have chemically synthesized and folded omega-ACTX-HV1, shown that it is neurotoxic, ascertained its disulphide bonding pattern, and determined its three-dimensional solution structure using NMR spectroscopy. The structure consists of a solvent-accessible beta-hairpin protruding from a disulphide-bonded globular core comprising four beta-turns. The three intramolecular disulphide bonds form a cystine knot motif similar to that seen in several other neurotoxic peptides. Despite limited sequence identity, omega-ACTX-HV1 displays significant structural homology with the omega-agatoxins and omega-conotoxins, both of which are vertebrate calcium channel antagonists; however, in contrast with these toxins, we show that omega-ACTX-HV1 inhibits insect, but not mammalian, voltage-gated calcium channel currents.

Laboratory wear testing of polyurethane elastomers

A dry sand-rubber wheel abrasion test was used to investigate the wear behaviour of polyurethanes. The dry sand-rubber wheel abrasion test (DSRW test) is an approved ASTM test designed primarily for testing metals, therefore, in this study the set of test conditions was optimized for use with polyurethane elastomers. The wear performance of polyurethanes was assessed for the range of Shore hardness 85A to 65D, and a correlation was identified between the wear rate and the sample hardness. Polyurethane elastomers can be separated into three classes according to their hardness and wear performance, and each class shows a different dependence on the specimen temperature. This work has implications for use of the DSRW test for the prediction of field performance of polyurethanes. (C) Elsevier Science S.A.

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.

Lymphocyte proliferation testing in chromium allergic contact dermatitis

Background. Lymphocyte proliferation testing (LPT) has some advantages over patch testing to diagnose allergic contact dermatitis. It is harmless, objective and can be used in clinical situations where patch testing is not recommended. Unfortunately, significant success has only been achieved with nickel. There are few studies on chromium LPT and they were performed with different methods, leading to inconsistent results. Methods. To determine the best parameters for chromium LPT, we tested 20 patients with allergic contact dermatitis to the metal and 20 controls, using various protocols. Results. The best sensitivity and specificity ratios were achieved with 6-day cultures stimulated with a range from 7.5 x 10(-4) to 5 x 10(-3) mol/L of nonfiltered chromium chloride solutions. The sensitivity, specificity and accuracy values found within this range were 65%, 95% and 80%, respectively. Conclusion. Further investigation is necessary to achieve better sensitivity values.