Comparing finite state machine test coverage criteria

To plan testing activities, testers face the challenge of determining a strategy, including a test coverage criterion that offers an acceptable compromise between the available resources and test goals. Known theoretical properties of coverage criteria do not always help and, thus, empirical data are needed. The results of an experimental evaluation of several coverage criteria for finite state machines (FSMs) are presented, namely, state and transition coverage; initialisation fault and transition fault coverage. The first two criteria focus on FSM structure, whereas the other two on potential faults in FSM implementations. The authors elaborate a comparison approach that includes random generation of FSM, construction of an adequate test suite and test minimisation for each criterion to ensure that tests are obtained in a uniform way. The last step uses an improved greedy algorithm.

Trends in systemic lupus erythematosus mortality rates in the state of Sao Paulo, Brazil from 1985 to 2004

Objectives To estimate mortality rates and mortality trends from SLE in the state of Sao Paulo, Brazil. Material and methods The official data bank was used to study all deaths occurred from 1985 to 2004 in which SLE was mentioned as the underlying cause of death. Besides the overall mortality rate, the annual gender- and age-specific mortality rates were estimated for each calendar year by age bracket (0-19 years, 20-39 years, 40-59 years and over 60 years) and for the sub-periods 1985-1995 (first) and 1996-2004 (second), by decades. Chi-square test was used to compare the mortality rates between the two periods, as well the mortality rates according to educational level considering years of study. Pearson correlation coefficient test was used to analyse mortality trends. The crude rates were adjusted for age by the direct method, using the standard Brazilian population in 2000. Results A total of 2,601 deaths (90% female) attributed to SLE were analysed. The mean age at death was significantly higher in the second than in the first sub-period (36.6 +/- 15.6 years vs. 33.9 +/- 14.0 years; p<0.001). The overall adjusted mortality rate was 3.8 deaths/million habitants/year for the entire period and 3.4 deaths/million inhabitants/year for the first and 4.0 deaths/million inhabitants/year for the second sub-period (p<0.001). In each calendar year, the mortality rate was significantly lower for the better educated group. Throughout the period, there was a significant increase in mortality rates only among women over 40. Conclusion SLE patients living in the state of Silo Paulo still die at younger ages than those living in developed countries. Our data do not support the theory that there was an improvement in the SLE mortality rate in the last 20 years in the state of Sao Paulo. Socio-economic factors, such as the difficulty to get medical care and adequate treatment, may be the main factors to explain the worst prognosis for our patients.

Precipitation variability in Sao Paulo State, Brazil

The State of Sao Paulo is the richest in Brazil, responsible for over 30% of the Brazilian gross rate. It has a population of around 30 million and its economy is based on agriculture and industrial products. Any change in climate can have a profound influence on the socio-economics of the State. In order to determine changes in total and extreme rainfall over Sao Paulo State, climate change indices derived from daily precipitation data were calculated using specially designed software. Maps of trends for a subset of 59 rain gauge stations were analysed for the period 1950-1999 and also for a subset of this period, 1990-1999, representing more recent climate. A non-parametric Mann-Kendall test was applied to the time series. Maps of trends for six annual precipitation indices (annual total precipitation (PRCPTOT), very heavy precipitation days (R20mm), events greater than the 95th percentile (R95p), maximum five days precipitation total (RX5day), the length of the largest wet spell (CWD) and the length of the largest dry spell (CDD)) were analysed for the entire period. These exhibited statistically significant trends associated with a wetter climate. A significant increase in PRCPTOT, associated with very heavy precipitation days, were observed at more than 45% of the rain gauge stations. The Mann-Kendall test identified that the positive trend in PRCPTOT is possibly related to the increase in the R95p and R20mm indices. Therefore, the results suggest that there has been a change in precipitation intensity. In contrast, the indices for the more recent shorter time series are significantly different to the longer term indices. The results indicate that intense precipitation is becoming concentrated in a few days and spread over the period when the CDD and R20mm indices show positive trends, while negative ones are seen in the RX5day index. The trends found could be related to many anthropogenic aspects such as biomass burning aerosols and land use.

Upper-mantle seismic anisotropy from SKS splitting in the South American stable platform: A test of asthenospheric flow models beneath the lithosphere

