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

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

Padronização de testes para avaliação do estado de mania e potencial anti-maníaco de um agonista do receptor NOP

Bipolar disorder is characterized by mood impairment, alternating between mania/hypomania and depression, and its exact pathophysiology is already unknown. The treatment of bipolar disorder is based on prevention of the manic and depressive episodes using mood stabilizers. Nociceptin/orfanin FQ (N/OFQ) is an endogenous heptadecapeptide which binds as an agonist to NOP receptor, which is a G-coupled inhibitory receptor. N/OFQ and its receptor modulate a lot of functions in the organism, including emotional processes. It is known that the plasmatic concentration of N/OFQ is altered in patients in both phases depressive and manic of bipolar disorder and it is assumed that this system has a role on the etiology of this disorder. Concerning mania, the animal models used in research tend to focus in an unique aspect of the manic behavior, as hyperactivity or agressivity. In the 60’s, the hole board test was proposed, and it consists of an apparatus with holes where a behavior known as head-dippings is measured. High levels of head-dippings are suggestive of neophilia, while low levels can be characteristic of an anxious-like behavior. As the increase of exploratory and goal-directed behavior are characteristics of manic behavior, this test could help in mania research. Thus, this work was organized in 3 steps and aims to: (1) investigate the induction of a manic-like state promoted by ouabain, a Na+/K+-ATPase inhibitor, in the mouse open field test; (2) set up the hole board as a test to measure manic-like behaviors; and (3) investigate the N/OFQ effects in prevention of this kind of behavior on hole board. Male Swiss mice were used in this study, and they take part of only one of the described steps. Depending on the step performed, mice received one or more of the following treatments: (1) ouabain 10-6 , 10-5 , 10-4 , 10-3 or 10-2 M, intracerebroventricular (icv); (2) sodium valproate 300 mg/kg, intraperitoneal (ip); (3) sodium valproate 400 mg/kg, ip; (4) diazepam 1 mg/kg, ip; (5) methylphenidate 10 mg/kg, ip; and (6) N/OFQ 0,1 or 1 nmol, icv. The results suggest that hole board can be used to evaluate a manic state, through analysis of different animal behaviors. However, it was not possible to standard the model of Na+ /K+ -ATPase dysfunction through ouabain administration in mice. Moreover, the data suggest that N/OFQ, at the doses tested, has not affected the methylphenidate-induced mania-like behavior. Taken together, the results point to a new approach of manic research, through the hole board using. However, more studies are necessary in order to verify the role of N/OFQ system on bipolar disorder.

Testes para a avaliação da qualidade fisiológica de sementes de Moringa oleifera Lam

The evaluation of seed vigor is an important factor for detection of lots of high quality seeds, so that development of procedures to evaluate the physiological potential has been an important tool in quality control programs seeds. In this sense the study aimed to adapt the methodologies of accelerated aging, electrical conductivity and potassium leaching to evaluate Moringa oleifera seed vigor LAM.. Therefore, four lots of moringa seeds were subjected to the germination tests, seedling emergence, speed of emergence index, emergence first count, length and dry mass of seedlings and cold test for their physiological characterization, in addition to accelerated aging, electrical conductivity and potassium leaching. The experimental design was completely randomized with four replications of 50 seeds and the means compared by Tukey test at 5% probability. For accelerated aging the periods were studied aging 12, 24 and 72 hours at 40, 42 and 45°C. For the electrical conductivity test was used to a temperature of 25°C for periods of 4, 8, 12, 16 and 24 hours of immersion in 75 to 125 mL of distilled water, using 25 to 50 seeds, and for potassium leaching test samples were used 25 to 50 seeds, placed in plastic cups containing 70 and 100 mL of distilled water at 25°C for periods of 1, 2, 3, 4, 5 and 6 hours. From the results obtained, it can be inferred that the methods best fit for the accelerated aging test Moringa seeds were a temperature of 40°C for 12 to 72 hours, 42°C 72 hours 45°C 24 hours . In the electrical conductivity test Moringa seeds, the combination of 50 seeds in 75 mL distilled water for a period of immersion of 4 hours and 50 seeds in 125 mL of 4 hours were efficient for the differentiation of lots of Moringa seeds as to vigor and for potassium leaching test moringa seeds, the combination of 50 seeds in 100mL of distilled water allowed the separation of lots of four levels of vigor, at 2 hours of immersion, showing promise in evaluate the quality of moringa seeds.

