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

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

Opened Access Model Checking Based Test Generation from P Systems Using P-Lingua
Exportar a
Autor: Lefticaru, Raluca
Ipate, Florentin
Gheorgue, Marian
Fecha: 2010
Publicado en: 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
Tipo de documento: Ponencia
Resumen: 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.
Tamaño: 231.6Kb
Formato: PDF


Mostrar el registro completo del ítem

Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones