Uma abordagem para a verificação do comportamento excepcional a partir de regras de designe e testes

Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code

POPT: uma abordagem de ensino de programação orientada a problema e testes

There is a growing interest of the Computer Science education community for including testing concepts on introductory programming courses. Aiming at contributing to this issue, we introduce POPT, a Problem-Oriented Programming and Testing approach for Introductory Programming Courses. POPT main goal is to improve the traditional method of teaching introductory programming that concentrates mainly on implementation and neglects testing. POPT extends POP (Problem Oriented Programing) methodology proposed on the PhD Thesis of Andrea Mendonça (UFCG). In both methodologies POPT and POP, students skills in dealing with ill-defined problems must be developed since the first programming courses. In POPT however, students are stimulated to clarify ill-defined problem specifications, guided by de definition of test cases (in a table-like manner). This paper presents POPT, and TestBoot a tool developed to support the methodology. In order to evaluate the approach a case study and a controlled experiment (which adopted the Latin Square design) were performed. In an Introductory Programming course of Computer Science and Software Engineering Graduation Programs at the Federal University of Rio Grande do Norte, Brazil. The study results have shown that, when compared to a Blind Testing approach, POPT stimulates the implementation of programs of better external quality the first program version submitted by POPT students passed in twice the number of test cases (professor-defined ones) when compared to non-POPT students. Moreover, POPT students submitted fewer program versions and spent more time to submit the first version to the automatic evaluation system, which lead us to think that POPT students are stimulated to think better about the solution they are implementing. The controlled experiment confirmed the influence of the proposed methodology on the quality of the code developed by POPT students

Geração de testes a partir de gramáticas: áreas de aplicação

The work proposed by Cleverton Hentz (2010) presented an approach to define tests from the formal description of a program s input. Since some programs, such as compilers, may have their inputs formalized through grammars, it is common to use context-free grammars to specify the set of its valid entries. In the original work the author developed a tool that automatically generates tests for compilers. In the present work we identify types of problems in various areas where grammars are used to describe them , for example, to specify software configurations, which are potential situations to use LGen. In addition, we conducted case studies with grammars of different domains and from these studies it was possible to evaluate the behavior and performance of LGen during the generation of sentences, evaluating aspects such as execution time, number of generated sentences and satisfaction of coverage criteria available in LGen

Uma ferramenta de análise automatizada de técnicas de seleção de testes de regressão baseada em mineração de repositórios de software

The main goal of Regression Test (RT) is to reuse the test suite of the latest version of a software in its current version, in order to maximize the value of the tests already developed and ensure that old features continue working after the new changes. Even with reuse, it is common that not all tests need to be executed again. Because of that, it is encouraged to use Regression Tests Selection (RTS) techniques, which aims to select from all tests, only those that reveal faults, this reduces costs and makes this an interesting practice for the testing teams. Several recent research works evaluate the quality of the selections performed by RTS techniques, identifying which one presents the best results, measured by metrics such as inclusion and precision. The RTS techniques should seek in the System Under Test (SUT) for tests that reveal faults. However, because this is a problem without a viable solution, they alternatively seek for tests that reveal changes, where faults may occur. Nevertheless, these changes may modify the execution flow of the algorithm itself, leading some tests no longer exercise the same stretch. In this context, this dissertation investigates whether changes performed in a SUT would affect the quality of the selection of tests performed by an RTS, if so, which features the changes present which cause errors, leading the RTS to include or exclude tests wrongly. For this purpose, a tool was developed using the Java language to automate the measurement of inclusion and precision averages achieved by a regression test selection technique for a particular feature of change. In order to validate this tool, an empirical study was conducted to evaluate the RTS technique Pythia, based on textual differencing, on a large web information system, analyzing the feature of types of tasks performed to evolve the SUT

Avaliação quanto à presença de microalbuminúria e hiperfiltração glomerular no estágio de tolerância à glicose diminuída

Na fase de tolerância à glicose diminuída (TGD) já estão presentes vários distúrbios metabólicos característicos do diabetes mellitus tipo 2 e fatores de risco que predispõem à vasculopatia. Nosso objetivo foi o de verificar se indivíduos de nossa população, com TGD e normotensos, apresentam elevação da excreção urinária de albumina (EUA) e da depuração de creatinina (D Cr). Teste oral de tolerância à glicose padrão com dosagem de insulina foi realizado, classificando os participantes em dois grupos: com TGD e com tolerância à glicose normal (TGN). Urina do período noturno foi utilizada para a determinação da EUA (imunoturbidimetria) e da D Cr. Os dois grupos não diferiram quanto à EUA e à D Cr. A freqüência de microalbuminúria foi de 21,1 e 3,3%, respectivamente, para os grupos com TGD e TGN (NS). Concluímos que, nesta amostra da população brasileira, indivíduos com TGD, normotensos e com resistência à insulina não apresentaram microalbuminúria e hiperfiltração glomerular.

