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

Estudo comparativo entre cinco diferentes tratamentos sobre as alterações clínicas e laboratoriais do rato diabético induzido pela aloxana

OBJETIVOS: Este estudo visa a analisar os efeitos, a longo prazo, de cinco diferentes tratamentos sobre o controle metabólico de ratos diabéticos aloxânicos. MÉTODOS: Foram analisados 7 grupos experimentais, com 50 ratos cada um, sendo: GN o grupo controle normal; GD o grupo controle diabético, sem tratamento; GI, GA e GIA os grupos tratados, respectivamente, com insulina, acarbose e associação insulina + acarbose; GTIL o grupo tratado com transplante de ilhotas de Langerhans; e o GTPD o grupo tratado com transplante pancreatoduodenal heterotópico. Parâmetros clínicos (peso, ingestão hídrica, ingestão alimentar e diurese) e laboratoriais (glicemia, glicose urinária e insulina plasmática) foram avaliados em todos os animais, no início do experimento, e após 1, 3, 6, 9 e 12 meses de seguimento. RESULTADOS: À exceção do GN, mortalidade foi observada em todos os grupos experimentais no seguimento de 12 meses (GD= 50%; GI= 20%; GA= 26%; GIA= 18%; GTIL= 4%; GTPD= 20%). em GD, GI, GA e GIA os óbitos ocorreram por distúrbios metabólicos ou hidroeletrolíticos e/ou pneumonia, diarréia e caquexia; em GTIL e GTPD todos os óbitos ocorreram por falhas técnicas no pós-operatório até 72h. Animais dos grupos GI, GA e GIA tiveram melhora significativa (p < 0,05) de todos os parâmetros clínicos e laboratoriais observados em ratos diabéticos, sem diferença de efetividade entre os tratamentos. Porém, os resultados observados nestes grupos, biologicamente não foram comparáveis aos observados em GTIL e GTPD, onde observou-se correção completa, aos níveis normais, de todas as variáveis analisadas (p<0,01). CONCLUSÕES: Os tratamentos convencionais com insulina, acarbose e insulina + acarbose melhoraram o estado diabético grave dos ratos tratados, contudo, a eficácia dos tratamentos foi significativamente inferior à oferecida pelo GTIL e GTPD.

Monitoramento de parâmetros laboratoriais em gatos sem raça definida durante o período neonatal

O objetivo do presente estudo foi à monitoração dos parâmetros laboratoriais como hemograma, enzimas hepáticas alanina aminotransferase (ALT) e gama-glutamiltransferase (GGT), glicemia e proteinograma sérico, e avaliar o efeito da idade em gatos sem raça definida durante a fase neonatal. Vinte gatos machos e fêmeas foram utilizados a partir do terceiro dia de vida até o 38º dia de idade. As amostras de sangue foram colhidas semanalmente e as análises laboratoriais (hemograma, enzimas hepáticas, glicemia e proteinograma sérico) realizadas no 3º, 10º, 17º, 24º, 31º e 38º dia de idade. Os resultados exibiram efeito significativo da idade sobre a contagem total de eritrócitos, concentração de hemoglobina, volume globular, volume corpuscular médio, concentração de hemoglobina corpuscular média, leucócitos totais, neutrófilos, eosinófilos e basófilos. Nenhum efeito foi observado em células como linfócitos, monócitos ou na concentração sérica de glicose. A análise das modificações ocorridas nos parâmetros laboratoriais durante a fase neonatal reflete o desenvolvimento fisiológico do filhote e contribui para o conhecimento do processo adaptativo em gatos neonatos durante o primeiro mês de vida, sendo útil para a avaliação clínica, diagnóstico e tratamento das doenças neonatais.

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

Comparação entre dois testes de rastreamento do diabetes gestacional e o resultado perinatal

OBJETIVO: comparar dois testes de rastreamento para diabetes e seus resultados com o resultado da gestação. MÉTODOS: no total, 279 pacientes foram submetidas a dois testes de rastreamento do diabetes gestacional - associação glicemia de jejum e fatores de risco (GJ + FR) e o teste de tolerância à glicose simplificado (TTG50g). O rastreamento pela associação GJ + FR caracterizou-se pela dosagem da glicemia de jejum e anamnese para identificação dos fatores de risco na primeira consulta de pré-natal. O TTG50g foi realizado entre a 24ª e a 28ª semana de gestação e caracterizou-se pela dosagem das glicemias plasmáticas em jejum e uma hora após a sobrecarga oral com 50 g de glicose. Os resultados, positivo e negativo, foram relacionados ao resultado da gestação. Foram consideradas variáveis dependentes: via de parto, idade gestacional, peso e índice ponderal ao nascimento, índices de Apgar <7 no 1º e 5º minutos, necessidade de Unidade de Terapia Intensiva (UTI), tempo de permanência hospitalar e óbito neonatal. Empregou-se o teste t de Student, admitindo-se 5% como limite de significância para calcular a diferença de proporção de das médias. RESULTADOS: apenas dois resultados perinatais estudados foram diferenciados pelos testes. O TTG50g alterado esteve associado à maior proporção de cesárea (58,7 versus 34,3%) e a associação GJ + FR positiva, maior taxa de prematuridade (15,4 versus 5,4%). As demais variáveis não foram diferentes nas pacientes com testes de rastreamento positivo e negativo. CONCLUSÕES: Apesar da relação entre a prematuridade e associação GJ + FR positiva e aumento de cesárea e TTG50g alterado, seria falha crítica aceitá-los como definitivos. Entre outras explicações, múltiplos fatores intercorrentes e as características próprias dos testes de rastreamento devem ser consideradas.

