PREDTOOL : uma ferramenta para apoiar o teste baseado em predicados
Resumo
Resumo: A atividade de teste é fundamental dentro da Engenharia de Software, especialmente para a melhoria da qualidade dos programas criados. Mas esta atividade, apesar de importante, tem sido colocada em segundo plano, muitas vezes em conseqüência da dificuldade de realização de testes de forma manual, devido ao consumo de tempo e a possibilidade de ocorrência de inúmeros erros. Para reduzir os custos e aumentar o número de defeitos revelados no teste, foram propostos diversos critérios de teste. Esses critérios têm como objetivo guiar o testador na seleção e na avaliação de conjuntos de casos de teste. Esta dissertação aborda critérios estruturais de teste, mais particularmente os critérios BOR (Boolean OperatoR testing) e BRO (Boolean and Relational Operator testing), baseados em predicados e que tem como objetivo revelar defeitos presentes em predicados compostos do programa em teste. Uma ferramenta que automatiza os critérios BOR e BRO foi implementada e é descrita. A ferramenta chama-se PredTOOL, e testa especificamente programas desenvolvidos na linguagem C. A implementação da ferramenta tornou possível a realização de um experimento de avaliação dos critérios BOR e BRO cujos resultados permitem a comparação desses critérios com dois outros critérios estruturais, Todos-Arcos e Todos Potenciais-Usos, implementados pela ferramenta Poke-Tool. Da análise dos resultados obtidos, é sugerida uma estratégia para aplicação dos critérios estruturais analisados. Abstract: The testing activity is a fundamental phase in the Software Engineering process, especially for improving the quality of the developed programs. But this activity, in spite of being important, has been put in a second plan, maybe due to the difficulty of accomplishing tests manually. This spents a lot of effort and time, and in general a great number of faults remains. To reduce the costs and to increase the number of defects revealed in the test, several testing criteria were proposed. Those criteria have as objective to guide the tester in the selection and evaluation of test case sets. This works focuses structural testing criteria, more particularly BOR (Boolean OperatoR testing) and BRO (Boolean and Relational Operator testing) criteria, that are based on predicates and have the goal of revealing faults in compound predicates of the program under testing. A tool that implements BOR and BRO criteria was implemented and it is described. The tool calls PredTOOL, and tests C programs. The implementation of the tool makes possible the accomplishment of an experiment for evaluation of BOR and BRO criteria. The obtained results allow the comparison of those criteria with two other structural criteria: All-edges and All Potential-Uses, implemented by the tool Poke-Tool. Those results are used to propose a strategy for application of the studied structural criteria.
Collections
- Teses & Dissertações [9330]