Skip to main content

Advertisement

SpringerLink
Log in

Search-based testing in membrane computing

  • Regular Paper
  • Published:
Journal of Membrane Computing Aims and scope Submit manuscript

Abstract

Search-based testing is widely used for generating test sets. It is also applied in the case of model-based testing, especially for (extended) finite state machines. In this paper, we define such an approach for kernel P system models. We consider a specific kernel P system model and a define a search-based testing method. The test set generated consists of input sequences producing a given computation defined by the model. An example illustrates the use of the introduced method.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. The P systems website. http://ppage.psystems.eu. Accessed 12 May 2018.

  2. Păun, Gh. (1998). Computing with membranes. Tech. rep., Turku Centre for Computer Science.

  3. Păun, Gh. (2000). Computing with membranes. Journal of Computer and System Sciences, 61(1), 108–143. https://doi.org/10.1006/jcss.1999.1693.

    Article  MathSciNet  MATH  Google Scholar 

  4. Gheorghe, M., Ipate, F., Dragomir, C., Mierlă, L., Valencia-Cabrera, L., García-Quismondo, M., & Pérez-Jiménez, M.J. (2013). Kernel P Systems - Version I. Eleventh Brainstorming Week on Membrane Computing (11BWMC), pp. 97–124.

  5. Gheorghe, M., Ceterchi, R., Ipate, F., Konur, S., & Lefticaru, R. (2018). Kernel P systems: from modelling to verification and testing. Theoretical Computer Science 724, 45–60. http://hdl.handle.net/10454/11720.

  6. Blakes, J., Twycross, J., Konur, S., Romero-Campero, F.J., Krasnogor, N., & Gheorghe, M. (2014). Infobiotics workbench: A P systems based tool for systems and synthetic biology. In Applications of membrane computing in systems and synthetic biology, emergence, complexity and computation, vol. 7, pp. 1–41. Springer International Publishing.

  7. Sanassy, D., Fellermann, H., Krasnogor, N., Konur, S., Mierlă, L., Gheorghe, M., Ladroue, C., & Kalvala, S. (2014). Modelling and stochastic simulation of synthetic biological boolean gates. In 2014 IEEE International Conference on High Performance Computing and Communications, HPCC 2014, Paris, France, pp. 404–408.

  8. Konur, S., Gheorghe, M., Dragomir, C., Mierlă, L., Ipate, F., & Krasnogor, N. (2015). Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems. ACS Synthetic Biology, 4(1), 83–92.

    Article  Google Scholar 

  9. Konur, S., Gheorghe, M., Dragomir, C., Ipate, F., & Krasnogor, N. (2014). Conventional verification for unconventional computing: a genetic XOR gate example. Fundamenta Informaticae, 134(1–2), 97–110.

    Article  MathSciNet  Google Scholar 

  10. Konur, S., Kiran, M., Gheorghe, M., Burkitt, M., & Ipate, F. (2015). Agent-based high-performance simulation of biological systems on the GPU. In 17th IEEE International Conference on High Performance Computing and Communications, HPCC 2015, pp. 84–89.

  11. Gheorghe, M., Konur, S., & Ipate, F. (2017). Kernel P systems and stochastic P systems for modelling and formal verification of genetic logic gates, pp. 661–675. Springer International Publishing, Cham.

  12. Lefticaru, R., Konur, S., Yildirim, U., Uddin, A., Campean, F., & Gheorghe, M. (2017). Towards an integrated approach to verification and model-based testing in system engineering. In The International Workshop on Engineering Data- & Model-driven Applications (EDMA-2017) within the IEEE International Conference on Cyber, Physical and Social Computing (CPSCom), pp. 131–138. http://hdl.handle.net/10454/12322

  13. Dragomir, C., Ipate, F., Konur, S., Lefticaru, R., & Mierlă, L. (2014). Model checking kernel P systems. In A. Alhazov, S. Cojocaru, M. Gheorghe, Y. Rogozhin, G. Rozenberg, & A. Salomaa (Eds.), Membrane computing (Vol. 8340, pp. 151–172), Lecture Notes in Computer Science Berlin Heidelberg: Springer.

  14. Coakley, S., Gheorghe, M., Holcombe, M., Chin, S., Worth, D., & Greenough, C. (2012). Exploitation of high performance computing in the FLAME agent-based simulation framework. In 14th IEEE International Conference on High Performance Computing and Communication, HPCC 2012, pp. 538–545.

  15. Kiran, M., Konur, S., Gheorghe, M., Burkitt, M., & Ipate, F. (2015). Agent-based high-performance simulation of biological systems on the GPU. In 2015 IEEE 17th International Conference on High Performance Computing and Communications. pp. 84–89.

  16. Ipate, F., & Gheorghe, M. (2009). Finite state based testing of P systems. Natural Computing, 8(4), 833–846. https://doi.org/10.1007/s11047-008-9099-3.

    Article  MathSciNet  MATH  Google Scholar 

  17. Ipate, F., & Gheorghe, M. (2009). Testing non-deterministic stream X-machine models and P systems. Electronic Notes in Theoretical Computer Science, 227, 113–126. https://doi.org/10.1016/j.entcs.2008.12.107.

    Article  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  19. Ipate, F., Gheorghe, M., & Lefticaru, R. (2010). Test generation from P systems using model checking. Journal of Logic and Algebraic Programming, 79(6), 350–362. https://doi.org/10.1016/j.jlap.2010.03.007.

    Article  MathSciNet  MATH  Google Scholar 

  20. Gheorghe, M., Ipate, F., & Konur, S. (2016). Testing based on identifiable P systems using cover automata and X-machines. Information Sciences 372, 565–578. https://doi.org/10.1016/j.ins.2016.08.028.

    Article  Google Scholar 

  21. Gheorghe, M., Ipate, F., Lefticaru, R., & Ţurlea, A. (2018). Testing identifiable kernel P systems using an X-machine approach. In International Conference on Membrane Computing, pp. 142–159, Springer.

  22. Harman, M., & McMinn, P. (2010). A theoretical and empirical study of search-based testing: Local, global, and hybrid search. IEEE Transactions on Software Engineering, 36(2), 226–247.

    Article  Google Scholar 

  23. Kalaji, A. S., Hierons, R. M., & Swift, S. (2011). An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. Information & Software Technology, 53(12), 1297–1318.

    Article  Google Scholar 

  24. Lefticaru, R., & Ipate, F. (2008). Functional Search-based Testing from State Machines. In First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, pp. 525–528.

  25. Lefticaru, R., & Ipate, F. (2007). Automatic state-based test generation using genetic algorithms. In Proc. SYNASC’07, pp. 188–195. IEEE Computer Society.

  26. Ţurlea, A., Ipate, F., & Lefticaru, R. (2016). A hybrid test generation approach based on extended finite state machines. In 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timişoara, Romania, pp. 173–180. https://doi.org/10.1109/SYNASC.2016.037.

  27. Mitchell, M. (1998). An Introduction to Genetic Algorithms. Cambridge: MIT Press.

    MATH  Google Scholar 

  28. Nicolescu, R., Dinneen, M.J., & Kim, Y.B. (2009). Structure modelling with hyperdag p systems: Part B. Tech. rep., Centre for Discrete Mathematics and Theoretical Computer Science, CDMTCS-373.

  29. Henderson, A., & Nicolescu, R. (2019). Actor-like cP systems. In T. Hinze, G. Rozenberg, A. Salomaa, & C. Zandron (Eds.), Membrane Computing (Vol. 11399, pp. 160–187), Lecture Notes in Computer Science Berlin Heidelberg: Springer.

  30. Bakir, M.E., Ipate, F., Konur, S., Mierlă, L., & Niculescu, I. (2014). Extended simulation and verification platform for kernel P systems. In Membrane Computing—15th International Conference, CMC 2014, pp. 158–178.

  31. Holcombe, M. (1988). X-machines as a basis for dynamic system specification. Software Engineering Journal, 3(2), 69–76.

    Article  Google Scholar 

  32. Bakir, M.E., Konur, S., Gheorghe, M., Niculescu, I., & Ipate, F. (2014). High performance simulations of kernel P systems. In 2014 IEEE international conference on high performance computing and communications, HPCC 2014, pp. 409–412.

  33. Gheorghe, M., Konur, S., Ipate, F., Mierlă, L., Bakir, M.E., & Stannett, M. (2015). An integrated model checking toolset for kernel P systems. In Membrane Computing - 16th International Conference, CMC 2015, pp. 153–170

  34. Arapinis, M., Calder, M., Denis, L., Fisher, M., Gray, P., Konur, S., et al. (2009). Towards the verification of pervasive systems. Electronic Communications of the EASST, 2009, 22.

    Google Scholar 

  35. Konur, S., Fisher, M., Dobson, S., & Knox, S. (2014). Formal verification of a pervasive messaging system. Formal Aspects of Computing, 26(4), 677–694.

    Article  Google Scholar 

  36. Konur, S., & Gheorghe, M. (2015). A property-driven methodology for formal analysis of synthetic biology systems. IEEE/ACM Transactions on Computational Biology and Bioinformatics., 12, 360–371.

    Article  Google Scholar 

  37. Bakir, M. E., Konur, S., Gheorghe, M., Krasnogor, N., & Stannett, M. (2018). Automatic selection of verification tools for efficient analysis of biochemical models. Bioinformatics, 34(18), 3187–3195.

    Article  Google Scholar 

  38. Konur, S. (2010). Real-time and probabilistic temporal logics: An overview. CoRR arXiv:1005.3200.

  39. Konur, S. (2013). A survey on temporal logics for specifying and verifying real-time systems. Frontiers of Computer Science, 7(3), 370–403.

    Article  MathSciNet  Google Scholar 

  40. Konur, S. (2014). Specifying safety-critical systems with a decidable duration logic. Science of Computer Programming, 80, 264–287.

    Article  Google Scholar 

  41. Holzmann, G. J. (1997). The model checker SPIN. IEEE Transactions on Software Engineering, 23(5), 275–295.

    Article  Google Scholar 

  42. Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., & Tacchella, A. (2002). NuSMV 2: An open source tool for symbolic model checking. In Computer Aided Verification, 14th International Conference, CAV 2002, Proceedings, pp. 359–364.

  43. Harman, M., & McMinn, P.: A theoretical & empirical analysis of evolutionary testing and hill climbing for structural test data generation. In Proceedings of the 2007 international symposium on Software testing and analysis. pp. 73–83. ACM (2007).

Download references

Acknowledgements

The work of AT, FI and MG is supported by a grant of the Romanian National Authority for Scientific Research, CNCS-UEFISCDI, project number PN-III-P4-ID-PCE-2016-0210. The work of SK is supported by EPSRC (EP/R043787/1). The authors are indebted to the anonymous reviewers for their comments made on a previous version of the paper which have contributed to significant improvement of the current work.

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Computer Science and ICUB, University of Bucharest, Bucharest, Romania

    Ana Ţurlea & Florentin Ipate

  2. Department of Computer Science, University of Bradford, Bradford, UK

    Marian Gheorghe & Savas Konur

Authors
  1. Ana Ţurlea
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marian Gheorghe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Florentin Ipate
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Savas Konur
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marian Gheorghe.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ţurlea, A., Gheorghe, M., Ipate, F. et al. Search-based testing in membrane computing. J Membr Comput 1, 241–250 (2019). https://doi.org/10.1007/s41965-019-00027-w

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s41965-019-00027-w

Keywords

Search

Navigation