Testes para a avaliação da qualidade fisiológica de sementes de Moringa oleifera Lam

The evaluation of seed vigor is an important factor for detection of lots of high quality seeds, so that development of procedures to evaluate the physiological potential has been an important tool in quality control programs seeds. In this sense the study aimed to adapt the methodologies of accelerated aging, electrical conductivity and potassium leaching to evaluate Moringa oleifera seed vigor LAM.. Therefore, four lots of moringa seeds were subjected to the germination tests, seedling emergence, speed of emergence index, emergence first count, length and dry mass of seedlings and cold test for their physiological characterization, in addition to accelerated aging, electrical conductivity and potassium leaching. The experimental design was completely randomized with four replications of 50 seeds and the means compared by Tukey test at 5% probability. For accelerated aging the periods were studied aging 12, 24 and 72 hours at 40, 42 and 45°C. For the electrical conductivity test was used to a temperature of 25°C for periods of 4, 8, 12, 16 and 24 hours of immersion in 75 to 125 mL of distilled water, using 25 to 50 seeds, and for potassium leaching test samples were used 25 to 50 seeds, placed in plastic cups containing 70 and 100 mL of distilled water at 25°C for periods of 1, 2, 3, 4, 5 and 6 hours. From the results obtained, it can be inferred that the methods best fit for the accelerated aging test Moringa seeds were a temperature of 40°C for 12 to 72 hours, 42°C 72 hours 45°C 24 hours . In the electrical conductivity test Moringa seeds, the combination of 50 seeds in 75 mL distilled water for a period of immersion of 4 hours and 50 seeds in 125 mL of 4 hours were efficient for the differentiation of lots of Moringa seeds as to vigor and for potassium leaching test moringa seeds, the combination of 50 seeds in 100mL of distilled water allowed the separation of lots of four levels of vigor, at 2 hours of immersion, showing promise in evaluate the quality of moringa seeds.

Desenvolvimento e validação de testes de fluxo lateral para a detecção de cultivares geneticamente modificados e de aflatoxinas em produtos agrícolas

The expansion of cultivated areas with genetically modified crops (GM) is a worldwide phenomenon, stimulating regulatory authorities to implement strict procedures to monitor and verify the presence of GM varieties in agricultural crops. With the constant growing of plant cultivating areas all over the world, consumption of aflatoxin-contaminated food also increased. Aflatoxins correspond to a class of highly toxic contaminants found in agricultural products that can have harmful effects on human and animal health. Therefore, the safety and quality evaluation of agricultural products are important issues for consumers. Lateral flow tests (strip tests) is a promising method for the detection both proteins expressed in GM crops and aflatoxins-contaminated food samples. The advantages of this technique include its simplicity, rapidity and cost-effective when compared to the conventional methods. In this study, two novel and sensitive strip tests assay were developed for the identification of: (i) Cry1Ac and Cry8Ka5 proteins expressed in GM cotton crops and; (ii) aflatoxins from agricultural products. The first strip test was developed using a sandwhich format, while the second one was developed using a competitive format. Gold colloidal nanoparticles were used as detector reagent when coated with monoclonal antibodies. An anti-species specific antibody was sprayed at the nitrocellulose membrane to be used as a control line. To validate the first strip test, GM (Bollgard I® e Planta 50- EMBRAPA) and non-GM cotton leaf (Cooker 312) were used. The results showed that the strip containing antibodies for the identification of Cry1Ac and Cry8Ka5 proteins was capable of correctly distinguishing between GM samples (positive result) and non-GM samples (negative result), in a high sensitivity manner. To validate the second strip test, artificially contaminated soybean with Aspergillus flavus (aflatoxin-producing fungus) was employed. Food samples, such as milk and soybean, were also evaluated for the presence of aflatoxins. The strip test was capable to distinguish between samples with and without aflatoxins samples, at a sensitivity concentration of 0,5 μg/Kg. Therefore, these results suggest that the strip tests developed in this study can be a potential tool as a rapid and cost-effective method for detection of insect resistant GM crops expressing Cry1Ac and Cry8Ka5 and aflatoxins from food samples.

