Mutation Based Testing of P Systems

  • 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


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.


[1] 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.

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

[3] 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.

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

[5] M. Holcombe, F. Ipate, Correct Systems: Building a Business Process Solution, Springer, 1998.

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

[7] 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.

[8] F. Ipate, M. Gheorghe, Finite State based Testing of P Systems, Natural Computing, to appear, 2009.

[9] J. Offutt, A Practical System for Mutation Testing: Help for the Common Programmer, International Test Conference, pp. 824–830, 1994.

[10] 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.

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

[12] Gh. Păun, Computing with Membranes, Journal of Computer and System Sciences, Vol. 61, pp. 108–143, 2000.

[13] Gh. Păun, Membrane Computing: An Introduction, Springer-Verlag, Berlin, 2002.


[15] offutt/mujava/

How to Cite
IPATE, Florentin; GHEORGHE, Marian. Mutation Based Testing of P Systems. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, [S.l.], v. 4, n. 3, p. 253-262, sep. 2009. ISSN 1841-9844. Available at: <>. Date accessed: 29 nov. 2020. doi:


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