Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software

Through the adoption of the software product line (SPL) approach, several benefits are achieved when compared to the conventional development processes that are based on creating a single software system at a time. The process of developing a SPL differs from traditional software construction, since it has two essential phases: the domain engineering - when common and variables elements of the SPL are defined and implemented; and the application engineering - when one or more applications (specific products) are derived from the reuse of artifacts created in the domain engineering. The test activity is also fundamental and aims to detect defects in the artifacts produced in SPL development. However, the characteristics of an SPL bring new challenges to this activity that must be considered. Several approaches have been recently proposed for the testing process of product lines, but they have been shown limited and have only provided general guidelines. In addition, there is also a lack of tools to support the variability management and customization of automated case tests for SPLs. In this context, this dissertation has the goal of proposing a systematic approach to software product line testing. The approach offers: (i) automated SPL test strategies to be applied in the domain and application engineering, (ii) explicit guidelines to support the implementation and reuse of automated test cases at the unit, integration and system levels in domain and application engineering; and (iii) tooling support for automating the variability management and customization of test cases. The approach is evaluated through its application in a software product line for web systems. The results of this work have shown that the proposed approach can help the developers to deal with the challenges imposed by the characteristics of SPLs during the testing process

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Apoiando a Construcao de Testes de Aceitacao Automatizados a partir da Especificacao de Requisitos

A automação consiste em uma importante atividade do processo de teste e é capaz de reduzir significativamente o tempo e custo do desenvolvimento. Algumas ferramentas tem sido propostas para automatizar a realização de testes de aceitação em aplicações Web. Contudo, grande parte delas apresenta limitações importantes tais como necessidade de valoração manual dos casos de testes, refatoração do código gerado e forte dependência com a estrutura das páginas HTML. Neste trabalho, apresentamos uma linguagem de especificação de teste e uma ferramenta concebidas para minimizar os impactos propiciados por essas limitações. A linguagem proposta dá suporte aos critérios de classes de equivalência e a ferramenta, desenvolvida sob a forma de um plug-in para a plataforma Eclipse, permite a geração de casos de teste através de diferentes estratégias de combinação. Para realizar a avaliação da abordagem, utilizamos um dos módulos do Sistema Unificado de Administração Publica (SUAP) do Instituto Federal do Rio Grande do Norte (IFRN). Participaram da avaliação analistas de sistemas e um técnico de informática que atuam como desenvolvedores do sistema utilizado.

Apoiando a construção de testes de aceitação automatizados a partir da especificação de requisitos

Automation has become increasingly necessary during the software test process due to the high cost and time associated with such activity. Some tools have been proposed to automate the execution of Acceptance Tests in Web applications. However, many of them have important limitations such as the strong dependence on the structure of the HTML pages and the need of manual valuing of the test cases. In this work, we present a language for specifying acceptance test scenarios for Web applications called IFL4TCG and a tool that allows the generation of test cases from these scenarios. The proposed language supports the criterion of Equivalence Classes Partition and the tool allows the generation of test cases that meet different combination strategies (i.e., Each-Choice, Base-Choice and All Combinations). In order to evaluate the effectiveness of the proposed solution, we used the language and the associated tool for designing and executing Acceptance Tests on a module of Sistema Unificado de Administração Pública (SUAP) of Instituto Federal Rio Grande do Norte (IFRN). Four Systems Analysts and one Computer Technician, which work as developers of the that system, participated in the evaluation. Preliminary results showed that IFL4TCG can actually help to detect defects in Web applications

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

Análise da toxicidade no açude Riacho da Cachoeira, Lajes Pintadas (RN): um desafio interdisciplinar

Contamination by complex mixtures of various origins has been explored and studied for decades. Radon is a naturally occurring environmental contaminant that causes carcinogenic effects. These emissions can cause mutations in the lung tissue, which can initiate a carcinogenic process. Thus the dam Creek Falls, located in the municipality of Lajes Pintadas, was chosen for the development of this study, since cancer rates in the region reach 9% of the population annually, with this, the main objective of this study was evaluate the mutagenicity and toxicity of Riacho da Cachoeira damunder the influence of radon. The methodology ecotoxicological tests were performed with Ceriodaphinia dubia, as well as tests with Tradescantia pallida genotoxicologicos and Oreochromis niloticus. To understand how the population of Pintadas Slabs realizes the environment, we performed a study of environmental perception. The test results indicated that the reservoir water is toxic to test organimos exposed, found heavy metals, chloride, total and fecal coliforms as well as radon levels above the maximum allowed under Brazilian law. These results can be justified because it is so complex samples composed of different compounds that interact only with each other or causing synergistic effects. It was concluded that the dam Creek Waterfall, is contaminated with radon, as well as heavy metals, coliforms and chloride, causing toxic effects to the natural community. Thus, further studies should be performed with the human population of the region, to verify that the high rates of cancer in the population of the municipality may be linked to the presence of natural radiation. Thus, it is expected that the competent bodies that administer the municipality of Lajes Pintadas take reasonable steps to minimize risks and ensure the health of the community that still makes use of the weir

