Equivalência de Programas e o Teste de Software: Resultados de um Experimento de Aplicação do Critério Análise de Mutantes

• Inali Wisniewski Soares UNICENTRO
• Silvia Regina Vergilio UFPR

DOI: https://doi.org/10.5753/wtf.2002.23408

Resumo

O critério de teste Análise de Mutantes, baseado em erros, tem despertado grande interesse e se mostrado bastante efetivo em detectar erros, um dos principais objetivos da atividade de teste de software. Entretanto, a existência de mutantes equivalentes dificulta a sua completa automatização visto que, determinar se dois programas são equivalentes é uma questão indecidível. Essa tarefa necessita ser realizada manualmente e eleva o esforço e o custo da aplicação do critério. Esse trabalho explora a problemática de equivalência de programas na atividade de teste, apresentando resultados de um experimento de aplicação do critério Análise de Mutantes. Os resultados incluem a porcentagem de mutantes equivalentes gerados e a lista de operadores de mutação que mais geram equivalência. Esses resultados são importantes pois contribuem para o estabelecimento de uma estratégia de aplicação do critério Análise de Mutantes, bem como para implementação de mecanismos que auxiliem a identificação automática de mutantes equivalentes e conseqüentemente para reduzir os custos e esforço gastos com o teste.

Palavras-chave: teste de software, análise de mutantes, mutantes equivalentes

Referências

T.A. Budd, D. Angluin. Two notions of correctness and their relation to testing. Acta Informatica, Vol. 18(1):31-45, Nov., 1982.

T.A. Budd. Mutation Analysis: Ideas, Examples, Problems and Prospects, Computer Program Testing. North-Holand Publishing Company, 1981.

D. Baldwi, F. Sayward. Heuristics for Determining Equivalence of Program Mutations. CT, Res. Rep. 276, Dep. of Comp. Science-Yale University, New Haven, 1979.

M.E. Delamaro, "Proteum - Um ambiente de teste baseado na Análise de Mutantes", Dissertação de Mestrado, ICMSC/USP - São Carlos, SP, Brasil, Oct., 1993.

R.A. De Millo, R.J. Lipton, F.G. Sayward. "Hints on Test Data Selection: Help for the Practicing Programmer". IEEE Computer, April, 1978.

K.N. King, A.J. Offutt. A Fortran Language System for Mutation-Based Software Testing. Software Practice and Experience. Vol. 21(7):685-718, July 1991.

A.J. Offutt, W. M. Craft. Using compiler optimization techniques to detect equivalent mutants. The Journal of Software Testing, Verification, and Reliability. 4(3):131-154. Sept. 1994.

A.J. Offutt, Jie Pan. Automatically Detecting Equivalent Mutants and Infeasible Paths. The Journal of Software Testing, Verification, and Reliability. 7(3):165-192. Sept. 1997.

I.W. Soares. Análise de Mutantes e Critérios Restritos no Contexto de Teste de Software: Resultados de uma Avaliação Empírica. Dissertação de Mestrado, UFPR, Curitiba, 2000.

I.W. Soares, S.R. Vergilio. Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing. III IEEE Latin-American Test Workshop, pg 33-38, vol 1. Montevideo, Feb. 2002.

S.R. Vergilio. Critérios Restritos de Teste de Software: Uma Contribuição para Gerar Dados de Teste mais eficazes. Doctorate Dissertation, DCA/FEEC/Unicamp, Campinas – SP. July. 1997.

W.E. Wong, A.P. Mathur, J.C. Maldonado. Mutation versus all-usos: An Empirical evaluation of cost, strength and effectivenes. In Software Quality and Productivity-Theory, Pratice, Education and Training. Hong Kong, Dec. 1994.