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.

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.

Traumatic memories: bridging the gap between functional neuroimaging and psychotherapy

Objective: Neuroimaging studies have highlighted important issues related to structural and functional brain changes found in sufferers of psychological trauma that may influence their ability to synthesize, categorize, and integrate traumatic memories. Methods: Literature review and critical analysis and synthesis. Results: Traumatic memories are diagnostic symptoms of post-traumatic stress disorder (PTSD), and the dual representation theory posits separate memory systems subserving vivid re-experiencing (non-hippocampally dependent) versus declarative autobiographical memories of trauma (hippocampally dependent). But the psychopathological signs of trauma are not static over time, nor is the expression of traumatic memories. Multiple memory systems are activated simultaneously and in parallel on various occasions. Neural circuitry interaction is a crucial aspect in the development of a psychotherapeutic approach that may favour an integrative translation of the sensory fragments of the traumatic memory into a declarative memory system. Conclusion: The relationship between neuroimaging findings and psychological approaches is discussed for greater efficacy in the treatment of psychologically traumatized patients.

An inverse method to estimate the moving heat source in machining process

The present work propounds an inverse method to estimate the heat sources in the transient two-dimensional heat conduction problem in a rectangular domain with convective bounders. The non homogeneous partial differential equation (PDE) is solved using the Integral Transform Method. The test function for the heat generation term is obtained by the chip geometry and thermomechanical cutting. Then the heat generation term is estimated by the conjugated gradient method (CGM) with adjoint problem for parameter estimation. The experimental trials were organized to perform six different conditions to provide heat sources of different intensities. This method was compared with others in the literature and advantages are discussed. (C) 2012 Elsevier Ltd. All rights reserved.

Dependence of Generation-Recombination Noise With Gate Voltage in FD SOI MOSFETs

A model for computing the generation-recombination noise due to traps within the semiconductor film of fully depleted silicon-on-insulator MOSFET transistors is presented. Dependence of the corner frequency of the Lorentzian spectra on the gate voltage is addressed in this paper, which is different to the constant behavior expected for bulk transistors. The shift in the corner frequency makes the characterization process easier. It helps to identify the energy position, capture cross sections, and densities of the traps. This characterization task is carried out considering noise measurements of two different candidate structures for single-transistor dynamic random access memory devices.

Assessment of integration of the leprosy program into primary health care in Aracaju, state of Sergipe, Brazil

INTRODUCTION: The aim of this study was to assess the epidemiological and operational characteristics of the Leprosy Program before and after its integration into the Primary healthcare Services of the municipality of Aracaju-Sergipe, Brazil. METHODS: Data were drawn from the national database. The study periods were divided into preintegration (1996-2000) and postintegration (2001-2007). Annual rates of epidemiological detection were calculated. Frequency data on clinico-epidemiological variables of cases detected and treated for the two periods were compared using the Chi-squared (χ2) test adopting a 5% level of significance. RESULTS: Rates of detection overall, and in subjects younger than 15 years, were greater for the postintegration period and were higher than rates recorded for Brazil as a whole during the same periods. A total of 780 and 1,469 cases were registered during the preintegration and postintegration periods, respectively. Observations for the postintegration period were as follows: I) a higher proportion of cases with disability grade assessed at diagnosis, with increase of 60.9% to 78.8% (p < 0.001), and at end of treatment, from 41.4% to 44.4% (p < 0.023); II) an increase in proportion of cases detected by contact examination, from 2.1% to 4.1% (p < 0.001); and III) a lower level of treatment default with a decrease from 5.64 to 3.35 (p < 0.008). Only 34% of cases registered from 2001 to 2007 were examined. CONCLUSIONS: The shift observed in rates of detection overall, and in subjects younger than 15 years, during the postintegration period indicate an increased level of health care access. The fall in number of patients abandoning treatment indicates greater adherence to treatment. However, previous shortcomings in key actions, pivotal to attaining the outcomes and impact envisaged for the program, persisted in the postintegration period.

Contribuição da inclusão de polpa cítrica e casca de soja para a qualidade da silagem de resíduo úmido de cervejaria

Com o objetivo de avaliar a produção da silagem e o uso de aditivos no processo de ensilagem do resíduo úmido de cervejaria, foram realizados 5 tratamentos: controle (C: ensilagem de 100% de resíduo úmido de cervejaria); PC15 (15% de polpa cítrica); PC30 (30% de polpa cítrica); CS15 (15% de casca de soja); CS30 (30% de casca de soja) – com base na matéria fresca do resíduo de cervejaria. As silagens foram confeccionadas em baldes plásticos com 252mm de altura e 245mm de diâmetro (0,06174m³), e amostras foram coletadas para análises bromatológicas, pH, nitrogênio amoniacal, digestão in vitro de matéria seca, ácidos orgânicos e perfil microbiológico. Os resultados foram analisados pelo programa computacional Statistical Analysis System (Statistical..., 1985), sendo verificada a normalidade dos resíduos pelo Teste de Shapiro-Wilk (PROC UNIVARIATE), e as variâncias, pelo Teste de Hartley. Os efeitos dos níveis de adição foram separados por meio de contrastes polinomiais utilizando o nível de significância de 5%. Houve aumento do teor de matéria seca, carboidratos solúveis, ácido lático, digestão in vitro de matéria seca, da população de bactérias ácido láticas e redução do pH, ácido butírico, propiônico e nitrogênio amoniacal a partir das inclusões de polpa cítrica e casca de soja, sendo os melhores resultados encontrados para o tratamento com inclusão de 30% de polpa cítrica (P<0,05). A ensilagem do bagaço de malte por si só é uma alternativa para o produtor rural como suporte alimentar e confecção de silagem de qualidade que pode ser incrementada com o uso de aditivos a serem avaliados de acordo com a relação custo-benefício para eficiência da produção