Avaliação do potencial mutagênico da água do açude de Lucrécia (RN- Brasil): um enfoque na relação saúde e ambiente

The water quality of many reservoirs in the world has been reduced due to percolation of contaminants to water, which can have natural or anthropogenic origin, increasing the level of genotoxic compounds in aquatic ecosystems. This fact has contributed to the reduction of environmental quality, and commitment the health of living beings that inhabit these ecosystems, including the human population. In this backdrop of reduced water quality, is the Lucrecia dam, which is a major surface water reservoirs by volume of semi-arid region of Rio Grande do Norte, and that has shown contamination by heavy metals, cyanobacteria toxic and the natural presence of Radon. The population that use this source has been showing high rates of cancer, popularly associated with the consumption of this water, with a prevalence about three times higher compared to the whole state of Rio Grande do Norte. Based on this, the present study aimed to evaluate the mutagenic potencial of surface water from the Lucrecia dam, using the Micronucleus Test in Tradescantia pallida (Trad-MN) and in human peripheral blood lymphocytes (CBMN) assay, as well as identify the concentrations of some heavy metals in this water. Water samples were collected on a dry season and a rainy season, in two distinct points. Moreover, in order to bring a completely view about the relationship of man-health-environment in this local, through the knowledge of knowing / acting environmental from residents of Lucrecia, and the use and perceptions they have about the dam of your city, a study of Environmental Perception was carried out with local residents. The results obtained for the both micronucleus test, showed significant results for the three points analyzed. The strongest mutagenic effect was observed in the dry season for both assays. Chemical analyses detected an increase of heavy metal levels in different points and season above the maximum allowed by legislation. Regarding the study of Environmental Perception with local residents, it was observed the knowledge of the environment that the residents have, as well as the strong ties and perceptions with the dam of the city. Thus, the combination of these two aspects (the genetic toxicity tests conducted in the dam together with analysis of environmental perception with the residents of Lucrecia) allowed to draw a more complete diagnosis on the local situation

Horticultura no baixo curso do Rio Doce, zona norte do Natal/RN: avaliação da qualidade da água por meio de ensaios ecotoxicológicos

The research is developed in areas of horticulture in the city of Natal, in the neighborhoods of Lagoa Azul, Pajuçara and Redinha, along the Doce River, border area with Extremoz city, Rio Grande do Norte State. The region of the fluvial plain of Doce River is located in an Environmental Protection Zone (ZPA-9). This is one of the ZPA which is not under the regulatory marks and there are several environmental problems caused by use and land occupation, featuring an evident disregard of environmental laws and whose protection is hindered by the lack of specific legal mechanisms. This study aims to provide an overview of the use of pesticides in the lower course of the Doce River, in Natal, Rio Grande do Norte, and to assess environmental degradation in the area through chronic toxicity tests using the microcrustaceous Ceriodaphnia dubia Richard 1894 (Cladocera, Crustacea) as test organism. Visits were made to the area in 2009 and 2010. To obtain information a diagnosis of the local situation was accomplished based on personal observation and non-participatory photographic record, with the aim of assessing the environmental characteristics, population diversity and work processes of horticulturists. During the visits four different points of the Doce River were chosen to collect water for ecotoxicological tests and survey of physico-chemical parameters (dissolved oxygen, pH, chloride, turbidity, conductivity and temperature), which were measured in the field using Multiparameter Probe (TROLL 9500). The adverse effects of pesticide use in the lower course of the Doce River is a major problem for both the environmental and human health, since many of the substances and active principles that enter in the composition of the products are synthesized molecules whose effects can only be evaluated through different studies on their actions and behavior at short, medium or long term

Avaliação do potencial tóxico de águas oriundas de irrigação agrícola no Baixo-Açu/RN: um problema socioambiental