Upper-mantle seismic anisotropy has been extensively used to infer both present and past deformation processes at lithospheric and asthenospheric depths. Analysis of shear-wave splitting (mainly from core-refracted SKS phases) provides information regarding upper-mantle anisotropy. We present average measurements of fast-polarization directions at 21 new sites in poorly sampled regions of intra-plate South America, such as northern and northeastern Brazil. Despite sparse data coverage for the South American stable platform, consistent orientations are observed over hundreds of kilometers. Over most of the continent, the fast-polarization direction tends to be close to the absolute plate motion direction given by the hotspot reference model HS3-NUVEL-1A. A previous global comparison of the SKS fast-polarization directions with flow models of the upper mantle showed relatively poor correlation on the continents, which was interpreted as evidence for a large contribution of ""frozen"" anisotropy in the lithosphere. For the South American plate, our data indicate that one of the reasons for the poor correlation may have been the relatively coarse model of lithospheric thicknesses. We suggest that improved models of upper-mantle flow that are based on more detailed lithospheric thicknesses in South America may help to explain most of the observed anisotropy patterns.

Downregulation of VAPB expression in motor neurons derived from induced pluripotent stem cells of ALS8 patients

Amyotrophic lateral sclerosis (ALS) is an incurable neuromuscular disease that leads to a profound loss of life quality and premature death. Around 10% of the cases are inherited and ALS8 is an autosomal dominant form of familial ALS caused by mutations in the vamp-associated protein B/C (VAPB) gene. The VAPB protein is involved in many cellular processes and it likely contributes to the pathogenesis of other forms of ALS besides ALS8. A number of successful drug tests in ALS animal models could not be translated to humans underscoring the need for novel approaches. The induced pluripotent stem cells (iPSC) technology brings new hope, since it can be used to model and investigate diseases in vitro. Here we present an additional tool to study ALS based on ALS8-iPSC. Fibroblasts from ALS8 patients and their non-carrier siblings were successfully reprogrammed to a pluripotent state and differentiated into motor neurons. We show for the first time that VAPB protein levels are reduced in ALS8-derived motor neurons but, in contrast to over-expression systems, cytoplasmic aggregates could not be identified. Our results suggest that optimal levels of VAPB may play a central role in the pathogenesis of ALS8, in agreement with the observed reduction of VAPB in sporadic ALS.

A comparative study on the effects of the benzodiazepine midazolam and the dopamine agents, apomorphine and sulpiride, on rat behavior in the two-way avoidance test

In recent years. studies in behavioral pharmacology have shown the involvement of dopaminergic mechanisms in avoidance behavior as assessed by the two-way active avoidance test (CAR). Changes in dopaminergic transmission also occur in response to particularly threatening challenges. However, studies on the effects of benzodiazepine (BZD) drugs ill this test are still unclear. Given the interplay of dopamine and other neurotransmitters in the neurobiology of anxiety and schizophrenia the aim of this work was to evaluate the effects of systemic administration of midazolam, the dopaminergic agonist apomorphine, and the D(2) receptor antagonist sulpiride using the CAR, a test that shows good sensitivity to typical neuroleptic drugs. Whereas midazolam did not alter the avoidance response. apomorphine increased and sulpiride reduced them in this test. Escape was not affected by any drug treatments. Heightened avoidance was not associated with the increased motor activity caused by apomorphine. In contrast with the benzodiazepine midazolam, activation of post-synaptic D(2) receptors with apomorphine facilitates, whereas the D(2) receptor antagonism with sulpiride inhibited the acquisition of the avoidance behavior. Together, these results bring additional evidence for a role of D(2) mechanisms in the acquisition of the active avoidance. (C) 2009 Elsevier Inc. All rights reserved.

Anabolic-androgenic steroid treatment induces behavioral disinhibition and downregulation of serotonin receptor messenger RNA in the prefrontal cortex and amygdala of male mice

