Skip to main content
Log in

An empirical evaluation of P system testing techniques

  • Published:
Natural Computing Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2

Similar content being viewed by others

References

  • 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–411

  • 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–203

  • 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–288

  • 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–216

  • 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–70

  • Ipate F, Gheorghe M (2009a) Finite state based testing of P systems. Nat Comput 8(4):833–846

    Article  MathSciNet  MATH  Google Scholar 

  • Ipate F, Gheorghe M (2009b) Mutation based testing of P systems. Int J Comput Commun Control 4(3):253–262

    Google Scholar 

  • Ipate F, Gheorghe M (2009c) Testing non-deterministic stream X-machine models and P systems. Electr Notes Theor Comput Sci 227:113–126

    Article  Google Scholar 

  • Kari L, Rozenberg G (2008) The many facets of natural computing. Commun ACM 51(10):72–83

    Article  Google Scholar 

  • 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–12

  • Pǎun Gh (1998) Computing with membranes. TUCS Report 208, Turku Center for Computer Science

  • Păun Gh (2000) Computing with membranes. J Comp System Sci 61(1):108–143

    Article  Google Scholar 

  • Pǎun Gh (2002) Membrane computing: an introduction. Springer, Berlin

    Google Scholar 

  • Pǎun Gh, Rozenberg G (2002) A guide to membrane computing. Theor Comput Sci 287(1):73–100

    Article  Google Scholar 

  • Pǎun Gh, Rozenberg G, Salomaa A, eds. (2009) The Oxford Handbook on membrane computing. Oxford University Press, Oxford

    Google Scholar 

  • The P Systems Web Site (2009) http://ppage.psystems.eu

  • The P-Lingua Web Site (2009) http://www.p-lingua.org

Download references

Acknowledgements

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.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Raluca Lefticaru.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lefticaru, R., Gheorghe, M. & Ipate, F. An empirical evaluation of P system testing techniques. Nat Comput 10, 151–165 (2011). https://doi.org/10.1007/s11047-010-9188-y

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11047-010-9188-y

Keywords

Navigation