Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Weathering of hydrocarbons in mangrove sediments: testing the effects of using dispersants to treat oil spills

This field study was a combined chemical and biological investigation of the relative effects of using dispersants to treat oil spills impacting mangrove habitats. The aim of the chemistry was to determine whether dispersant affected the short- or long-term composition of a medium range crude oil (Gippsland) stranded in a tropical mangrove environment in Queensland, Australia. Sediment cores from three replicate plots of each treatment (oil only and oil plus dispersant) were analyzed for total hydrocarbons and for individual molecular markers (alkanes, aromatics, triterpanes, and steranes). Sediments were collected at 2 days, then 1, 7, 13 and 22 months post-spill. Over this time, oil in the six treated plots decreased exponentially from 36.6 +/- 16.5 to 1.2 +/- 0.8 mg/g dry wt. There was no statistical difference in initial oil concentrations, penetration of oil to depth, or in the rates of oil dissipation between oiled or dispersed oil plots. At 13 months, alkanes were >50% degraded, aromatics were similar to 30% degraded based upon ratios of labile to resistant markers. However, there was no change in the triterpane or sterane biomarker signatures of the retained oil. This is of general forensic interest for pollution events. The predominant removal processes were evaporation (less than or equal to 27%) and dissolution (greater than or equal to 56%), with a lag-phase of 1 month before the start of significant microbial degradation (less than or equal to 7%). The most resistant fraction of the oil that remained after 7 months (the higher molecular weight hydrocarbons) correlated with the initial total organic carbon content of the soil. Removal rate in the Queensland mangroves was significantly faster than that observed in the Caribbean and was related to tidal flushing. (C) 1999 Elsevier Science Ltd. All rights reserved.

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.

Effect of chloride concentration on the electrochemical treatment of a synthetic tannery wastewater

The electrochemical treatment of a synthetic tannery wastewater prepared with 30 compounds used in animal skin processing was studied. Electrolyses were performed in a one-compartment flow cell at a current density of 20 mA cm(-2), using a dimensionally stable anode (DSA (R)) of composition Ti/Ir(0.10)Sn(0.90)O(2) as the working electrode. Effects of chloride concentration and presence of sulfate were evaluated. Variation in the concentration of phenolic compounds as a function of electrolysis time revealed a first-order exponential decay; faster phenol removals were obtained with increasing chloride concentration in the wastewater. Lower phenol removals were obtained in the presence of sulfate. Higher chloride concentrations led to a faster decrease in total organic carbon (TOC), chemical oxygen demand (COD), and absorbance values at 228 nm. Faster wastewater color removal, higher current efficiency and lower energy consumption were also obtained. This electrochemical treatment was also able to reduce the wastewater toxicity for Daphnia similis. (C) 2008 Elsevier Ltd. All rights reserved.

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.

Morphological and electrochemical investigation of RuO(2)-Ta(2)O(5) oxide films prepared by the Pechini-Adams method

Preparation methods can profoundly affect the structural and electrochemical properties of electrocatalytic coatings. In this investigation, RuO(2)-Ta(2)O(5) thin films containing between 10 and 90 at.% Ru were prepared by the Pechini-Adams method. These coatings were electrochemically and physically characterized by cyclic voltammetry, scanning electron microscopy (SEM), energy dispersive X-ray spectroscopy (EDX), X-ray photoelectron spectroscopy (XPS) and X-ray diffraction (XRD). The composition and morphology of the oxide were investigated before and after accelerated life tests (ALT) by EDX and SEM. SEM results indicate typical mud-flat-cracking morphology for the majority of the films. High resolution SEMs reveal that pure oxide phases exhibit nanoporosity while binary compositions display a very compact structure. EDX analyses reveal considerable amounts of Ru in the coating even after total deactivation. XRD indicated a rutile-type structure for RuO(2) and orthorhombic structure for Ta(2)O(5). XPS data demonstrate that the binding energy of Ta is affected by Ru addition in the thin films, but the binding energy of Ru is not likewise influenced by Ta. The stability of the electrodes was evaluated by ALT performed at 750 mA cm(-2) in 80 degrees C 0.5 mol dm(-3) H(2)SO(4). The performance of electrodes prepared by the Pechini-Adams method is 100% better than that of electrodes prepared by standard thermal decomposition.

Investigation of the electrical and electrochemical properties of nanocomposites from V2O5, polypyrrole, and polyaniline

In this work, an investigation of the electrical and electrochemical properties responsible for the energy storage capability of nanocomposites has been carried out. We demonstrate that, in the case of the V2O5 xerogel and the nanocomposites polypyrrole (Ppy)/V2O5 and polyaniline (PANI)/V2O5, the quadratic logistic equation (QLE) can be used to fit the inverse of the resistance values as a function of the injected charge in non-steady-state conditions. This contributes to a phenomenological understanding of the lithium ion and electron transport. The departure of the experimental curve from the fitting observed for the V2O5 xerogel can be attributed to the trapping sites formed during the lithium electroinsertion, which was observed by electrochemical impedance spectroscopy. The amount of trapping sites was obtained on the basis of the QLE. Similar values used to fit the inverse of the resistance were also used to fit the absorbance changes, which is also associated with the small polaron hopping from the V(IV) to the V(V) sites. On the other hand, there was good agreement between the experimental and the theoretical data when the profile of the inverse of the resistance as a function of the amount of inserted lithium ions of the nanocomposites Ppy/V2O5 and PANI/ V2O5 was concerned. We suggest that the presence of the conducting polymers is responsible for the different electrical profile of the V2O5 xerogel compared with those of the nanocomposites. In the latter case, interactions between the lithium ions and oxygen atoms from V2O5 are shielded, thus decreasing the trapping effect of lithium ions in the V2O5 sites. The different values of the lithium ion diffusion coefficient into these intercalation materials are in agreement with this hypothesis.

Self-assembled naphthalenediimide derivative films for light-assisted electrochemical reduction of oxygen

This naphthalene diimide derivative, DC18, forms highly conjugated semiconducting stacked assemblies over electrodes after electrochemical conditioning. These molecular materials are very efficient towards electrochemical photoreduction of oxygen under visible light.

Electrochemical oxidation of synthetic tannery wastewater in chloride-free aqueous media

The electrochemical treatment of a synthetic tannery wastewater, prepared with several compounds used by finishing tanneries, was studied in chloride-free media. Boron-doped diamond (Si/BDD), antimony-doped tin dioxide (Ti/SnO(2)-Sb), and iridium-antimony-doped tin dioxide (Ti/SnO(2)-Sb-Ir)were evaluated as anode. The influence of pH and current density on the treatment was assessed by means of the parameters used to measure the level of organic contaminants in the wastewater; i.e., total phenols, chemical oxygen demand (COD), total organic carbon (TOC), and absorbance. Results showed that faster decrease in these parameters occurred when the Si/BDD anode was used. Good results were obtained with the Ti/SnO(2)-Sb anode, but its complete deactivation was reached after 4h of electrolysis at 25 mA cm(-2), indicating that the service life of this electrode is short. The Ti/SnO(2)-Sb-Ir anode is chemically and electrochemically more stable than the Ti/SnO(2)-Sb anode, but it is not suitable for the electrochemical treatment under the studied conditions. No significant changes were observed for electrolyses performed at different pH conditions with Si/BDD, and this electrode led to almost complete mineralization after 4 h of electrolysis at 100mAcm(-2). The increase in current density resulted in faster wastewater oxidation, with lower current efficiency and higher energy consumption. Si/BBD proved to be the best electrodic material for the direct electrooxidation of tannery wastewaters. (C) 2010 Elsevier B.V. All rights reserved.