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

DOI: https://doi.org/10.5753/sbes.1994.24482

Abstract

Testing is one of the fundamental software development life cycle acitivities. Considering Reactive Systems, this acitivity becomes more relevant as errors in these systems can promote severe economical and social losses. The objective of this work is to evaluate the adequacy of applying the Mutation Analysis criterion to validate Petri Net based specifications. A set of mutation operators for Petri Nets, a key point for using Mutation Analysis, as well as the results of applying manually these operators to a Petri Net modeling a level 3 protocol (extracted from [TAN89]) are presented. Taking as reference the software tool PROTEUM/FSM [FAB94a], that has been developed to support Mutation Analysis use for validating Finite State Machine based specification, it is briefly discussed that implementing a tool to support the validation of a Petri Net based specification constitutes a feasible task.

References

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.