Mutation Based Testing of P Systems

Authors

  • Florentin Ipate The University of Pitesti Department of Computer Science, Faculty of Mathematics and Computer Science Str Targu din Vale 1, 110040 Pitesti
  • Marian Gheorghe The University of Sheffield Department of Computer Science Regent Court, Portobello Street, Sheffield S1 4DP, UK

Keywords:

mutation testing, P systems, Kripke structures, context-free grammars

Abstract

Although testing is an essential part of software development, until re- cently, P system testing has been completely neglected. Mutation testing (mutation analysis) is a structural software testing method which involves modifying the pro- gram in small ways. In this paper, we provide a formal way of generating mutants for systems specified by context-free grammars. Furthermore, the paper shows how the proposed method can be used to construct mutants for a P system specification.

References

F. Bernardini, M. Gheorghe, J. J. Romero-Campero, N. Walkinshaw, A Hybrid Approach to Mod- elling Biological Systems, Workshop on Membrane Computing 2007, Lecture Notes in Computer Science, Vol. 4860, pp. 138-159, 2007.

G. Ciobanu, Gh. Păun, M. J. Pérez-Jiménez (eds.), Applications od Membrane Computing, Springer, 2006.

Z. Dang, O. H. Ibarra, C. Li, G. Xie, On the Decidability of Model-Checking for P Systems, Journal of Automata, Languages and Combinatorics, Vol. 11, pp. 279-298, 2006.

M. Gheorghe, F. Ipate, On Testing P Systems, Workshop on Membrane Computing, Lecture Notes in Computer Science, Vol. 5391, pp. 204-216, 2008.

M. Holcombe, F. Ipate, Correct Systems: Building a Business Process Solution, Springer, 1998. http://dx.doi.org/10.1007/978-1-4471-3435-0

J. E. Hopcroft, R. Motwani, J. D. Ullman, Introduction to Automata Theory, Languages, and Com- putation (2nd Edition), Addison-Wesley, 2001.

F. Ipate, M. Gheorghe, Testing Non-determinstic Stream X-machine Model and P Systems, Elec- tronic Notes in Theoretical Computer Science, Vol. 227, pp. 113-126, 2009. http://dx.doi.org/10.1016/j.entcs.2008.12.107

F. Ipate, M. Gheorghe, Finite State based Testing of P Systems, Natural Computing, to appear, 2009. http://dx.doi.org/10.1007/s11047-008-9099-3

J. Offutt, A Practical System for Mutation Testing: Help for the Common Programmer, International Test Conference, pp. 824-830, 1994. http://dx.doi.org/10.1109/TEST.1994.528535

Y.-S. Ma, J. Offutt, Y. R. Kwon, MuJava: An Automated Class Mutation System, Software Testing, Verification and Reliability, Vol. 15, pp. 97-133, 2005. http://dx.doi.org/10.1002/stvr.308

J. Offutt, P. Ammann, G. Mason, L. (Ling) Liu, Mutation Testing implements Grammar-Based Testing, Proceedings of the Second Workshop on Mutation Analysis, 2006.

Gh. Păun, Computing with Membranes, Journal of Computer and System Sciences, Vol. 61, pp. 108-143, 2000. http://dx.doi.org/10.1006/jcss.1999.1693

Gh. Păun, Membrane Computing: An Introduction, Springer-Verlag, Berlin, 2002. http://dx.doi.org/10.1007/978-3-642-56196-2

http://en.wikipedia.org/wiki/Mutation_testing

http://cs.gmu.edu/ offutt/mujava/

http://ppage.psystems.eu

Published

2009-09-01

Most read articles by the same author(s)

Obs.: This plugin requires at least one statistics/report plugin to be enabled. If your statistics plugins provide more than one metric then please also select a main metric on the admin's site settings page and/or on the journal manager's settings pages.