This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing approach 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. Best Student Paper Award