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.

An assessment of criteria to evaluate the graduate education program in Brazil

This study sought to identify criteria adequate for the evaluation of graduate programs in Brazil. A survey was the means for collecting the ratings and rankings given by faculty members at selected Brazilian graduate programs. A questionnaire using Likerttype and ranking items asked the importance attributed by each respondent to each of the 109 items listed. The data analysis reported in this dissertation indicates that the most highly rated criteria and indicators were: (1) Library: current periodicals; (2) Facilities: classrooms and laboratories; (3) Library: books and monographs; (4) Academic Environment: discussion, investigation, and expression; and (5) Facilities: research space and equipment. The study presents the means and standard deviations obtained for each indicator and also includes some figures obtained for a relational analysis. This dissertation was developed to provide useful information to educational planners, policy makers, administrators, and evaluators involved in Brazilian higher education or comparative studies. It is suggested that additional investigations concentrate on more specific and in-depth analysis and interpretation of the policymaking processes, i.e., on the study of social facts or organizational and academic variables in their relationships with aspects of the educational system. The appendices section includes a facsimile of the questionnaire and additional data.

Crimes financeiros e política criminal : estudo de acórdãos do TRF da 3ª Região sobre os crimes de gestão fraudulenta e gestão temerária no período de 2001 a 2010

Este trabalho visa produzir conhecimento sobre como o Tribunal Regional Federal da 3ª Região tem decidido sobre dois dos principais crimes afetos à administração das instituições financeiras: gestão fraudulenta e gestão temerária. Trata-se de delitos criticados pela doutrina em razão das falhas de definição dos tipos, desde a edição da Lei 7.492, em 1986. Além disso, a sua previsão legislativa possui características que os aproximam do paradigma do direito penal do risco, ou seja: são crimes de perigo abstrato, que tutelam bem jurídico supra-individual, praticados por administradores detentores do dever de probidade na condução das instituições frente aos riscos inerentes à dinâmica do sistema financeiro. A adoção desse paradigma é controversa na doutrina penal por implicar a flexibilização de garantias do Estado Democrático de Direito sob a perspectiva do paradigma do direito penal tradicional. Diante disso, adota-se a metodologia de análise de conteúdo de decisões para se responder a dois problemas de pesquisa: (1) Quais os critérios adotados pelo Tribunal para a configuração dos crimes? (2) As decisões aproximam-se de algum paradigma de direito penal? As hipóteses objeto de teste são: (1) que o Tribunal considera principalmente a prática da conduta sem analisar a sua potencialidade lesiva sob uma perspectiva ex ante; e, (2) que esse discurso de imputação de responsabilidade aproxima as decisões do paradigma do direito penal do risco, considerados, em contexto, outros elementos presentes nas decisões. Na primeira parte, é feita uma introdução metodológica; na segunda, estabelece-se o referencial teórico; na terceira e na quarta, realizam-se as análises dos resultados quantitativos e qualitativos obtidos com a sua discussão; por fim, procede-se à conclusão, levantando-se novo problema a ser investigado.

Comparison of selection criteria for pre-weaning growth traits of Nelore cattle

Genetic parameters were estimated for pre-weaning average daily gain (ADG) and number of days to gain 160 kg from birth to weaning (D 160) of Nelore cattle. Ranks of animals were compared for these traits. Heritability estimates were 0.17 and 0.10 for ADG (direct and maternal), and 0.14 and 0.09, for D 160 (direct and maternal). Rank correlations between expected breeding values (EBV) were 0.97 and 0.95, for direct and maternal effects, respectively. Despite similar heritability estimates and high rank correlations, results showed that changes in rank could happen when choosing the best animals according to EBV for D 160 or ADG. There were evidences that sires selected using D 160 would produce progeny that achieve a specified market weight at an earlier age and would be more uniform, since this criterion is calculated as a harmonic mean function. (C) 2003 Elsevier B.V. All rights reserved.

Are supplier selection criteria going green? Case studies of companies in Brazil

