PDVer, a Tool to Verify PDDL Planning Domains
Franco Raimondi, Charles Pecheur, Guillaume P. Brat · Middlesex University Research Repository (Middlesex University Of London) · 2009
We present a methodology and a tool for the problem of test-ing and verifying that a PDDL planning domain satisfies a set of requirements, a need that arises for instance in space mis-sions. We first review and analyse coverage conditions for requirement-based testing, and present how test cases can be derived automatically from requirements. Additionally, we show how test cases can be translated into additional plan-ning goals. To automate this process, we introduce PDVer, an Eclipse plug-in for the automatic generation of PDDL code from requirements expressed in LTL. We evaluate the effec-tiveness of our approach and the usability of our tool against the Rovers domain from the fifth International Planning Com-petition (IPC-5). 1