Metabolismo da glicose cerebral no trauma crânio-encefálico: uma avaliação

Os autores apresentam revisão geral da distribuição e metabolização da glicose, com ênfase para os distúrbios que ocorrem no trauma crânio-encefálico, como a hiperglicemia que ocorre na fase aguda. Finalizando, são feitos comentários sobre as possíveis conseqüências desses conhecimentos sobre os procedimentos atuais, que aconselham a restrição na oferta de glicose a pacientes com catabolismo acentuado e que necessitam poupar o contingente de proteína corporal.

Avaliação do estado nutricional de indivíduos adultos sadios de classe média: ingestão energética e protéica, antropometria, exames bioquímicos do sangue e testes de imunocompetência

Foram estudados parâmetros relacionados ao estado nutricional de 151 adultos sadios, pertencentes à classe média e residindo em Botucatu, SP, Brasil. Valores antropométricos foram maiores nos homens, com exceção da prega tricipital e da área adiposa do braço. O aumento da idade associou-se a aumento dos valores da massa muscular (homens e mulheres) e do peso do corpo, da prega tricipital e da área adiposa do braço (mulheres). Os resultados antropométricos aproximaram-se dos valores referenciais internacionais, mas não foram inteiramente concordantes com eles, sendo inferiores para o peso corpóreo e circunferência e área musculares do braço. Nos indivíduos de menos de 50 anos, os valores da ingestão energética foram ligeiramente inferiores aos níveis recomendados. A ingestão protéica foi adequada. Os valores médios das proteínas e lípides do soro foram similares aos valores de referência. Testes de hipersensibilidade cutânea são apresentados como uma prova funcional para avaliação do estado nutricional.

Testes em modelos weibull na forma estendida de Marshall-Olkin

In survival analysis, the response is usually the time until the occurrence of an event of interest, called failure time. The main characteristic of survival data is the presence of censoring which is a partial observation of response. Associated with this information, some models occupy an important position by properly fit several practical situations, among which we can mention the Weibull model. Marshall-Olkin extended form distributions other a basic generalization that enables greater exibility in adjusting lifetime data. This paper presents a simulation study that compares the gradient test and the likelihood ratio test using the Marshall-Olkin extended form Weibull distribution. As a result, there is only a small advantage for the likelihood ratio test

Testes de hipóteses em modelos de sobrevivência com Fração de cura

Survival models deals with the modeling of time to event data. However in some situations part of the population may be no longer subject to the event. Models that take this fact into account are called cure rate models. There are few studies about hypothesis tests in cure rate models. Recently a new test statistic, the gradient statistic, has been proposed. It shares the same asymptotic properties with the classic large sample tests, the likelihood ratio, score and Wald tests. Some simulation studies have been carried out to explore the behavior of the gradient statistic in fi nite samples and compare it with the classic statistics in diff erent models. The main objective of this work is to study and compare the performance of gradient test and likelihood ratio test in cure rate models. We first describe the models and present the main asymptotic properties of the tests. We perform a simulation study based on the promotion time model with Weibull distribution to assess the performance of the tests in finite samples. An application is presented to illustrate the studied concepts

Dois testes de imageamento com GPR em problemas de controle ambiental em regiões tropicais: migração de dunas e localização de dutos de óleo enterrados

Because the penetration depth of Ground Penetrating Radar (GPR) signals is very limited in high conductive soils, the usefullness of this method in tropical regions is not yet completly known. The main objective of this researh is to test the usefullness of the method in Brazil. Two typical problems where GPR has been used in Europe and North American were choosed for this test: the first one is to characterize the internal structures of a sand body and the second problem is the localization of old buried pipes lines. The first test was done near the city of São Bento do Norte, in the northern coast of Rio Grande do Norte state, NE Brazil. In this region, there is a sand dune that is migrating very fast in the direction of adjacent settling areas. To characterize the internal structure of the dune and its relationship to the prevailing wind direction, as a preliminary step to understand the dune migration, GPR profiles using the 400 MHz frequency were performed in E-W, N-S, NE-SW, and SE-NW directions over the sand dune intersecting at the top of the dune. The practical resolution of the GPR data is around 30 cm; this was sufficient to distinguish individual foresets inside the dune. After applying the elevation correction to the data, we identified that dips of bedding structures are smallest for the N-S profile, which is perpendicular to the dominant wind direction, largest for the E-W profile, and intermediate for the SW-NE and SE-NW profiles. Foresets in the E-W profile dip with angles varying from 2 to 6 degrees. In the E-W profile, the water table and a horizontal truncation interface separating two generations of dunes were identified, as well as an abrupt directional change in the foreset patterns associated to a lateral contact between two dune generations, the older one extending to the west. The used high frequency of 400 Mhz does not allow a penetration deep enough to map completely these internal contacts. The second test was done near Estreito, a small town near Carnaúbais city, also in Rio Grande do Norte state. In this locality, there are several old pipe lines buried in area covered by plantations where digging should be minimized. Several GPR profiles using the 400 and 200 MHz frequency were performed trying to intercept perpendicularly the possible pipe lines. Because of the high conductivity of the soil, the raw original data can hardly be use to identify the pipe lines. However, after an adequate processing over the 200 MHz profiles, six pipe lines were identified. As a global result of the tests, GPR can be very usefull if the conductivity of the ground is low or, in the case of medium conductivities of the soils, if adequate processing is performed

