Loading...
A model learning based testing approach for kernel P systems
Ipate, F. Niculescu, I. Lefticaru, Raluca Konur, Savas Gheorghe, Marian
Ipate, F.
Niculescu, I.
Lefticaru, Raluca
Konur, Savas
Gheorghe, Marian
Publication Date
2023-07-18
End of Embargo
Supervisor
Rights
Ā© 2023 The Author(s). Published by Elsevier B.V. This is an open access article under the
CC BY license (http://creativecommons.org/licenses/by/4.0/).
Peer-Reviewed
Yes
Open Access status
openAccess
Accepted for publication
2023-05-21
Institution
Department
Awarded
Embargo end date
Additional title
Abstract
Kernel P systems have been introduced as a unifying formalism allowing to specify, simulate and analyse various problems. Several applications of this
model have been considered and a powerful tool built in order to support their development and analysis. Testing represents an important aspect of any system analysis and correctness. In this paper we introduce for the first time a bounded test generation approach for kernel P systems by considering bounded input sequences. A learning algorithm for kernel P systems is based on learning X-machine models that are equivalent to these systems for sequences of steps up to a certain limit, ā. The Lā learning algorithm is used.
The testing approach is then devised from the inferred X-machines. The method is applied to a case study illustrating the key parts of the approach.
Version
Published version
Citation
Ipate F, Niculescu I, Lefticaru R et al (2023) 'A model learning based testing approach for kernel P systems. Theoretical Computer Science. 965: 113975.
Link to publisherās version
Link to published version
Link to Version of Record
Type
Article