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

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

[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.
http://dx.doi.org/10.1007/978-1-4471-3435-0

[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.
http://dx.doi.org/10.1016/j.entcs.2008.12.107

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

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

[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.
http://dx.doi.org/10.1002/stvr.308

[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.
http://dx.doi.org/10.1006/jcss.1999.1693

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

[14] http://en.wikipedia.org/wiki/Mutation_testing

[15] http://cs.gmu.edu/ offutt/mujava/

[16] http://ppage.psystems.eu
Published
2009-09-01
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: <http://univagora.ro/jour/index.php/ijccc/article/view/2433>. Date accessed: 29 nov. 2020. doi: https://doi.org/10.15837/ijccc.2009.3.2433.

Keywords

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