Prevalência de hipertensão arterial em mulheres com passado de distúrbios hiperglicêmicos na gestação

OBJETIVO: Avaliar a freqüência de hipertensão arterial (HA) em mulheres, após 3 a 12 anos da gestação-alvo e na época, classificadas em um dos 4 grupos: TGN: tolerância à glicose normal; HDG: hiperglicemia diária gestacional; DMG: diabetes melito gestacional; DMG e HDG. MÉTODOS: de 3.113 gestantes, participaram 535 mulheres selecionadas por processo aleatório e proporcional ao número em cada grupo. As mulheres TGN diferiam das demais na maioria das características clínicas consideradas. Mediu-se a pressão arterial de todas as participantes. Utilizaram-se os testes de Goodman e do qui-quadrado. RESULTADOS: A freqüência de HA foi maior nas mulheres DMG e HDG que nas TGN (40,9 vs. 23,6%; P<0,05) e intermediária, semelhante entre si e às anteriores, nas HDG e nas DMG (28,3 e 31,2%, respectivamente). Ter sido do grupo DMG e HDG dobra o risco para HA. CONCLUSÃO: Mulheres com passado de DMG e HDG têm risco aumentado para HA, além daquele para o diabetes.

Ocorrência de diabetes melito em mulheres com hiperglicemia em gestação prévia