Nandrolone is an anabolic-androgenic steroid (AAS) that is highly abused by individuals seeking enhanced physical strength or body appearance. Supraphysiological doses of this synthetic testosterone derivative have been associated with many physical and psychiatric adverse effects, particularly episodes of impulsiveness and overt aggressive behavior. As the neural mechanisms underlying AAS-induced behavioral disinhibition are unknown, we investigated the status of serotonergic system-related transcripts in several brain areas of mice receiving prolonged nandrolone administration. Male C57BL/6J mice received 15 mg/kg of nandrolone decanoate subcutaneously once daily for 28 days, and different sets of animals were used to investigate motor-related and emotion-related behaviors or 5-HT-related messenger RNA (mRNA) levels by real-time quantitative polymerase chain reaction. AAS-injected mice had increased body weight, were more active and displayed anxious-like behaviors in novel environments. They exhibited reduced immobility in the forced swim test, a higher probability of being aggressive and more readily attacked opponents. AAS treatment substantially reduced mRNA levels of most investigated postsynaptic 5-HT receptors in the amygdala and prefrontal cortex. Interestingly, the 5-HT(1B) mRNA level was further reduced in the hippocampus and hypothalamus. There was no alteration of 5-HT system transcript levels in the midbrain. In conclusion, high doses of AAS nandrolone in male mice recapitulate the behavioral disinhibition observed in abusers. Furthermore, these high doses downregulate 5-HT receptor mRNA levels in the amygdala and prefrontal cortex. Our combined findings suggest these areas as critical sites for AAS-induced effects and a possible role for the 5-HT(1B) receptor in the observed behavioral disinhibition.

Resistance to cypermethrin, deltamethrin and chlorpyriphos in populations of Rhipicephalus (Boophilus) microplus (Acari: Ixodidae) from small farms of the State of Sao Paulo, Brazil

A field survey of resistance was conducted based on the larval packet test technique with synthetic pyrethroids (cypermethrin and deltamethrin) and organophosphates (chlorpyriphos) in Rhipicephalus (Boophilus) microplus field populations from six different regions of the State of Sao Paulo (Brazil). 82.6% of the populations showed resistance to cypermethrin, 86.36% to deltamethrin and 65.25% to chlorpyriphos, with 50% presenting resistance to both SP and OP acaricide. According to the questionnaires completed by the producers, OP + SP mixtures followed by SP-only formulations were the products most commonly used for controlling the cattle tick in the surveyed areas. The present study showed high occurrence of resistance to SP and OP in the State of Sao Paulo, Brazil and revealed the type of strategy adopted by small dairy farms in this state. This information is fundamental in order to establish the monitoring of resistance on each farm individually, contributing to the rational use of acaricides for the control of R. (B.) microplus. (C) 2011 Elsevier B.V. All rights reserved.

Checking Completeness of Tests for Finite State Machines

In testing from a Finite State Machine (FSM), the generation of test suites which guarantee full fault detection, known as complete test suites, has been a long-standing research topic. In this paper, we present conditions that are sufficient for a test suite to be complete. We demonstrate that the existing conditions are special cases of the proposed ones. An algorithm that checks whether a given test suite is complete is given. The experimental results show that the algorithm can be used for relatively large FSMs and test suites.

Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Can the X(4350) narrow structure be a 1(-+) exotic state?

Using the QCD sum rules we test if the new narrow structure, the X(4350) recently observed by the Belle Collaboration, can be described as a J(PC) = 1(-+) exotic D(s)(*)D(s0)(*) molecular state. We consider the contributions of condensates up to dimension eight, we work at leading order in alpha(s) and we keep terms which are linear in the strange quark mass Ins. The mass obtained for such state is m(Ds*Ds0*) = (5.05 +/- 0.19) GeV. We also consider a molecular 1(-+), D(s)(*)D(s0)(*); current and we obtain m(D*D0*) = (4.92 +/- 0.08) GeV. We conclude that it is not possible to describe the X(4350) structure as a 1(-+) D(s)(*)D(s0)(*) molecular state. (C) 2010 Elsevier B.V. All rights reserved.

The meson Z(+) (4430) as a tetraquark state

We test the validity of the QCD sum rules applied to the meson Z(+)(4430). by considering a diquark-antidiquark type of current with J(P) = 0(-) and with J(P) = 1(-). We find that, with the studied currents, it is possible to find an acceptable Borel window. In such a Borel window we have simultaneously a good OPE convergence and a pole contribution which is bigger than the continuum contribution. We get m(z) = (4.52 +/- 0.09) GeV and m(Z) = (4.84 +/- 0.14) GeV for the currents with J(P) = 0(-) and J(P) = 1(-), respectively. We conclude that the QCD sum rules results favors J(P) = 0(-) quantum numbers for the Z(+) (4430) meson. (C) 2008 Elsevier B.V. All rights reserved.