MODEL PARTITIONS AND COMPACT TEST CASE SUITES

We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method.

Association between muscle strength and the cardiopulmonary status of individuals living with HIV/AIDS

OBJECTIVE: The purpose of this study was to compare aerobic function [anaerobic threshold (%_VVO2-AT), respiratory compensation point (%_VVO2-RCP) and peak oxygen uptake (_VVO2peak)] between physically active patients with HIV/AIDS and matched controls and to examine associations between disease status, poor muscle strength, depression (as estimated by the profile of mood states questionnaire) and the aerobic performance of patients. METHODS: Progressive treadmill test data for %_VVO2-AT (V-slope method), RCP and (_VVO2peak) were compared between 39 male patients with HIV/AIDS (age 40.6¡1.4 years) and 28 male controls (age 44.4¡2.1 years) drawn from the same community and matched for habitual physical activity. Within-patient data were also examined in relation to CD4+ counts (nadir and current data) and peak isokinetic knee torque. RESULTS: AT, RCP and (_VVO2peak) values were generally similar for patients and controls.Within the patient sample, binary classification suggested that AT, RCP and (_VVO2peak) values were not associated with either the nadir or current CD4+ count, but treadmill test variables were positively associated with peak isokinetic knee torque. CONCLUSION: The aerobic performance of physically active patients with HIV/AIDS is generally well conserved. Nevertheless, poor muscle strength is observed in some HIV/AIDS patients, which is associated with lower anaerobic power and (_VVO2peak), suggesting the possibility of enhancing the aerobic performance of patients with weak muscles through appropriate muscle-strengthening activities.

Prevalence of anxiety, depression and quality of life in HTLV-1 infected patients

The HAM/TSP caused by HTLV-1 infection usually affects patients to disabling states, and sometimes can lead them to paraplegia presenting symptoms of depression and anxiety, impacting on quality of life. Objective: The purpose of this study was to evaluate the frequency of depression and anxiety and its impact on quality of life in HTLV-1-infected TSP/HAM patients. Material and Methods: This was a cross-sectional study including 67 asymptomatic (control group) and 63 with TSP/HAM subjects. The instruments used were a demographic questionnaire, scales for anxiety and depression diagnosis (BDI and BAI), questionnaire for the assessment of Quality of Life of the World Health Organization (WHOQOL-Brief) and neurological scale to measure the disability level (Osame’s Disability Status Scale). All patients had HTLV-I diagnosis by serological and molecular approaches, monitored at Instituto de Infectologia Emílio Ribas from May 2008 to July 2009. Data were analyzed statistically by frequencies, the Mann-Whitney test and the Spearman correlation test. Data among groups were analyzed and correlated with functional and severity aspects. Results: The results showed that patients with HAM/TSP compared to asymptomatic carriers had higher rates of depression (p < 0.001) and anxiety (p < 0.001), and impairment on quality of life in the areas of: dissatisfaction with health (p < 0.001), physical (p < 0.001) and the environment (p = 0.003). The main factors that correlated with levels of depression and anxiety and the domains of the WHOQOL-brief were: education, family income and social class. Conclusion: A well conducted evaluation and counseling may help in treatment, for a better quality of life of these patients.

A holistic approach to model-based testing of Web service compositions

The behavior of composed Web services depends on the results of the invoked services; unexpected behavior of one of the invoked services can threat the correct execution of an entire composition. This paper proposes an event-based approach to black-box testing of Web service compositions based on event sequence graphs, which are extended by facilities to deal not only with service behavior under regular circumstances (i.e., where cooperating services are working as expected) but also with their behavior in undesirable situations (i.e., where cooperating services are not working as expected). Furthermore, the approach can be used independently of artifacts (e.g., Business Process Execution Language) or type of composition (orchestration/choreography). A large case study, based on a commercial Web application, demonstrates the feasibility of the approach and analyzes its characteristics. Test generation and execution are supported by dedicated tools. Especially, the use of an enterprise service bus for test execution is noteworthy and differs from other approaches. The results of the case study encourage to suggest that the new approach has the power to detect faults systematically, performing properly even with complex and large compositions. Copyright © 2012 John Wiley & Sons, Ltd.