Repositorio de producción científica de la Universidad de Sevilla

Model Checking Based Test Generation from P Systems Using P-Lingua


Advanced Search
Opened Access Model Checking Based Test Generation from P Systems Using P-Lingua
Show item statistics
Export to
Author: Lefticaru, Raluca
Ipate, Florentin
Gheorgue, Marian
Date: 2010
Published in: Proceedings of the Eighth Brainstorming Week on Membrane Computing, 157-175. Sevilla, E.T.S. de Ingeniería Informática, 1-5 de Febrero, 2010
ISBN/ISSN: 9788461423576
Document type: Presentation
Abstract: This paper presents an approach for P system testing, that uses model- checking for automatic test generation and P-Lingua as specification language. This approach is based on a transformation of the transitional, non-deterministic, cell-like P system into a Kripke structure, which is further used for test generation, by adding convenient temporal logic specifications. This paper extends our previous work in this field to multi-membrane, transitional P system, having cooperative rules, communication between membranes and membrane dissolution. A tool, which takes as input a P system specified in P-Lingua and translates it into the language accepted by the model checker NuSMV was developed and used for test case generation. Some hints regarding the automatic test generation using NuSMV and P-Lingua are also given.
Size: 231.6Kb
Format: PDF


This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)