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 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.

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)

Utilização da relação potência-tempo até exaustão em testes de caminhada para avaliação da aptidão aeróbia

O objetivo do presente estudo foi avaliar a aptidão aeróbia em testes de caminhada com carga externa aplicada por meio da inclinação da esteira, a partir da relação não linear entre inclinação da esteira e tempo até a exaustão em velocidade fixa. Doze indivíduos do gênero masculino com 23,2 ± 2,7 anos de idade, 74,0 ± 7,9kg de massa corporal e 23,7 ± 2,5kg·(m²)-1 de IMC, realizaram duas etapas de testes de caminhada em esteira ergométrica com velocidade fixa de 5,5km·h-1 em todos os testes e sobrecarga de intensidade aplicada por meio de inclinação da esteira (%). A etapa 1 consistiu de três testes retangulares até a exaustão voluntária, nas intensidades de 18%, 20% e 22% de inclinação, para determinação dos parâmetros do modelo de potência crítica por dois modelos lineares e um hiperbólico. A etapa 2 consistiu na determinação da intensidade correspondente ao máximo estado estável de lactato sanguíneo (MEEL). ANOVA demonstrou que o modelo hiperbólico (15,4 ± 1,1%) resultou em estimativa significativamente menor que os outros dois modelos lineares inclinação-tempo-1 (16,0 ± 1,0%) e hiperbólico linearizado tempo-1-inclinação (15,9 ± 1,0%), porém, houve alta correlação entre os modelos. Os dois modelos lineares superestimaram a intensidade do MEEL (14,1 ± 1,4%), e o modelo hiperbólico, mesmo sem diferença estatística, apresentou fraca correlação, com baixa concordância em relação ao MEEL. Conclui-se que a relação inclinação-tempo até a exaustão, em testes de caminhada, não permitem a estimativa de intensidade de exercício suportável por longo período de tempo.

Pigmentation in Anuran Testes: Anatomical Pattern and Variation

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

Comparative analysis of the testes and spermatogenesis in species of the family Pentatomidae (Heteroptera)

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