Knowledge-Based Software Engineering Conference (1995)
Nov. 12, 1995 to Nov. 15, 1995
A.E. Howe , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
A. von Mayrhauser , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
R.T. Mraz , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
Most automated software testing techniques adopt a procedural approach, specifying how sequences are to be generated. In contrast, AI planners generate plans (sequences of actions) in a goal oriented fashion, specifying how actions interact and inferring sequences from that information. We describe the development of an prototype test generation system which is built in an AI planner. We demonstrated the prototype on an application with a command language interface adopted from the Sleuth system, a tool for automated application domain testing.
program testing; planning (artificial intelligence); sequences; software tools; automated software testing techniques; AI planner; system test generation; goal oriented method; action interaction; sequence inference; prototype test generation system; command language interface; Sleuth system; automated application domain testing tool
A. Howe, A. von Mayrhauser and R. Mraz, "Test sequences as plans: an experiment in using an AI planner to generate system tests," Knowledge-Based Software Engineering Conference(KBSE), Boston, Massachusetts, 1995, pp. 184.