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.
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
Ipate F, Gheorghe M (2009b) Mutation based testing of P systems. Int J Comput Commun Control 4(3):253–262
Ipate F, Gheorghe M (2009c) Testing non-deterministic stream X-machine models and P systems. Electr Notes Theor Comput Sci 227:113–126
Kari L, Rozenberg G (2008) The many facets of natural computing. Commun ACM 51(10):72–83
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
Pǎun Gh (2002) Membrane computing: an introduction. Springer, Berlin
Pǎun Gh, Rozenberg G (2002) A guide to membrane computing. Theor Comput Sci 287(1):73–100
Pǎun Gh, Rozenberg G, Salomaa A, eds. (2009) The Oxford Handbook on membrane computing. Oxford University Press, Oxford
The P Systems Web Site (2009) http://ppage.psystems.eu
The P-Lingua Web Site (2009) http://www.p-lingua.org
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
Corresponding author
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11047-010-9188-y