Informações nutricionais de carnes ovinas em rótulos comerciais, comparativamente às obtidas em análises laboratoriais

Objetivou-se estudar as informações nutricionais de carnes ovinas comercializadas, comparativamente às determinadas por análises laboratoriais, utilizando-se 18 ovinos Ile de France x Ideal (cordeiros não castrados, ovelhas adultas de descarte e capões adultos de descarte). Os cordeiros foram desmamados com 17 kg e abatidos aos 32 kg. As ovelhas e capões, com 55 kg. As informações nutricionais dos rótulos de carne ovina embalada foram obtidas através do contato direto com 19 empresas que comercializam carne ovina. A maioria das empresas avaliadas não utiliza a informação nutricional na rotulagem da carne ovina embalada e também não descrimina a categoria ovina dos cortes da carcaça disponibilizados para venda. Os valores das informações nutricionais, analisadas laboratorialmente, da carne ovina evidenciaram, de modo geral, diferenças entre as categorias ovinas e seus respectivos cortes da carcaça para: valor calórico, teor de carboidratos, proteínas, gorduras totais, colesterol, cálcio e ferro. As empresas estudadas, de maneira geral, desconhecem ou ignoram tais diferenças entre as categorias e os cortes da carcaça ovina quanto às informações nutricionais, sendo necessário melhorar os rótulos comerciais dos cortes da carcaça ovina, a fim de informar o consumidor, de maneira mais simples, sobre o produto que está sendo adquirido para o consumo.

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.

Immunosuppressant Prograf (R) (Tacrolimus) Induces Histopathological Disorders in the Peritubular Tissue of Rat Testes

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Morphological characterization of the nymphs rhipicephalus sanguineus ticks (Latreille, 1806) (Acari: Ixodidae). Description of the testes, integument, malpighian tubules, and midgut on the detachment day

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Limiar anaeróbio e velocidade crítica determinada com diferentes distâncias em nadadores de 10 a 15 anos: relações com a performance e a resposta do lactato sanguíneo em testes de endurance

O objetivo deste estudo foi comparar a velocidade crítica (VC) determinada através de diferentes distâncias com o limiar anaeróbio (LAn) e as velocidades máximas mantidas em testes de 20 (V20) e 30 (V30) minutos na natação, verificando se a idade cronológica em jovens nadadores interfere nessas relações. Participaram do estudo 31 nadadores (17 meninas e 14 meninos) divididos segundo a idade cronológica em dois grupos: 10 a 12 anos e 13 a 15 anos. O LAn foi determinado como sendo a velocidade correspondente a 4mM de lactato sanguíneo. A VC1 (25/50/100m), VC2 (100/200/400m) e a VC3 (50/100/200m) foram calculadas através do coeficiente angular da reta de regressão linear entre as distâncias e seus respectivos tempos. As V20 e V30 foram determinadas através de três a seis repetições, com coletas de sangue no 10º minuto e ao final do tiro. Para o grupo de 10 a 12 anos, a VC1 (m/s) (0,98 ± 0,17) e o LAn (0,97 ± 0,12) não foram diferentes entre si, sendo maiores do que a VC2 (0,92 ± 0,16), VC3 (0,89 ± 0,18), V20 (0,92 ± 0,11) e V30 (0,90 ± 0,11). Para o grupo de 13 a 15 anos, a VC1 (m/s)(1,11 ± 0,11) foi maior do que o LAn (1,02 ± 0,07), V20 (0,99 ± 0,09), V30 (0,97 ± 0,09), VC2 (0,98 ± 0,11) e VC3 (1,00 ± 0,11). Pode-se concluir que a distância utilizada na determinação da VC interfere no valor obtido, independente da idade cronológica. A VC determinada com distâncias entre 50 e 400m pode ser utilizada na avaliação da capacidade aeróbia de crianças e adolescentes, substituindo os testes contínuos máximos com durações próximas a 20 ou 30 minutos.

Preditores espaço-temporais do andar para testes de capacidade funcional em pacientes com doença de Parkinson

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)