This paper presents some approaches on testing P systems that allow building specific testing tools. The two approaches used for automatic test case generation are based on model-checking and building the derivation tree, respectively. The classes of P systems addressed so far are transitional, with evolution-communication rules, and probabilistic P systems, with electrical charges.