Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri

  • Sandra C. P. F. Fabbri UFSCar / IFSC / USP
  • José Carlos Maldonado USP
  • Paulo Cesar Masiero USP
  • Márcio Eduardo Delamaro IFSC / USP

Resumo


A atividade de Teste é uma das atividades fundamentais do ciclo de desenvolvimento de software. Para Sistemas Reativos, a atividade de validação de seu aspecto comportamental é ainda mais relevante, uma vez que falhas nesses sistemas, em geral, provocam grandes perdas econômicas e sociais. O objetivo deste artigo é explorar a aplicação do critério de teste Análise de Mutantes para validar especificações baseadas em Redes de Petri. Apresentam-se o projeto dos operadores de mutação para Redes de Petri, ponto chave para a aplicação do critério Análise de Mutantes, e os resultados obtidos da aplicação manual desse critério em uma especificação de um protocolo (extraída de [TAN89]). A viabilidade de automatização da aplicação do critério Análise de Mutantes para Redes de Petri é brevemente discutida, com base na ferramenta Proteum/FSM [FAB94a], especificada para apoiar o uso desse critério na validação de especificações baseadas em MEF.

Palavras-chave: Redes de Petri, Análise de Mutantes, Teste e Validação

Referências

Budd, T.A.; DeMillo, R.A.; Lipton, R.J.; Sayward, F.G. Theoretical and Empirical Studies on Using Prog Mutation to Test the Functional Correctness of Prog., 7th ACM Symposium on Principles of Programming Languages, jan., 1980.

Chow, T.S. Testing Software Design Modeled by Finite-State Machines. IEEE Transactions on Software Engineering, SE(4(3)), pp. 178-187, 1978.

DeMillo, R.A.; Lipton, R.J.; Sayward, F.G. Hints on Test Data Selection: Help for the Practicing Programmer, Computer, Vol. 11(4), pp.34-41, 1978.

DeMillo, R.A. Mutation Analisys as a Tool for Sofiware Quality Assurance, Proc. of COMPSAC 80, Chicago-IL, outubro, 1980.

Fabbri, S.C.P.F.; Maldonado, J.C.; Masiero, P.C.; Delamaro, M.E. Análise de Mutantes Baseada em Máquinas de Estado Finito, in Anais do 11º Simpósio Brasileiro de Redes de Computadores, Campinas 1993.

Fabbri, S.C.P.F.; Delamaro, M.E.; Maldonado, J.C.; Masiero, P.C. Proteum/FSM - Uma Ferramenta para Apoiar a Validação de Máquinas de Estado Finito pelo Critério Análise de Mutantes, in Anais do 12º Simpósio Brasileiro de Redes de Computadores, Curitiba, 1994.

Fabbri, S.C.P.F.; Maldonado, J.C.; Masiero, P.C.; Delamaro, M.E. Mutation Analysis Testing for Finite State Machines, trabalho aceito no Fifth International Symposium on Software Reliability Engineering, California, novembro 1994.

Fujiwara,S.; Bochmann,G.V.; Khendek,F.; Amalou,M.; Ghedamsi,A., Test Selection Based on Finite State Models, IEEE Trans. on Software Eng., Vol. 17, N. 6, June 1991.

Gill, A. Introduction to the Theory of Finite-State Machines. New York, McGraw-Hill, 1962.

Harel, D., Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming, 1987.

Masiero,P.C.; Fortes, R.P.M.; Batista Neto,L.E.S., Edição e Simulação do Aspecto Comportamental de Sistemas de Tempo Real, Anais do XI Congresso Nacional da SBC, XVII SEMISH, Santos, pp. 45-61,5-9 Agosto 1991.

Naito, S.; Tsunoyama, M. Fault Detection for Sequential Machines by Transition-Tours, in Proceedings FTCS (Fault Tolerant Comput. Systems), pp 238-243, 1981.

Peterson, J.L. Petri Net Theory and the Modeling of Systems, Prentice-Hall, Inc., Englewood Cliffs, NJ, 1981.

Pressman, R.S. Software Engineering - A Practitioner's Approach, (3rd. edition), McGraw-Hill, 1992.

Sabnani, K.K.; Dahbura, A.T. A Protocol Testing Procedure, Comput. Networks and ISDN Syst., Vol. 15, N. 4, pp. 285-297, 1988.

Tanenbaum, A.S. Computer Networks, (2nd. edition), Prentice Hall, 1989.
Publicado
26/10/1994
FABBRI, Sandra C. P. F.; MALDONADO, José Carlos; MASIERO, Paulo Cesar; DELAMARO, Márcio Eduardo. Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 8. , 1994, Curitiba/PR. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1994 . p. 423-437. DOI: https://doi.org/10.5753/sbes.1994.24482.