Natural Computing

, Volume 10, Issue 1, pp 151–165 | Cite as

An empirical evaluation of P system testing techniques

  • Raluca Lefticaru
  • Marian Gheorghe
  • Florentin Ipate


This paper presents the existing techniques for P system testing and performs an empirical evaluation of their fault-detection efficiency. The comparison is performed using mutation testing and, based on the results obtained, some improved testing methodologies are proposed.


P system testing Coverage criteria FSM-based testing Mutation testing 



This work was supported by CNCSIS – UEFISCSU, project number PNII – IDEI 643/2008. The authors would like to thank Ignacio Pérez-Hurtado and the other members of the Research Group on Natural Computing from the University of Seville, for their kind and effective help in adapting P-lingua to fit the class of P systems considered in this paper and to the anonymous reviewers for their comments and suggestions.


  1. Andrews JH, Briand LC, Labiche Y (2005) Is mutation an appropriate tool for testing experiments? In: International conference on software engineering. ACM, New York, pp 402–411Google Scholar
  2. Díaz-Pernil D, Pérez-Hurtado I, Pérez-Jiménez MJ, Riscos-Núñez A (2008) A P-lingua programming environment for membrane computing. In: Workshop on membrane computing. Lecture notes in computer science, vol 5391. Springer, Berlin, pp 187–203Google Scholar
  3. García-Quismondo M, Gutiérrez-Escudero R, Pérez-Hurtado I, Pérez-Jiménez MJ, Riscos-Núñez A (2009) An overview of P-lingua 2.0. In: Workshop on membrane computing. Lecture notes in computer science, vol 5957. Springer, Berlin, pp 264–288Google Scholar
  4. Gheorghe M, Ipate F (2008) On testing P systems. In: Workshop on membrane computing. Lecture notes in computer science, vol. 5391. Springer, Berlin, pp 204–216Google Scholar
  5. Ipate F (2006) Bounded sequence testing from non-deterministic finite state machines. In: Testing of communicating systems. Lecture notes in computer science, Springer, Berlin, vol 3964, pp 55–70Google Scholar
  6. Ipate F, Gheorghe M (2009a) Finite state based testing of P systems. Nat Comput 8(4):833–846MathSciNetzbMATHCrossRefGoogle Scholar
  7. Ipate F, Gheorghe M (2009b) Mutation based testing of P systems. Int J Comput Commun Control 4(3):253–262Google Scholar
  8. Ipate F, Gheorghe M (2009c) Testing non-deterministic stream X-machine models and P systems. Electr Notes Theor Comput Sci 227:113–126CrossRefGoogle Scholar
  9. Kari L, Rozenberg G (2008) The many facets of natural computing. Commun ACM 51(10):72–83CrossRefGoogle Scholar
  10. Offutt J, Ammann P, Liu L (2006) Mutation testing implements grammar-based testing. In: Second workshop on mutation analysis, IEEE Computer Society, Washington, DC, pp 12–12Google Scholar
  11. Pǎun Gh (1998) Computing with membranes. TUCS Report 208, Turku Center for Computer ScienceGoogle Scholar
  12. Păun Gh (2000) Computing with membranes. J Comp System Sci 61(1):108–143CrossRefGoogle Scholar
  13. Pǎun Gh (2002) Membrane computing: an introduction. Springer, BerlinGoogle Scholar
  14. Pǎun Gh, Rozenberg G (2002) A guide to membrane computing. Theor Comput Sci 287(1):73–100CrossRefGoogle Scholar
  15. Pǎun Gh, Rozenberg G, Salomaa A, eds. (2009) The Oxford Handbook on membrane computing. Oxford University Press, OxfordGoogle Scholar
  16. The P Systems Web Site (2009)
  17. The P-Lingua Web Site (2009)

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  • Raluca Lefticaru
    • 1
  • Marian Gheorghe
    • 1
    • 2
  • Florentin Ipate
    • 1
  1. 1.Department of Computer ScienceUniversity of PitestiPitestiRomania
  2. 2.Department of Computer ScienceUniversity of SheffieldSheffieldUK

Personalised recommendations