Desenvolvimento e validação de testes de fluxo lateral para a detecção de cultivares geneticamente modificados e de aflatoxinas em produtos agrícolas

The expansion of cultivated areas with genetically modified crops (GM) is a worldwide phenomenon, stimulating regulatory authorities to implement strict procedures to monitor and verify the presence of GM varieties in agricultural crops. With the constant growing of plant cultivating areas all over the world, consumption of aflatoxin-contaminated food also increased. Aflatoxins correspond to a class of highly toxic contaminants found in agricultural products that can have harmful effects on human and animal health. Therefore, the safety and quality evaluation of agricultural products are important issues for consumers. Lateral flow tests (strip tests) is a promising method for the detection both proteins expressed in GM crops and aflatoxins-contaminated food samples. The advantages of this technique include its simplicity, rapidity and cost-effective when compared to the conventional methods. In this study, two novel and sensitive strip tests assay were developed for the identification of: (i) Cry1Ac and Cry8Ka5 proteins expressed in GM cotton crops and; (ii) aflatoxins from agricultural products. The first strip test was developed using a sandwhich format, while the second one was developed using a competitive format. Gold colloidal nanoparticles were used as detector reagent when coated with monoclonal antibodies. An anti-species specific antibody was sprayed at the nitrocellulose membrane to be used as a control line. To validate the first strip test, GM (Bollgard I® e Planta 50- EMBRAPA) and non-GM cotton leaf (Cooker 312) were used. The results showed that the strip containing antibodies for the identification of Cry1Ac and Cry8Ka5 proteins was capable of correctly distinguishing between GM samples (positive result) and non-GM samples (negative result), in a high sensitivity manner. To validate the second strip test, artificially contaminated soybean with Aspergillus flavus (aflatoxin-producing fungus) was employed. Food samples, such as milk and soybean, were also evaluated for the presence of aflatoxins. The strip test was capable to distinguish between samples with and without aflatoxins samples, at a sensitivity concentration of 0,5 μg/Kg. Therefore, these results suggest that the strip tests developed in this study can be a potential tool as a rapid and cost-effective method for detection of insect resistant GM crops expressing Cry1Ac and Cry8Ka5 and aflatoxins from food samples.

Testes cosmológicos aplicados a modelos de energia escura

A significant observational effort has been directed to investigate the nature of the so-called dark energy. In this dissertation we derive constraints on dark energy models using three different observable: measurements of the Hubble rate H(z) (compiled by Meng et al. in 2015.); distance modulus of 580 Supernovae Type Ia (Union catalog Compilation 2.1, 2011); and the observations of baryon acoustic oscilations (BAO) and the cosmic microwave background (CMB) by using the so-called CMB/BAO of six peaks of BAO (a peak determined through the Survey 6dFGS data, two through the SDSS and three through WiggleZ). The statistical analysis used was the method of the χ2 minimum (marginalized or minimized over h whenever possible) to link the cosmological parameter: m, ω and δω0. These tests were applied in two parameterization of the parameter ω of the equation of state of dark energy, p = ωρ (here, p is the pressure and ρ is the component of energy density). In one, ω is considered constant and less than -1/3, known as XCDM model; in the other the parameter of state equantion varies with the redshift, where we the call model GS. This last model is based on arguments that arise from the theory of cosmological inflation. For comparison it was also made the analysis of model CDM. Comparison of cosmological models with different observations lead to different optimal settings. Thus, to classify the observational viability of different theoretical models we use two criteria information, the Bayesian information criterion (BIC) and the Akaike information criteria (AIC). The Fisher matrix tool was incorporated into our testing to provide us with the uncertainty of the parameters of each theoretical model. We found that the complementarity of tests is necessary inorder we do not have degenerate parametric spaces. Making the minimization process we found (68%), for the Model XCDM the best fit parameters are m = 0.28 ± 0, 012 and ωX = −1.01 ± 0, 052. While for Model GS the best settings are m = 0.28 ± 0, 011 and δω0 = 0.00 ± 0, 059. Performing a marginalization we found (68%), for the Model XCDM the best fit parameters are m = 0.28 ± 0, 012 and ωX = −1.01 ± 0, 052. While for Model GS the best settings are M = 0.28 ± 0, 011 and δω0 = 0.00 ± 0, 059.