Purpose - The purpose of this paper is to verify if Brazilian companies are adopting environmental requirements in the supplier selection process. Further, this paper intends to analyze whether there is a relation between the level of environmental management maturity and the inclusion of environmental criteria in the companies' selection of suppliers.Design/methodology/approach - A review of mainstream literature on environmental management, traditional criteria in the supplier selection process and the incorporation of environmental requirements in this context. The empirical study's strategy is based on five Brazilian case studies with industrial companies. Face-to-face interviews and informal conversations are to be held, explanations made by e-mail with representatives from the purchasing, environmental management, logistics and other areas, and observation and the collection of company documents are also employed.Findings - Based on the cases, it is concluded that companies still use traditional criteria to select suppliers, such as quality and cost, and do not adopt environmental requirements in the supplier selection process in a uniform manner. Evidence found shows that the level of environmental management maturity influences the depth with which companies adopt environmental criteria when selecting suppliers. Thus, a company with more advanced environmental management adopts more formal procedures for selecting environmentally appropriate suppliers than others.Originality/value - This is the first known study to verify if Brazilian companies are adopting environmental requirements in the supplier selection process.

Postoperative renal function evaluation, through RIFLE criteria, of elderly patients who underwent femur fracture surgery under spinal anesthesia

Introduction. The postoperative acute renal failure (ARF) incidence in different kinds of surgery has rarely been studied. Age, cardiac dysfunction, previous renal dysfunction, intraoperative hypoperfusion, and use of nephrotoxic medications are mentioned as risk factors for ARF at the postoperative period. The postoperative ARF definition was based on the creatinine increase by the RIFLE classification (R = risk, I = injury, F = failure, L = loss, E = end stage), which corresponds to a 1.5 creatinine increase, two to three times, respectively, above the basal value. This study aimed to evaluate the postoperative ARF incidence in elderly patients who underwent femur fracture surgery under subarachnoid anesthesia and stratify it by the RIFLE criteria. Methods. Ninety patients older than 65 years under spinal anesthesia with fixed dosage of 15 mg of 0.5% isobaric bupivacaine associated with morphine 50 g were studied. Immediate postoperative creatinine was considered basal and compared with maximal creatinine evaluated at 24, 48, and 72 postoperative hours. Results. The mean age of the patients was 80.27 years. ARF incidence was 24.44% and stratified this way: R = 21.11% and I = 3.33%. Conclusions. In conclusion, the postoperative ARF incidence after femur fracture surgery in patients over 65 years was 24.44%. By analyzing the stratification based on the RIFLE classification, the incidence was categorized as Risk (R) = 21.11% and Injury (I) = 3.33%.

Motile sperm organelle morphology examination is stricter than Tygerberg criteria

The present study aimed to evaluate the correlation between the motile sperm organelle morphology examination (MSOME) and a well-known sperm morphology classification (Tygerberg criteria). For MSOME, spermatozoa were analysed at x8400 magnification by inverted microscope equipped with Nomarski differential interference contrast optics, Uplan Apo x 100 oil/1.35 objective lens and variable zoom lens. By Tygerberg criteria, the semen underwent morphological evaluation as described in the literature. Regression analysis demonstrated significant positive correlation between percentage of normal sperm forms by Tygerberg criteria and by MSOME (r = 0.83, P < 0.0001). However, the incidence of normal spermatozoa by Tygerberg criteria (9.4%) was significantly higher (P < 0.0001) than under MSOME (3.3%). Despite the highly positive correlation, MSOME is a much stricter criterion of sperm morphology classification, since it identifies vacuoles and chromatin abnormalities that are not evaluated with the same precision by the analysis of Tygerberg criteria. MSOME should be included among the routine criteria for semen analysis. In addition, MSOME should be used for selection of spermatozoa for intracytoplasmic sperm injection based on the already published literature, as this is a good selection tool.

Salivary cortisol to assess the hypothalamic-pituItary-adrenal axis in healthy children under 3 years old

Objective: To establish reference concentration intervals for salivary cortisol in healthy children, in the morning and in the afternoon, investigating factors that interfere with the concentration measured and the possibility that circadian rhythms are present.Methods: A controlled observational study was carried out with 91 children aged 45 days to 36 months, selected at random and living in Santo Andre, state of São Paulo, Brazil. Inclusion criteria were: healthy, well-nourished, free from fever and corticoid use, subdivided by age group (five subsets) at 6-month intervals. Saliva was collected during home visits in the morning and afternoon. Cortisol was radioimmunoassayed with cortisol 3-oxime-bovine albumin antiserum.Results: the five subsets exhibited higher cortisol concentration during the morning than in the afternoon (p < 0.001), and this difference passed 30% from 1 year of age onwards. Mean concentrations, in nmol/L, were 557.86 (morning) and 346.36 (afternoon). A negative linear correlation was observed between morning concentrations and hours' sleep and frequency of meals (p < 0,05), and in the afternoon with anthropometric measurements (p < 0.05).Conclusions: Reference values for normal salivary cortisol in healthy children were established. At:45 days it was possible to observe circadian rhythms, which reached maturity at 12 months of life. Sleep and food deprivation increased morning cortisol levels.

