Mutation Based Testing of P Systems
Keywords:mutation testing, P systems, Kripke structures, context-free grammars
AbstractAlthough 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.
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
ONLINE OPEN ACCES: Acces to full text of each article and each issue are allowed for free in respect of Attribution-NonCommercial 4.0 International (CC BY-NC 4.0.
You are free to:
-Share: copy and redistribute the material in any medium or format;
-Adapt: remix, transform, and build upon the material.
The licensor cannot revoke these freedoms as long as you follow the license terms.
DISCLAIMER: The author(s) of each article appearing in International Journal of Computers Communications & Control is/are solely responsible for the content thereof; the publication of an article shall not constitute or be deemed to constitute any representation by the Editors or Agora University Press that the data presented therein are original, correct or sufficient to support the conclusions reached or that the experiment design or methodology is adequate.