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.

Hormone profile in juvenile systemic lupus erythematosus with previous or current amenorrhea

To identify the underlying mechanism of amenorrhea in juvenile systemic lupus erythematosus (JSLE) patients, thirty-five (11.7%) JSLE patients with current or previous amenorrhea were consecutively selected among the 298 post-menarche patients followed in 12 Brazilian pediatric rheumatology centers. Pituitary gonadotrophins [follicle-stimulating hormone (FSH) and luteinizing hormone (LH)] and estradiol were evaluated in 32/35 patients, and prolactin and total testosterone in 29/35 patients. Patient`s medical records were carefully reviewed according to demographic, clinical and therapeutic findings. The mean duration of amenorrhea was 7.2 +/- A 3.6 months. Low FSH or LH was observed in 7/32 (22%) JSLE patients and normal FSH or LH in 25 (78%). Remarkably, low levels of FSH or LH were associated with higher frequency of current amenorrhea (57% vs. 0%, P = 0.001), higher median disease activity (SLEDAI) and damage (SLICC/ACR-DI) (18 vs. 4, P = 0.011; 2 vs. 0, P = 0.037, respectively) and higher median current dose of prednisone (60 vs. 10 mg/day, P = 0.0001) compared to normal FSH or LH JSLE patients. None of them had decreased ovarian reserve and premature ovarian failure. Six of 29 (21%) patients had high levels of prolactin, and none had current amenorrhea. No correlations were observed between levels of prolactin and SLEDAI, and levels of prolactin and SLICC/ACR-DI scores (Spearman`s coefficient). We have identified that amenorrhea in JSLE is associated with high dose of corticosteroids indicated for active disease due to hypothalamic-pituitary-ovary axis suppression.

Sertraline vs. ELectrical Current Therapy for Treating Depression Clinical Trial - SELECT TDCS: Design, rationale and objectives

Background: Despite significant advancements in psychopharmacology, treating major depressive disorder (MDD) is still a challenge considering the efficacy, tolerability, safety, and economical costs of most antidepressant drugs. One approach that has been increasingly investigated is modulation of cortical activity with tools of non-invasive brain stimulation - such as transcranial magnetic stimulation and transcranial direct current stimulation (tDCS). Due to its profile, tDCS seems to be a safe and affordable approach. Methods and design: The SELECT TDCS trial aims to compare sertraline vs. tDCS in a double-blinded, randomized, factorial trial enrolling 120 participants to be allocated to four groups to receive sertraline + tDCS, sertraline, tDCS or placebo. Eligibility criteria are moderate-to-severe unipolar depression (Hamilton Depression Rating Scale >17) not currently on sertraline treatment. Treatment will last 6 weeks and the primary outcome is depression change in the Montgomery-Asberg Depression Rating Score (MADRS). Potential biological markers that mediate response, such as BDNF serum levels, Val66Met BDNF polymorphism, and heart rate variability will also be examined. A neuropsychological battery with a focus on executive functioning will be administered. Discussion: With this design we will be able to investigate whether tDCS is more effective than placebo in a sample of patients free of antidepressants and in addition, we will be able to secondarily compare the effect sizes of sertraline vs. tDCS and also the comparison between tDCS and combination of tDCS and sertraline. (C) 2010 Elsevier Inc. All rights reserved.

Gingival capillary changes and oral motor weakness in juvenile dermatomyositis

Objective. We assessed the orofacial involvement in JDM, and evaluated the possible association of gingival and mandibular mobility alterations with demographic data, periodontal indices, clinical features, muscle enzyme levels, JDM scores and treatment. Methods. Twenty-six JDM patients were studied and compared with 22 healthy controls. Orofacial evaluation included clinical features, dental and periodontal assessment, mandibular function and salivary flow. Results. The mean current age was similar in patients with JDM and controls (P > 0.05). A unique gingival alteration characterized by erythema, capillary dilation and bush-loop formation was observed only in JDM patients (61 vs 0%, P = 0.0001). The frequencies of altered mandibular mobility and reduced mouth opening were significantly higher in patients with JDM vs controls (50 vs 14%, P = 0.013; 31 vs 0%, P = 0.005). Comparison of the patients with and without gingival alteration showed that the former had lower values of median of cementoenamel junction (-0.26 vs -0.06 mm, P = 0.013) and higher gingival bleeding index (27.7 vs 14%, P = 0.046). This pattern of gingival alteration was not associated with periodontal disease [plaque index (P = 0.332) and dental attachment loss (P = 0.482)]. The medians for skin DAS and current dose of MTX were higher in JDM with gingival alteration (2.5 vs 0.5, P = 0.029; 28.7 vs 15, P = 0.012). A significant association of lower median manual muscle testing with a reduced ability to open the mouth was observed in patients with JDM than those without this alteration (79 vs 80, P = 0.002). Conclusions. The unique gingival pattern associated with cutaneous disease activity, distinct from periodontal disease, suggests that gingiva is a possible target tissue for JDM. In addition, muscle weakness may be a relevant factor for mandibular mobility.

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.

A Bayesian approach to fuzzy hypotheses testing for the estimation of optimal age for vaccination against measles