EULAR/PRINTO/PRES criteria for Henoch-Schonlein purpura, childhood polyarteritis nodosa, childhood Wegener granulomatosis and childhood Takayasu arteritis: Ankara 2008. Part I: Overall methodology and clinical characterisation

Objectives To report methodology and overall clinical, laboratory and radiographic characteristics for Henoch-Schonlein purpura (HSP), childhood polyarteritis nodosa (c-PAN), c-Wegener granulomatosis (c-WG) and c-Takayasu arteritis (c-TA) classification criteria.Methods The preliminary Vienna 2005 consensus conference, which proposed preliminary criteria for paediatric vasculitides, was followed by a EULAR/PRINTO/PRES-supported validation project divided into three main steps. Step 1: retrospective/prospective web-data collection for HSP, c-PAN, c-WG and c-TA, with age at diagnosis <= 18 years. Step 2: blinded classification by consensus panel of a subgroup of 280 cases (128 difficult cases, 152 randomly selected) enabling expert diagnostic verification. Step 3: Ankara 2008 Consensus Conference and statistical evaluation (sensitivity, specificity, area under the curve, kappa-agreement) using as 'gold standard' the final consensus classification or original treating physician diagnosis.Results A total of 1183/1398 (85%) samples collected were available for analysis: 827 HSP, 150 c-PAN, 60 c-WG, 87 c-TA and 59 c-other. Prevalence, signs/symptoms, laboratory, biopsy and imaging reports were consistent with the clinical picture of the four c-vasculitides. A representative subgroup of 280 patients was blinded to the treating physician diagnosis and classified by a consensus panel, with kappa-agreement of 0.96 for HSP (95% CI 0.84 to 1), 0.88 for c-WG (95% CI 0.76 to 0.99), 0.84 for c-TA (95% CI 0.73 to 0.96) and 0.73 for c-PAN (95% CI 0.62 to 0.84), with an overall. of 0.79 (95% CI 0.73 to 0.84).Conclusion EULAR/PRINTO/PRES propose validated classification criteria for HSP, c-PAN, c-WG and c-TA, with substantial/almost perfect agreement with the final consensus classification or original treating physician diagnosis.

Placental Volumes Measured by 3-Dimensional Ultrasonography in Normal Pregnancies From 12 to 40 Weeks' Gestation

Objective. The purpose of this study was to construct nomograms of placental volumes according to gestational age and estimated fetal weight. Methods. From March to November 2007, placental volumes were prospectively measured by ultrasonography in 295 normal pregnancies from 12 to 40 weeks' gestation and correlated with gestational age and estimated fetal weight. Inclusion criteria were healthy women, singleton pregnancies with normal fetal morphologic characteristics on ultrasonography, and confirmed gestational age by first-trimester ultrasonography. Results. The mean placental volume ranged from 83 cm(3) at 12 weeks to 427.7 cm(3) at 40 weeks. Linear regression yielded the following formula for the expected placental volumes (ePV) according to gestational age (GA): ePV` (cm(3)) = -64.68 + 12.31 x GA (r = 0.572; P < .001). Placental volumes also varied according to estimated fetal weight (EFW), and the following mathematical equation was also obtained by linear regression: ePV = 94.19 + 0.09 x EFW (r = 0.505; P < 0.001). Conclusions. Nomograms of placental volumes according to gestational age and estimated fetal weight were constructed, generating reference values.

Multi-criteria spatial decision analysis for demarcation of greenway: A case study of the city of Rio Claro, São Paulo, Brazil

Concern regarding hydrological resources has been a theme of growing importance in Brazil, associating the development of new management policies and maintenance of natural areas related to rivers. An efficient way to maintain natural areas around rivers has been the development of greenways, and some cites have already adopted specific legislation in this respect. Following this growing evolution in the treatment of hydrological resources, this study was carried out to demarcate a greenway along the Corumbatai River in the state of São Paulo, Using multi-criteria analysis in a GIS environment. First, thematic maps were elaborated based on Landsat 7 satellite, aerial photographs and digital topographic base, Supported by field activities. With the use of multi-criteria analysis, for which ad hoe consultations were conducted to attribute weights to the thematic maps, a suitability map was elaborated for the allocation of the greenway. Sites that should be included in the greenway were also selected, such as areas appropriate for leisure activities, and ecologically important areas. Based on the suitability map, a pathway analysis was done, connecting the relevant points of interest, thus generating a greenway that runs along the Corumbatai River, with the aim of contributing to the conservation of this important hydrological resource. (c) 2007 Elsevier B.V. All rights reserved.

