Definição de Operadores de Mutação para o Teste de Programas Prolog
Resumo
Teste é uma das fases da engenharia de software que garante a qualidade e a confiabilidade do software desenvolvido. O critério de teste, baseado em erros, Análise de Mutantes, tem se mostrado como um dos mais efetivos para a detecção de erros em um programa, pois utiliza informação dos erros cometidos pelos próprios programadores para estabelecer o teste. Algumas ferramentas de testes, apoiadas no critério Análise de Mutantes, foram desenvolvidas e são utilizadas para o teste de programas que utilizam o paradigma da programação imperativa (C e Fortran). Entretanto, a idéia de aplicar o teste baseado em erros para programas escritos utilizando outros paradigmas de programação é bastante promissora. Este trabalho define um conjunto de operadores de mutação para a linguagem Prolog. O conjunto proposto permite a aplicação do critério Análise de Mutantes para o teste de programas Prolog e a implementação de uma ferramenta que poderá avaliar a eficácia do critério e o refinamento do conjunto proposto.
Referências
F. Bergadano and D. Gunetti. Testing by means of inductive program. ACM Transactions on Software Engineering and Methodology, 5(2):119-145, April 1996.
O.J. Dahl, E.W. Dijkstra, and C.A.R. Hoare. Notes on structured programming. In Structured Programming. Academic Press, 1972.
M.E. Delamaro. Proteum: Um ambiente de teste baseado na Análise de Mutantes. Master Thesis, ICMSC-USP-São Carlos, São Carlos - SP, Brazil, March 1993. (in Portuguese).
R.A. DeMillo, R.J. Lipton, and F.G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, Vol. 11(4):34-41, April 1978.
R.A. De Millo, D.C. Gwind, and K.N. King. An extented overview of the mothra software testing environment. In Proc. of the Second Workshop on Software Testing, Verification and Analysis, pages 142-151. Computer Science Press, Banff - Canada, July 19-21 1988.
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. (in Portuguese).
T. McCabe. A software complexity measure. IEEE Transactions on Software Engineering, Vol. SE-2(4):308-320, December 1976.
S. Muggleton and L. de Raedt. Inductive logic programming: Theory and methods. Journal of Logic Programming, pages 629-679, 1994.
G.J. Myers. The Art of Software Testing. Wiley, New York, 1979.
A.J. Offutt and W.M. Craft. Using compiler optimization techniques to detect equivalent mutantes. The Journal of Software Testing, Verification, and Reliability, 4(3):131-154, September 1994.
A.J. Offutt and J. Pan. Detecting equivalent mutants and the feasible path problem. In IEEE Computer Society Press, editor, Proceedings of the 1996 Annual Conference on Computer Assurance (COMPASS 96), pages 224-236. UK, June 1996.
R. Pressman. Software Engineering: A Practitioner’s Approach. McGraw-Hill, USA, fourth edition, 1997.
S. Rapps and E.J. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, Vol. SE-11(4):367-375,April 1985.
R.N. Taylor, D.L. Levine, and C.D. Kelly. Structural testing of concurrent programs. IEEE Transactions on Software Engineering. Vol. SE-2(18(3)):206-215, 1992.
A.M.R. Vincenzi, E.F. Barbosa, M.E. Delamaro, S.R.C de Souza, and J.C. Maldonado. Critrio anlise de mutantes: Estado atual e perspectivas. In Workshop do Projeto Validao e Teste de Sistemas de Operao, pages 15-26. guas de Lindia, Janeiro 1997.
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. (in Portuguese).
