This test automation software reduces the burden of testing artificial-intelligence (AI) planning software written in the Heuristic Scheduling Testbed System (HSTS) [a software architecture for planning and scheduling]. It automates what would otherwise be the labor intensive and infeasibly time-consuming process of determining whether the plans produced by the planner in response to test case inputs are consistent with the specifications. Automating this process is particularly important for verifying planning systems due to the large numbers of test cases and the complexity of both the plans and the specifications. This program automatically translates constraints written in the HSTS constraint language into automatically executable queries in a database language. As a result, plans generated by HSTS planning software can be automatically verified for satisfaction of all the constraints. Moreover, the constraints can be validated by manually expressing their intents directly in the database query language, then plans generated by the HSTS planning software can be automatically verified through the responses to those queries. Redundant information contained within plans is automatically cross-checked, thus increasing confidence in the correct operation of the planning software and of the plan-checkers themselves. This program generates a pass/fail report of the responses of the planning software, as well as detailed and summary reports as to how each constraint was or was not satisfied. It also generates simple metrics concerning the constraints and requirements exercised in testing.
This program was written by Benjamin Smith and Martin Feather of Caltech for NASA's Jet Propulsion Laboratory. For further information, access the Technical Support Package (TSP) free on-line at www.nasatech.com/tsp under the Software category
This software is available for commercial licensing. Please contact Don Hart of the California Institute of Technology at (818) 393-3425.
Refer to NPO-21118
This Brief includes a Technical Support Package (TSP).
Test Automation Software for AI Planning Software
(reference NPO-21118) is currently available for download from the TSP library.
Don't have an account? Sign up here.