Fuzzy Bayesian tests were performed to evaluate whether the mother`s seroprevalence and children`s seroconversion to measles vaccine could be considered as ""high"" or ""low"". The results of the tests were aggregated into a fuzzy rule-based model structure, which would allow an expert to influence the model results. The linguistic model was developed considering four input variables. As the model output, we obtain the recommended age-specific vaccine coverage. The inputs of the fuzzy rules are fuzzy sets and the outputs are constant functions, performing the simplest Takagi-Sugeno-Kang model. This fuzzy approach is compared to a classical one, where the classical Bayes test was performed. Although the fuzzy and classical performances were similar, the fuzzy approach was more detailed and revealed important differences. In addition to taking into account subjective information in the form of fuzzy hypotheses it can be intuitively grasped by the decision maker. Finally, we show that the Bayesian test of fuzzy hypotheses is an interesting approach from the theoretical point of view, in the sense that it combines two complementary areas of investigation, normally seen as competitive. (C) 2007 IMACS. Published by Elsevier B.V. All rights reserved.

AIDS in Latin America: assessing the current status of the epidemic and the ongoing response

Background This article provides a summary of the current status of the HIV/AIDS epidemic in Latin America, as well as an outline of the diverse responses to it. Methods A search of international databases (Pubmed and ISI-Web of Science), regional databases (Scielo and Lilacs), regional and national documents and UNAIDS reports. Data are presented according to subregion. Results In Mexico HIV remains concentrated among urban men who have sex with men (MSM), and has been growing among injecting drug users (IDU) and in rural areas in relation to migration. An increasing proportion of women among those affected is observed in all countries in Central America, the most affected region, as well as increasing the impact on other vulnerable groups, such as indigenous populations. The Andean Countries have urban epidemics concentrated among MSM. In Peru, non-traditional vulnerable populations were identified. In the Southern Cone heterosexual transmission became more relevant, probably in connection with IDU epidemics and is increasingly affecting lower income groups. Incidence rates have been declining since 2002 in Brazil, the first country to guarantee free, universal access to antiretrovirals, where one-third of drug-nave patients are still initiating treatment at an advanced stage. Generally, access to treatment has improved as a result of support from the Global Fund and other initiatives, but there are concerns regarding coverage, equity and sustainability. Conclusions HIV is still concentrated among MSM in Latin America. Non-traditional vulnerable groups such as migrants and lower income populations, usually considered part of the general population, deserve attention. Programmes confronting sexual exclusion are still needed. Access to treatment has improved over time, but inequalities persist.

Health in Brazil 4 Chronic non-communicable diseases in Brazil: burden and current challenges

Non-communicable diseases (NCDs) have become a major health priority in Brazil-72% of all deaths were attributable to NCDs in 2007. They are also the main source of disease burden, with neuropsychiatric disorders being the single largest contributor. Morbidity and mortality due to NCDs are greatest in the poor population. Although the crude NCD mortality increased 5% between 1996 and 2007, age-standardised mortality declined by 20%. Declines were primarily for cardiovascular and chronic respiratory diseases, in association with the successful implementation of health policies that lead to decreases in smoking and the expansion of access to primary health care. Of note, however, the prevalence of diabetes and hypertension is rising in parallel with that of excess weight; these increases are associated with unfavourable changes of diet and physical activity. Brazil has implemented major policies for the prevention of NCDs, and its age-adjusted NCD mortality is falling by 1.8% per year. However, the unfavourable trends for most major risk factors pose an enormous challenge and call for additional and timely action and policies, especially those of a legislative and regulatory nature and those providing cost-effective chronic care for individuals affected by NCDs.

Social anxiety disorder: what are we losing with the current diagnostic criteria?

Objective: To assess the rate of comorbidities and the functional impairment associated with the social anxiety disorder (SAD), with an emphasis on the so-called subthreshold clinical signs and symptoms. Method: Psychiatric comorbidities and psychosocial functioning were evaluated in 355 volunteers (college students) who had been diagnosed as SAD (n = 141), Subthreshold SAD (n = 92) or Controls (n = 122). Results: The rate of comorbidities was 71.6% in the SAD group and 50% in subjects with Subthreshold SAD, both significantly greater than Controls (28.7%). Concerning psychosocial functioning, the SAD group had higher impairment than the other two groups in all domains evaluated, and subjects with Subthreshold SAD presented intermediate values. Conclusion: The rates of psychiatric comorbidities and the impairment of psychosocial functioning increase progressively along the spectrum of social anxiety. The fact that Subthreshold SAD causes considerable disability and suffering in comparison with control subjects justifies a review of the validity of the diagnostic criteria.

Application of Real-Time PCR Stool Assay for Helicobacter pylori Detection and Clarithromycin Susceptibility Testing in Brazilian Children

Background: Helicobacter pylori ClariRes assay is a novel commercially available real-time PCR assay allowing H. pylori detection and clarithromycin susceptibility testing in either gastric biopsy or stool specimens. Objective: The aim of this study was to validate the novel biprobe real-time assay in stool specimens from 217 dyspeptic children. Methods: DNA from gastric biopsies and stool specimens were obtained and submitted to the biprobe real time assay for H. pylori detection and clarithromycin susceptibility testing. Results: The sensitivity, specificity, and test accuracy were 69, 100 and 93.9% for the detection of H. pylori infection and 83.3, 100 and 95.6%, for detection of clarithromycin resistance. Conclusion: This assay proved to be appropriate for H. pylori clarithromycin susceptibility testing, particularly in children populations where a high prevalence of clarithromycin-resistant strains is suspected.