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.

Impact of Endovascular Technique in Vascular Surgery Training at a Large University Hospital in Brazil

OBJECTIVES: The aim of this study was to determine the impact of endovascular surgery versus open vascular technique training in a Brazilian teaching service. DESIGN: Cross-sectional study. SETTING: Hospital das Clinicas-Faculty of Medicine University of Sao Paulo, a tertiary institutional hospital Brazil. PARTICIPANTS: We reviewed 1,040 arterial operations performed during 2 distinct time periods: January 1995 to December 1996, and January 2006 to December 2007. Based on the disease treated, the procedures were classified into the following 5 groups: abdominal aortic aneurysms (AAA), aorto-iliac obstructive disease (Al), obstructive disease of the femoropoplitealtibial segment (FP), carotid disease (C), and others (0). The operations were also divided into an endovascular surgery (ES) group and an open surgery (OS) group. We compared the number of open and endovascular procedures for each arterial disease group during both periods. RESULTS: During the 2006-2007 period, 654 patients were treated surgically, whereas over the 1995-1996 period, 386 arterial operations were performed. A. significant increase in endovascular procedures (p < 0.001) was found from the 1995-1996 period to the 2006-201)7 period (35 vs 351, respectively) in all groups, whereas open surgery showed a slight increase in the number of procedures in the AAA and 0 groups only. In the 1995-1996 period, OS was the primary surgical method for all groups, but in the 2006-2007 time frame, OS was performed more frequently than ES only in the AAA and 0 groups. Considering all vascular disease groups, OS was the technique used in 90.9% (351 of 386) of the operations during 1995-1996, whereas in 2006-2007, OS was performed in only 46.3% (303 of 654) of the procedures. CONCLUSIONS: The increase in the number of ES observed over the past decade has had little impact on OS procedures performed at our medical center, not bringing harm to open surgical training. (J Surg 68:19-23. (C) 2011 Association of Program Directors in Surgery. Published by Elsevier Inc. All rights reserved.)

A 12-month randomized controlled trial of balance training in elderly women with ostebporosis: Improvement of quality of life

Objective: Physical and psychological incapacity, including fear of falling is related to decreased satisfaction with life in osteoporosis (OP). The impact of a balance exercise program on improving the quality of life is not well established. We have, therefore, investigated the effect of 12-month Balance Training Program in quality of life, functional balance and falls in elderly OP women. Methods: Sixty consecutive women with senile OP were randomized into a Balance Training Group (BT) of 30 patients and no intervention control group (CG) of 30 patients. The BT program included techniques to improve balance over a period of 12 months (1 h exercise session/week and home-based exercises). The quality of life was evaluated before and at the end of the trial using the Osteoporosis Assessment Questionnaire (OPAQ), functional balance was evaluated by Berg Balance Scale (BBS). Falls in the preceding year were noted and compared to the period of study. Results: The comparison of OPAQ variations (INITIAL-FINAL) revealed a significant improvement in quality of life in all parameters for BT compared to CG: well-being (1.61 +/- 1.44 vs. -1.46 +/- 1.32, p < 0001), physical function (1.30 +/- 1.33 vs. -0.36 +/- 0.82, p < 0.001), psychological status (1.58 +/- 1.36 vs. -1.02 +/- 0.83, p < 0.001), symptoms (2.76 +/- 1.96 vs. -0.63 +/- 0.87, p < 0.001), social interaction (1.01 +/- 1.51 vs. 0.35 +/- 1.08, p < 0.001). Of note, this overall benefit was paralleled by an improvement of BBS (-5.5 +/- 5.67 vs. +0.5 +/- 4.88 p < 0.001) and a reduction of falls in 50% in BT group vs. 26.6% for the CG (RR: 1.88, p < 0.025). Conclusion: The long-term Balance Training Program of OP women provides a striking overall health quality of life improvement in parallel with improving functional balance and reduced falls. (C) 2010 Elsevier Ireland Ltd. All rights reserved.

Relationship between use of technology and employment rates for people with physical disabilities in Australia: Implications for education and training programmes

This study examined the impact of computer and assistive device use on the employment status and vocational modes of people with physical disabilities in Australia. A survey was distributed to people over 15 years in age with physical disabilities living in the Brisbane area. Responses were received from 82 people, including those with spinal cord injuries, cerebral palsy and muscular dystrophy. Of respondents 46 were employed, 22 were unemployed, and 12 were either students or undertaking voluntary work. Three-quarters of respondents used a computer in their occupations, while 15 used assistive devices. Using logistic regression analysis it was found that gender, education, level of computer skill and computer training were significant predictors of employment outcomes. Neither the age of respondent nor use of assistive software were significant predictors. From information obtained in this study guidelines for a training programme designed to maximize the employability of people with physical disabilities were developed.

Development of an IgG4-Based Predictor of Endemic Pemphigus Foliaceus (Fogo Selvagem)

