Testing Identifiable Kernel P Systems Using an X-Machine Approach

摘要

This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing method and the concept of cover automaton. The testing methodology ensures that the implementation conforms the specifications, under certain conditions, such as the identifiability concept in the context of kernel P systems.