OBJETIVO: Verificar a freqüência com que ocorria intolerância à glicose (diabetes melito e tolerância à glicose diminuída) em mulheres cuja gestação foi acompanhada e avaliada quanto à tolerância à glicose. MÉTODOS: Num período de até 12 anos da gestação-alvo, de um total de 3.113 gestantes acompanhadas em um serviço de obstetrícia, 551 foram selecionadas por meio de um processo randômico, proporcional à representação dos grupos. Foram avaliadas 529, assim constituídas: 250 normotolerantes à glicose, grupo IA; 120 com hiperglicemia diária, grupo IB; 72 com o teste oral de tolerância à glicose alterado, grupo IIA; e 87 com o teste oral de tolerância à glicose alterado e hiperglicemia diária, grupo IIB. A avaliação constava da medida da glicemia de jejum, que entre 110 e 125 mg/dL, era seguida pelo teste oral de tolerância à glicose. RESULTADOS: A freqüência de ocorrência de diabetes foi 1,6, 16,7, 23,6 e 44,8% nos grupos IA, IB, IIA e IIB, respectivamente (IA <[IB=IIA]demais grupos em idade, paridade e história familiar de diabetes. CONCLUSÃO: Glicemias (perfil glicêmico) elevadas assim como o teste oral de tolerância à glicose alterado durante a gestação são igualmente eficazes em predizer o futuro desenvolvimento de diabetes materno; quando ambos os testes são alterados, tal prognóstico se agrava significativamente.

Associação glicemia de jejum e fatores de risco como teste para rastreamento do diabete gestacional

OBJETIVOS: comparar dois testes de rastreamento do diabete gestacional. MÉTODOS: estudo prospectivo no qual foram avaliadas 356 gestantes, sem diagnóstico prévio do diabete melito, submetidas, de modo independente, a dois testes de rastreamento: associação glicemia de jejum e fator de risco (GJ+FR) e teste oral simplificado de tolerância à glicose (TTG50g). A comparação entre os métodos foi realizada pelos índices de sensibilidade (S), especificidade (E) e valores preditivos positivo (VPP) e negativo (VPN), resultados falsos, positivos (FP) e negativos (FN) e pela diferença dos resultados observados e esperados, avaliada pelo teste do Qui-quadrado (p<0,05). RESULTADOS: a associação GJ+FR determinou a confirmação diagnóstica em maior número de gestantes (187; 52,5%) que o TTG50g (49; 13,8%). Esta diferença foi significativa (p<0,05). A associação GJ+FR apresentou sensibilidade de 83,7% e valor preditivo negativo (VPN) de 95,3% em relação ao TTG50g. CONCLUSÕES: os índices elevados de sensibilidade e VPN da associação GJ+FR em relação ao TTG50g, sua simplicidade, praticidade, baixo custo e fácil replicação permitem sua indicação no rastreamento do diabete gestacional.

Comparison between 100-g glucose tolerance test and two other screening tests for gestational diabetes: combined fasting glucose with risk factors and 50-g glucose tolerance test

CONTEXTO E OBJETIVO: A falta de consenso sobre os protocolos de rastreamento e diagnóstico do diabetes gestacional, associada às dificuldades na realização do teste oral simplificado do diabete gestacional (o teste de tolerância a 100 g de glicose, considerado padrão-ouro) justificam a comparação com alternativas. O objetivo deste trabalho é comparar o teste padrão-ouro a dois testes de rastreamento: associação de glicemia de jejum e fatores de risco (GJ + FR) e o teste oral simplificado de tolerância a 50 g de glicose (TTG 50 g), com o teste de tolerância a 100 g de glicose (TTG 100 g). TIPO DE ESTUDO E LOCAL: Estudo de coorte longitudinal, prospectivo, realizado no Serviço de Ginecologia e Obstetrícia do Hospital Universitário da Universidade Federal de Mato Grosso do Sul. MÉTODOS: 341 gestantes foram submetidas aos três testes. Calcularam-se os índices de sensibilidade (S), especificidade (E), valores preditivos (VPP e VPN), razões de probabilidade (RPP e RPN) e resultados falsos (FP e FN), positivos e negativos da associação GJ + FR e do TTG 50 g em relação ao TTG 100 g. Compararam-se as médias das glicemias de uma hora pós-sobrecarga (1hPS) com 50 e 100 g. Na análise estatística, empregou-se o teste t de Student, com limite de significância de 5%. RESULTADOS: A associação GJ + FR encaminhou mais gestantes (53,9%) para a confirmação diagnóstica que o TTG 50 g (14,4%). Os dois testes foram equivalentes nos índices de S (86,4 e 76,9%), VPN (98,7 e 98,9%), RPN (0,3 e 0,27) e FN (15,4 e 23,1%). As médias das glicemias 1hPS foram semelhantes, 106,8 mg/dl para o TTG 50 g e 107,5 mg/dl para o TTG 100 g. CONCLUSÕES: Os resultados da eficiência diagnóstica associados à simplicidade, praticabilidade e custo referendaram a associação GJ + FR como o mais adequado para o rastreamento. A equivalência das glicemias de 1hPS permitiram a proposição de um novo protocolo de rastreamento e diagnóstico do diabete gestacional, com menores custo e desconforto.

Effect of age and genetic group on characteristics of the scrotum, testes and testicular vascular cones, and on sperm production and semen quality in AI bulls in Brazil

The objectives were to determine the effects of age and genetic group on characteristics of the scrotum, testes and testicular vascular cones (TVC), and on sperm production and semen quality in 107 Bos indicus, B, taurus and cross-bred bulls at three artificial insemination (AI) centers in Brazil. In addition, predictors of sperm production and semen quality were identified. In general, scrotal circumference (SC), scrotal shape score, scrotal neck perimeter, and testicular size (length, width and volume) increased (P < 0.05) with age. Although there were no significant differences among genetic groups for SC or testicular size, B. indicus bulls had the least pendulous scrotal shape, the shortest scrotal neck length, and the greatest scrotal neck perimeter (P < 0.05). Fat covering the TVC was thinner (P < 0.05) in bulls <= 36 months of age and in B. taunts bulls than in older bulls and B. indicus bulls, respectively. Age and genetic group did not affect testicular ultrasonic echotexture. B. indicus bulls tended (P < 0.1) to have the lowest average scrotal surface temperature (SST). In general, ejaculate volume, total number of spermatozoa and number of viable spermatozoa increased (P < 0.05) with age. However, there was no significant effect of age on sperm concentration, motility, major and total defects. The proportion of spermatozoa with minor defects was highest (P < 0.05) in bulls 37-60 months of age. B. indicus bulls had higher (P < 0.01) sperm concentration, total number of spermatozoa and number of viable spermatozoa than B. taunts bulls, with intermediate values for cross-bred bulls. Increased sperm production was associated with increased testicular volume, SC, TVC fat cover, and SST top-to-bottom gradient. Decreased semen quality was associated with increased SC and bottom SST, and decreased scrotal shape, scrotal neck perimeter and vascular cone diameter. In summary, age and genetic group affected the characteristics of the scrotum, testes, and TVC, sperm production and semen quality. In addition, characteristics of the scrotum, testes and TVC were associated with sperm production and semen quality in bulls and could be assessed for breeding soundness evaluation. (c) 2002 Elsevier B.V. All rights reserved.