Resultados de uma Aplicação do Critério Análise de Mutantes e do Critério Todos-Potenciais-Usos Restritos
Resumo
Critérios de teste de software visam conduzir e avaliar a qualidade da atividade de teste. Entre os vários critérios propostos, destacam-se os critérios estruturais, baseados em fluxo de controle e baseados em fluxo de dados, e o critério Análise de Mutantes, baseado em erros. O critério Análise de Mutantes é um critério bastante atrativo, porém possui um alto custo computacional. Os “Critérios Restritos” foram propostos para aumentar a eficácia dos critérios estruturais, pois possuem uma grande habilidade para detectar erros. Este trabalho apresenta resultados de uma comparação entre os Critérios Restritos e o critério Análise de Mutantes, considerando os fatores eficácia em termos de número de erros revelados e, custo, em termos do número de casos de testes necessários.
Palavras-chave:
critério de teste estrutural, Critérios Restritos, Análise de Mutantes
Referências
D. Baldwin and F. Sayward. Heuristics for Determining Equivalence of Program Mutations. CT, Res. Rep. 276. Department of Computer Science - Yale University, New Haven, 1979.
M.L. Chaim. POKE-TOOL - Uma ferramenta para Suporte ao Teste Estrutural de Programas Baseado em Análise de Fluxo de Dados. Master Thesis. DCA/FEEC/Unicamp. Campinas - SP. Brazil, April 1991. (in Portuguese).
Delamaro, M.E.. "Proteum - Um ambiente de teste baseado na Análise de Mutantes”, Dissertação de Mestrado, ICMSC/USP - São Carlos. SP, Brasil, Outubro, 1993.
R.A. De Millo. Software Testing and Evaluation. The Benjamin/Cummings Publishing Company. Inc. 1987.
R.A. De Millo and A.J. Offutt. Constraint-based automatic test data generation. IEEE Transactions on Software Engineering, Vol. SE-17(9):900-910, September 1991.
F.G. Frankl. The use of Data Flow Information for the Selection an Evaluation of Software Test Data. PhD Thesis. Department of Computer Science, New York University. New York, U.S.A.. October 1987.
J.C. Maldonado. Critérios Potenciais Usos: Uma Contribuição ao Teste Estrutural de Software. Doctorate Dissertation. DCA/FEEC/Unicamp. Campinas - SP, Brazil, July 1991.
J.C. Maldonado. Critérios de Teste de Software: Aspectos Teóricos, Empíricos e de Automatização. Livre Docência. ICMC-USP, São Carlos, SP. Janeiro 1997.
J.C. Maldonado. M.L. Chaim. and M. Jino. Seleção de casos de teste baseada nos critérios potenciais usos. In II Simpósio Brasileiro de Engenharia de Software. pages 24-35. Sociedade Brasileira de Computação — SBC, Canela — RS, Brazil, October 1988 (in Portuguese).
Ntafos, S.C.; "On Reguirement Element Testing”, IEEE Transactions on Software Engineering, SE-10(16), Novembro, 1984.
R.B. Pressman. Software Engineering: A Practitioner's Approach. McGraw-Hill, New-York, EUA, third edition, 1992.
S. Rapps, E.J. Weyuker, "Data Flow Analysis Techniques for Test Data Selection”, In Proc. Int. Conf. Software Eng., Tokio. Japão. Set 1982.
I.W. Soares. Análise de Mutantes e Critérios Restritos: Uma avaliação empírica. Dissertação de Mestrado. UFPR, Curitiba - PR, 2000. (em elaboração).
S.R.S. Souza. Avaliação do Custo e Eficácia do Critério Análise de Mutantes na Atividade de Teste de Programas. Dissertação de Mestrado, ICMSC/USP, São Carlos-Brazil, June 1996. (em Português).
K.C. Tai. Predicate-based teste generation for computer programs. In Proceedings of International Conference on Software Engineering. pages 267-276. IEEE Press. May 1993.
Ural, H. & Yang, B.; "A Structural Test Selection Criterion”. Information Processing Letters. 28. 1988, pp. 157-163.
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. Brazil. July 1997. (em Português).
L.J. White and E.I. Cohen. A domain strategy for computer program testing. IEEE Transactions on Software Engineering, Vol. SE-6(3):247-257, May 1980.
W.E. Wong. — On Mutation and Data Flow. PhD Thesis, Department Purdue University, West Lafayette-IN, USA. December 1993.
W.E. Wong, A.P. Mathur. and J.C. Maldonado. Mutation versus all-usos: An Empirical evaluation of cost, strength and effectivenes. In Software Quality and Producrivity-Theory. Pratice. Education and Training. Hong Kong, December 1994.
M.L. Chaim. POKE-TOOL - Uma ferramenta para Suporte ao Teste Estrutural de Programas Baseado em Análise de Fluxo de Dados. Master Thesis. DCA/FEEC/Unicamp. Campinas - SP. Brazil, April 1991. (in Portuguese).
Delamaro, M.E.. "Proteum - Um ambiente de teste baseado na Análise de Mutantes”, Dissertação de Mestrado, ICMSC/USP - São Carlos. SP, Brasil, Outubro, 1993.
R.A. De Millo. Software Testing and Evaluation. The Benjamin/Cummings Publishing Company. Inc. 1987.
R.A. De Millo and A.J. Offutt. Constraint-based automatic test data generation. IEEE Transactions on Software Engineering, Vol. SE-17(9):900-910, September 1991.
F.G. Frankl. The use of Data Flow Information for the Selection an Evaluation of Software Test Data. PhD Thesis. Department of Computer Science, New York University. New York, U.S.A.. October 1987.
J.C. Maldonado. Critérios Potenciais Usos: Uma Contribuição ao Teste Estrutural de Software. Doctorate Dissertation. DCA/FEEC/Unicamp. Campinas - SP, Brazil, July 1991.
J.C. Maldonado. Critérios de Teste de Software: Aspectos Teóricos, Empíricos e de Automatização. Livre Docência. ICMC-USP, São Carlos, SP. Janeiro 1997.
J.C. Maldonado. M.L. Chaim. and M. Jino. Seleção de casos de teste baseada nos critérios potenciais usos. In II Simpósio Brasileiro de Engenharia de Software. pages 24-35. Sociedade Brasileira de Computação — SBC, Canela — RS, Brazil, October 1988 (in Portuguese).
Ntafos, S.C.; "On Reguirement Element Testing”, IEEE Transactions on Software Engineering, SE-10(16), Novembro, 1984.
R.B. Pressman. Software Engineering: A Practitioner's Approach. McGraw-Hill, New-York, EUA, third edition, 1992.
S. Rapps, E.J. Weyuker, "Data Flow Analysis Techniques for Test Data Selection”, In Proc. Int. Conf. Software Eng., Tokio. Japão. Set 1982.
I.W. Soares. Análise de Mutantes e Critérios Restritos: Uma avaliação empírica. Dissertação de Mestrado. UFPR, Curitiba - PR, 2000. (em elaboração).
S.R.S. Souza. Avaliação do Custo e Eficácia do Critério Análise de Mutantes na Atividade de Teste de Programas. Dissertação de Mestrado, ICMSC/USP, São Carlos-Brazil, June 1996. (em Português).
K.C. Tai. Predicate-based teste generation for computer programs. In Proceedings of International Conference on Software Engineering. pages 267-276. IEEE Press. May 1993.
Ural, H. & Yang, B.; "A Structural Test Selection Criterion”. Information Processing Letters. 28. 1988, pp. 157-163.
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. Brazil. July 1997. (em Português).
L.J. White and E.I. Cohen. A domain strategy for computer program testing. IEEE Transactions on Software Engineering, Vol. SE-6(3):247-257, May 1980.
W.E. Wong. — On Mutation and Data Flow. PhD Thesis, Department Purdue University, West Lafayette-IN, USA. December 1993.
W.E. Wong, A.P. Mathur. and J.C. Maldonado. Mutation versus all-usos: An Empirical evaluation of cost, strength and effectivenes. In Software Quality and Producrivity-Theory. Pratice. Education and Training. Hong Kong, December 1994.
Publicado
15/07/2000
Como Citar
SOARES, Inali Wisniewski; VERGILIO, Silvia Regina.
Resultados de uma Aplicação do Critério Análise de Mutantes e do Critério Todos-Potenciais-Usos Restritos. In: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 2. , 2000, Curitiba/PR.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2000
.
p. 52-57.
ISSN 2595-2684.
DOI: https://doi.org/10.5753/wtf.2000.23474.