Fogo selvagem (FS) is mediated by pathogenic, predominantly IgG4, anti-desmoglein 1 (Dsg1) autoantibodies and is endemic in Limao Verde, Brazil. IgG and IgG subclass autoantibodies were tested in a sample of 214 FS patients and 261 healthy controls by Dsg1 ELISA. For model selection, the sample was randomly divided into training (50%), validation (25%), and test (25%) sets. Using the training and validation sets, IgG4 was chosen as the best predictor of FS, with index values above 6.43 classified as FS. Using the test set, IgG4 has sensitivity of 92% (95% confidence interval (95% CI): 82-95%), specificity of 97% (95% CI: 89-100%), and area under the curve of 0.97 ( 95% CI: 0.94-1.00). The IgG4 positive predictive value (PPV) in Limao Verde (3% FS prevalence) was 49%. The sensitivity, specificity, and PPV of IgG anti-Dsg1 were 87, 91, and 23%, respectively. The IgG4-based classifier was validated by testing 11 FS patients before and after clinical disease and 60 Japanese pemphigus foliaceus patients. It classified 21 of 96 normal individuals from a Limao Verde cohort as having FS serology. On the basis of its PPV, half of the 21 individuals may currently have preclinical FS and could develop clinical disease in the future. Identifying individuals during preclinical FS will enhance our ability to identify the etiological agent(s) triggering FS.

Simulated-annealing-based genetic algorithm for modeling the optical constants of solids

We propose a simulated-annealing-based genetic algorithm for solving model parameter estimation problems. The algorithm incorporates advantages of both genetic algorithms and simulated annealing. Tests on computer-generated synthetic data that closely resemble optical constants of a metal were performed to compare the efficiency of plain genetic algorithms against the simulated-annealing-based genetic algorithms. These tests assess the ability of the algorithms to and the global minimum and the accuracy of values obtained for model parameters. Finally, the algorithm with the best performance is used to fit the model dielectric function to data for platinum and aluminum. (C) 1997 Optical Society of America.

Model for Differential Nursing Diagnosis of Alterations in Urinary Elimination Based on Fuzzy Logic

Nursing diagnoses associated with alterations of urinary elimination require different interventions, Nurses, who are not specialists, require support to diagnose and manage patients with disturbances of urine elimination. The aim of this study was to present a model based on fuzzy logic for differential diagnosis of alterations in urinary elimination, considering nursing diagnosis approved by the North American Nursing Diagnosis Association, 2001-2002. Fuzzy relations and the maximum-minimum composition approach were used to develop the system. The model performance was evaluated with 195 cases from the database of a previous study, resulting in 79.0% of total concordance and 19.5% of partial concordance, when compared with the panel of experts. Total discordance was observed in only three cases (1.5%). The agreement between model and experts was excellent (kappa = 0.98, P < .0001) or substantial (kappa = 0.69, P < .0001) when considering the overestimative accordance (accordance was considered when at least one diagnosis was equal) and the underestimative discordance (discordance was considered when at least one diagnosis was different), respectively. The model herein presented showed good performance and a simple theoretical structure, therefore demanding few computational resources.

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

An association rule-based method to support medical image diagnosis with efficiency

In this paper, we propose a method based on association rule-mining to enhance the diagnosis of medical images (mammograms). It combines low-level features automatically extracted from images and high-level knowledge from specialists to search for patterns. Our method analyzes medical images and automatically generates suggestions of diagnoses employing mining of association rules. The suggestions of diagnosis are used to accelerate the image analysis performed by specialists as well as to provide them an alternative to work on. The proposed method uses two new algorithms, PreSAGe and HiCARe. The PreSAGe algorithm combines, in a single step, feature selection and discretization, and reduces the mining complexity. Experiments performed on PreSAGe show that this algorithm is highly suitable to perform feature selection and discretization in medical images. HiCARe is a new associative classifier. The HiCARe algorithm has an important property that makes it unique: it assigns multiple keywords per image to suggest a diagnosis with high values of accuracy. Our method was applied to real datasets, and the results show high sensitivity (up to 95%) and accuracy (up to 92%), allowing us to claim that the use of association rules is a powerful means to assist in the diagnosing task.

Enhanced concentrations of relevant markers of nitric oxide formation after exercise training in patients with metabolic syndrome

Metabolic syndrome (MetS) denotes a clustering of risk factors that may affect nitric oxide (NO) bioavailability and predispose to cardiovascular diseases, which are delayed by exercise training. However, no previous study has examined how MetS affects markers of NO formation, and whether exercise training increases NO formation in MetS patients. Here, we tested these two hypotheses. We studied 48 sedentary individuals: 20 healthy controls and 28 MetS patients. Eighteen MetS patients were subjected to a 3-month exercise training (E+group), while the remaining 10 MetS patients remained sedentary (E-group). The plasma concentrations of nitrite, cGMP, and ADMA (asymmetrical dimethylarginine: an endogenous nitric oxide synthase inhibitor), and the whole blood nitrite concentrations were determined at baseline and after exercise training using an ozone-based chemiluminescence assay, and commercial enzyme immunoassays. Thiobarbituric acid reactive species (TBA-RS) were measured in the plasma to assess oxidative stress using a fluorometric method. We found that, compared with healthy subjects, patients with MetS have lower concentrations of markers of NO formation, including whole blood nitrite, plasma nitrite, and plasma cGMP, and increased oxidative stress (all P < 0.05). Exercise training increased the concentrations of whole blood nitrite and cGMP, and decreased both oxidative stress and the circulating concentrations of ADMA (both P < 0.05). These findings show clinical evidence for lower endogenous NO formation in patients with MetS, and for improvements in NO formation associated with exercise training in MetS patients. (C) 2008 Elsevier Inc. All rights reserved.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.