Top

Natural Computing

Published in:

01-03-2011

An empirical evaluation of P system testing techniques

Authors: Raluca Lefticaru, Marian Gheorghe, Florentin Ipate

Published in: Natural Computing | Issue 1/2011

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

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.

previous article A review of the nondeterministic waiting time algorithm

next article P systems with active membranes: trading time for space

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

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–846MathSciNetMATHCrossRef

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–126CrossRef

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

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–143CrossRef

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–100CrossRef

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

Title: An empirical evaluation of P system testing techniques
Authors: Raluca Lefticaru
Marian Gheorghe
Florentin Ipate
Publication date: 01-03-2011
Publisher: Springer Netherlands
Published in: Natural Computing / Issue 1/2011
Print ISSN: 1567-7818
Electronic ISSN: 1572-9796
DOI: https://doi.org/10.1007/s11047-010-9188-y

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 1/2011

Data analysis pipeline from laboratory to MP models

An immune system inspired clustering and classification method to detect critical areas in electrical power networks

Editorial for special issue on the interaction between computation and biology

On aggregation in multiset-based self-assembly of graphs

An improved multi-agent genetic algorithm for numerical optimization

Efficient algorithms for self assembling non-rectangular nano structures

Premium Partner