For many decades the problematic raised about the indiscriminate use of pesticides in modern agriculture has incited the interest of many researchers to discover the effects caused by such products in the environment and consequently in the life of the ones which use that products (farmers) and those people who live in places next to the agricultural areas. Facing these facts, this research had the intention of comprehend the environmental perception of habitants of the Distrito Irrigado do Baixo-Açu (DIBA), located in the semiarid of Rio Grande do Norte, by using agro toxics and its possible environmental effects, as well as evaluate the levels of toxicity of waters from agricultural runoff in this region by using eco-toxicological exams with Ceriodaphnia silvestii. Were done 86 interviews with dwellers and farmers from DIBA. With the results reached in the evaluation of the interviews it was possible to identify that one of major problems is the inappropriate discard of empty packs of the pesticides used at that place. The samples collected for eco-toxicological evaluation showed a variation in its toxicity, once that the point of collect which receives waters from different cultures presented in four out of five samples toxicity for the tested species. Therefore, it concludes that the indiscriminate use of pesticides agricultural practice presented a potential to pollute to the irrigation waters, and the absence of elucidation by the farmers about the manipulation of these products contribute to the risk of environmental contamination and the possible decrease of the quality of life of the dwellers of the region

Metais pesados no caranguejo Ucides cordatus (Linnaeus, 1763) e ecotoxicologia de sedimentos do estuario dos Rios Jundiai e Potengi - RN

This study is conducted in the estuary of the rivers Jundiaí and Potengi, one of the most important estuaries of Rio Grande do Norte, which suffers a strong anthropogenic influence from neighboring cities. According to Resolution 344/2005 environments that have high concentrations of metals such as arsenic, cadmium, lead and mercury need ecotoxicological tests. This study aims to evaluate the heavy metals contamination in the estuary through analysis of sediment collected at four points distributed from Macaíba to Natal city, and in the crab Uçá, Ucides cordatus. The study aims also to evaluate the effects of sediment toxicity in the tests organisms Leptocheirus plumulosus. To obtain data about the concentrations of heavy metals in the environment, sediments were collected in January and May 2011 and crab Uçá was collected in June 2011. On the other hand the monitoring was carried out through toxicological tests with sediment collected from July to October 2011. During the collection of sediment samples the physico-chemical parameters of water (dissolved oxygen, pH, chloride, turbidity, conductivity and temperature) were measured by using multi-parametric probe (TROLL 9500). It was possible to identify contamination by metals such as lead, cadmium, arsenic and copper both in the sediment and in the Uçá crab, which characterizes that the consumption of this crustacean may be a risk to human health. Once the concentrations of metals were identified, toxicology tests were performed and revealed toxic effect to organisms in at least one of the four months studied. Point 2 was classified as toxic in three of the four months studied . The heavy metal contamination is a risk to the environment, to aquatic organisms and to the community which survives of resources taken from the environment

Avaliação do potencial de toxicidade de florações de cianobactérias como subsídio para ações de gestão ambiental em açudes do semiárido potiguar

Blooms negatively compromise the aquatic environment, plants, animals and human health.Some species are toxin-producing, such as the neurotoxin saxitoxin and the hepatotoxin microcystin, which may contaminate water reservoirs, as those existing in the semiarid region of Rio Grande do Norte (Brazil) which are used to supply the population, fishing, aquiculture and recreational activities, thereby providing the risk of human exposure through water intake, dermal contact and respiratory tract. Thus, it is recommended a constant monitoring of the density of cyanobacteria with the quantification of cyanotoxins. One goal with this work was the monitoring of water in four reservoirs in semiarid of RN through the identification and enumeration of cyanobacteria and through the identification and quantification of cyanotoxins by ELISA. Furthermore, we intended to assess the environmental perception of farmers and artisanal fishers in reservoirs of semiarid of RN through semi-structured interviews with questions mostly related to water and eutrophication. Through these objectives the aim was the development of management strategies for aquaculture and prevention of risks to public health. The results showed that the highest values of microcystins were found in the rainy season. Standards for drinking water, according to the guidelines of Ministry of Health 2914/2011 and CONAMA 357/05, setting the maximum values for raw water density of cyanobacteria: 50,000 cel.mL-1; microcystin: 1 μg. L-1 and saxitoxin: 3 μg. L-1. The values found for microcystin ranged between 0.00227 μg. L-1 and 24.1954 μg. L-1. From 128 samples analyzed, 27% were above the limit. There was no clear seasonal pattern for saxitoxins and their values ranged between 0.003 μg. L-1 and 0.766 μg. L-1 with none of the values above the limit. Furthermore, 76% of the densities of cyanobacteria values were above the limit. About environmental perception, 52 interviews were conducted and the results show that the respondents recognize the main uses of water of the rervoirs, recognize the importance and have a positive view about the reservoirs. They also realize that the water has a poor quality and can cause health problems. The results provide data showing the persistence of cyanobacteria and cyanotoxins, many times over the limit, reinforcing the importance of constant monitoring. The assessment of environmental perception gives foundation for later proposed environmental education linked to public health management into the context of this particular population, making it more effective