Abstract
Testing is one of the fundamental software development life cycle activities. Considering Reactive Systems such as: metro control, patient hospital monitoring and communication protocols, the testing activity 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 are presented. We also examine the ideas of constrained and randomly selected mutation in this context.
This work was partially financed by a grant from CNPq and CAPES
Chapter PDF
Similar content being viewed by others
References
Budd, T.A.; DeMillo, R.A.; Lipton, R.J.; Sayward, F.G. (1980) Theoretical and Empirical Studies on Using Prog Mutation to Test the Functional Correctness of Prog., 7th ACM Symposium on Principles of Programming Languages, Jan.
Chow, T.S. (1978) Testing Software Design Modeled by Finite-State Machines. IEEE Transactions on Software Engineering, SE(4(3)), 178–87.
DeMillo, R.A.; Lipton, R.J.; Sayward, F.G. (1978) Hints on Test Data Selection: Help for the Practicing Programmer, Computer, Vol. 11 (4), 34–41.
Fabbri, S.C.P.F.; Maldonado, J.C.; Masiero, P.C.; Delamaro, M.E. (1994) Mutation Analysis Testing for Finite State Machines, in Proceedings of the Fifth International Symposium on Software Reliability Engineering, California, Nov.
Fabbri, S.C.P.F.; Maldonado, J.C. (1995) Mutation Analysis Applied on Petri Nets, Technical Report, ICMSC-USP.
Gill, A.(1962) Introduction to the Theory of Finite-State Machines. New York, McGraw-Hill.
Harel, D.(1987) Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming.
Peterson, J.L. (1981) Petri Net Theory and the Modeling of Systems, Prentice-Hall, Inc., Englewood Cliffs, NJ.
Tanenbaum, A.S.(1989) Computer Networks (2nd. edition), Prentice Hall.
Wong, W.E.; Maldonado, J.C.; Delamaro, M.E.; Mathur, A.P. (1994a) Constrained Mutation in C Programs, in Proceedings of the VIII SBES — Simpbsio Brasileiro de Engenharia de Software, Curitiba, Oct.
Wong, W.E.; Maldonado, J.C.; Mathur, A.P. (1994b) Mutation versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness, in Proceedings of the First IFIP/SQI International Conference on Software Quality and Productivity, Hong Kong, Nov.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Fabbri, S.C.P.F., Maldonado, J.C., Masiero, P.C., Delamaro, M.E., Wong, E. (1996). Mutation testing applied to validate specifications based on Petri Nets. In: Bochmann, G.v., Dssouli, R., Rafiq, O. (eds) Formal Description Techniques VIII. FORTE 1995. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34945-9_24
Download citation
DOI: https://doi.org/10.1007/978-0-387-34945-9_24
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2958-9
Online ISBN: 978-0-387-34945-9
eBook Packages: Springer Book Archive