Automated analysis of axiomatic specifications for a goal oriented test data generator

This thesis develops a tool which analyzes the axiomatic specification of any given abstract data type module in order to generate a set of rules for guiding a goal oriented test data generator(TDG). The TDG generates a set of test cases in order to change the state of an abstract data type to a specified state. This procedure lays the foundation for establishing the correctness and reliability of abstract data type modules. The specification file so generated also contains information about value-returning functions which enables the user to check the status of the abstract data type module. An algorithm to generate rules from the axiomatic specification, and the design and implementation of the TDG system are discussed. Finally future possible extensions and suggested applications of this system are presented.