Testes cosmológicos aplicados a modelos de energia escura

A significant observational effort has been directed to investigate the nature of the so-called dark energy. In this dissertation we derive constraints on dark energy models using three different observable: measurements of the Hubble rate H(z) (compiled by Meng et al. in 2015.); distance modulus of 580 Supernovae Type Ia (Union catalog Compilation 2.1, 2011); and the observations of baryon acoustic oscilations (BAO) and the cosmic microwave background (CMB) by using the so-called CMB/BAO of six peaks of BAO (a peak determined through the Survey 6dFGS data, two through the SDSS and three through WiggleZ). The statistical analysis used was the method of the χ2 minimum (marginalized or minimized over h whenever possible) to link the cosmological parameter: m, ω and δω0. These tests were applied in two parameterization of the parameter ω of the equation of state of dark energy, p = ωρ (here, p is the pressure and ρ is the component of energy density). In one, ω is considered constant and less than -1/3, known as XCDM model; in the other the parameter of state equantion varies with the redshift, where we the call model GS. This last model is based on arguments that arise from the theory of cosmological inflation. For comparison it was also made the analysis of model CDM. Comparison of cosmological models with different observations lead to different optimal settings. Thus, to classify the observational viability of different theoretical models we use two criteria information, the Bayesian information criterion (BIC) and the Akaike information criteria (AIC). The Fisher matrix tool was incorporated into our testing to provide us with the uncertainty of the parameters of each theoretical model. We found that the complementarity of tests is necessary inorder we do not have degenerate parametric spaces. Making the minimization process we found (68%), for the Model XCDM the best fit parameters are m = 0.28 ± 0, 012 and ωX = −1.01 ± 0, 052. While for Model GS the best settings are m = 0.28 ± 0, 011 and δω0 = 0.00 ± 0, 059. Performing a marginalization we found (68%), for the Model XCDM the best fit parameters are m = 0.28 ± 0, 012 and ωX = −1.01 ± 0, 052. While for Model GS the best settings are M = 0.28 ± 0, 011 and δω0 = 0.00 ± 0, 059.

Avaliação e correções de testes de hipóteses em modelos de sobrevivência com fração de cura

Survival models deals with the modelling of time to event data. In certain situations, a share of the population can no longer be subjected to the event occurrence. In this context, the cure fraction models emerged. Among the models that incorporate a fraction of cured one of the most known is the promotion time model. In the present study we discuss hypothesis testing in the promotion time model with Weibull distribution for the failure times of susceptible individuals. Hypothesis testing in this model may be performed based on likelihood ratio, gradient, score or Wald statistics. The critical values are obtained from asymptotic approximations, which may result in size distortions in nite sample sizes. This study proposes bootstrap corrections to the aforementioned tests and Bartlett bootstrap to the likelihood ratio statistic in Weibull promotion time model. Using Monte Carlo simulations we compared the nite sample performances of the proposed corrections in contrast with the usual tests. The numerical evidence favors the proposed corrected tests. At the end of the work an empirical application is presented.