The Pediatric Rheumatology International Trials Organization American-College-of-Rheumatology provisional criteria for the evaluation of response to therapy in juvenile systemic lupus erythematosus: Prospective validation of the definition of improvement

Objective. To use the Pediatric Rheumatology International Trials Organization (PRINTO) core set of outcome measures to develop a validated definition of improvement for the evaluation of response to therapy in juvenile systemic lupus erythematosus (SLE).Methods. Thirty-seven experienced pediatric rheumatologists from 27 countries, each of whom had specific experience in the assessment of juvenile SLE patients, achieved consensus on 128 patient profiles as being clinically improved or not improved. Using the physicians' consensus ratings as the gold standard measure, the chi-square, sensitivity, specificity, false-positive and false-negative rates, area under the receiver operating characteristic curve, and kappa level of agreement for 597 candidate definitions of improvement were calculated. Only definitions with a kappa value greater than 0.7 were retained. The top definitions were selected based on the product of the content validity score multiplied by its kappa statistic.Results. The definition of improvement with the highest final score was at least 50% improvement from baseline in any 2 of the 5 core set measures, with no more than 1 of the remaining worsening by more than 30%.Conclusion. PRINTO proposes a valid and reproducible definition of improvement that reflects well the consensus rating of experienced clinicians and that incorporates clinically meaningful change in core set measures in a composite end point for the evaluation of global response to therapy in patients with juvenile SLE. The definition is now proposed for use in juvenile SLE clinical trials and may help physicians to decide whether a child with SLE responded adequately to therapy.

Criteria for peanut seed pre-conditioning for the tetrazolium test

The staining pattern of peanut (Arachis hypogaea L.) seeds with a tetrazolium solution was evaluated to determine the adequate conditions of seed quality evaluations. Three seed lots with different vigour levels and similar moisture content were pre-conditioned using the combination of five periods of time (4, 8, 12, 16 and 20 hours) and four temperatures (20, 25, 30 and 35 degrees C) and then exposed to a 1.0% tetrazolium solution for three hours. The moisture content levels of seeds conditioned for 8 hours at the temperatures of 25, 30 or 35 degrees C, for 12 hours at 20 or 25 degrees C and for 16 hours at 20 degrees C, were above 30%. In this range of moisture level, the staining in tetrazolium was clear and uniform, reflecting an appropriate conditioning of the seeds. However, under a practical point of view, the period of 16 hours at 20 degrees C showed to be the best option, since it allows to start the pre-conditioning an late afternoon of one day and submit the seeds for staining in the following morning.

Prevalence and severity of caries in 3-12-year-old children from three districts with different fluoridation histories in Araraquara, SP, Brazil

Objective: To determine the prevalence and severity of caries in 3-12-year-old children in three districts of the city of Araraquara, Design: An epidemiological survey was carried out by trained and calibrated examiners in 1995 and 1996, using the WHO diagnostic criteria. Setting: Two districts, Araraquara and Vila Xavier had been fluoridated since 1963 and one, Gavião Peixoto, since 1994. Subjects: The study included 1,191 children from Araraquara, 653 from Vila Xavier and 652 from Gavião Peixoto. Outcome measures: Prevalence of caries, dmft, dmfs, DMFT and DMFS indices. Results: Results showed moderate caries experience in all three districts. Differences between districts in relation to fluoridation history were particularly obvious in primary teeth. In 3-4-year-old children, one third of those in Araraquara and Vila Xavier had some caries experience compared to 58% in Gavião Peixoto. In permanent teeth, 20% or less of the mean DMFT was made up of untreated decay in Araraquara and Vila Xavier whereas in Gaviao Peixoto it made up between 50 and 57% of values in 7-12-year-old children. Conclusions: The prevalence and severity of caries was lower in dentitions of children from the districts fluoridated since 1963. Improvements are likely in the future in Gaviao Peixoto as the benefit of fluoridation continues but additional means of promoting oral health are needed in all three districts.