PredTOOL: Uma Ferramenta para Apoiar o Teste Baseado em Predicados

Edenilson José da Silva (2), Silvia Regina Vergilio (1)

e-mails: ede@pb.cefetpr.br, silvia@inf.ufpr.br

(1) UFPR - Departamento de Informática 81531-970 Curitiba Brasil
(2) CEFET/PR - Unidade do Sudoeste, GETIC 85502-390 Pato Branco Brasil

Abstract

The testing activity is a fundamental phase in the Software Engineering process, especially for improving the quality of the developed programs. To reduce the costs and to increase the number of defects revealed in the test, several testing criteria were proposed. These criteria 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 have the goal of revealing faults in compound predicates of the program under testing. A tool that implements the BOR and BRO criteria is described. This tool, named PredTOOL, supports the test of C programs. PredTOOL made possible the accomplishment of experiments with BOR and BRO criteria and the comparison of those criteria with two other structural criteria: All-edges and All Potential-Uses. The obtained results are used to propose a strategy for application of the studied structural criteria.

Resumen/Resumo

A atividade de teste é fundamental dentro da Engenharia de Software, especialmente para a melhoria da qualidade dos programas criados. Para reduzir os custos e aumentar o número de defeitos revelados no teste, foram propostos diversos critérios. Esses critérios têm como objetivo guiar o testador na seleção e na avaliação de conjuntos de casos de teste. Este trabalho aborda os critérios estruturais de teste, mais particularmente os critérios BOR (Boolean OperatoR testing) e BRO (Boolean and Relational Operator testing), que têm como objetivo revelar defeitos presentes em predicados compostos do programa em teste. Uma ferramenta que automatiza os critérios BOR e BRO é descrita. Essa ferramenta, chamada PredTOOL permite o teste de programas em linguagem C. A utilização da ferramenta tornou possível a realização de um experimento dos critérios BOR e BRO e a comparação desses critérios com dois outros critérios estruturais, Todos-Arcos e Todos Potenciais-Usos. Da análise dos resultados obtidos, é sugerida uma estratégia para aplicação dos critérios estruturais analisados.

Keywords:Software Testing, Predicate Based Testing, Structural Testing Criteria

Palabras Clave/Palavras Chave: Teste de Software, Testes Baseado em Predicados, Critérios de Teste Estrutural

BibTex

@INPROCEEDINGS{silva04:40,
                  AUTHOR       = {Edenilson José da Silva and Silvia Regina Vergilio},
                  TITLE        = {PredTOOL: Uma Ferramenta para Apoiar o Teste Baseado em Predicados},
                  BOOKTITLE    = {30ma Conferencia Latinoamericana de Informática (CLEI2004)},
                  YEAR         = {2004},
                  editor       = {Mauricio Solar and David Fernández-Baca and Ernesto Cuadros-Vargas},
                  pages        = {117--128},
                  address      = {},
                  month        = Sep,
                  organization = {Sociedad Peruana de Computación},
                  note         = {ISBN 9972-9876-2-0},
                  file         = {http://clei2004.spc.org.pe/es/html/pdfs/40.pdf}
}

PDF de este artículo
PDF de CLEI2004 (incluye todos los artículos)
Página principal CLEI 2004
Generado por Sociedad Peruana de Computación