A goal oriented test data generator for abstract data type modules



Journal Title

Journal ISSN

Volume Title



This thesis develops an automated test data generator for abstract data type modules. The test data are generated according to rules derived from the axiomatic specification of the abstract data type modules. It can be used to check the correctness and reliability of such modules. An accompanying program generates a driver for the given abstract data type module. Concurrent execution of the driver and the test data generator is discussed. Several abstract data type modules are used as examples. These facilitate the understanding of the test data generator system. The design and implementation of the system are discussed. An algorithm to generate test data is introduced. Comparisons are made between this test data generator and other automated program testing systems. The future applications of the test data generator are discussed, particularly for large software.



Data structures (Computer science), Programming languages (Electronic computers)