An integrated automatic test data generation system

A. Jefferson Offutt
1991 Journal of Systems Integration  
The Godzilla automatic test data generator is an integrated collection of tools that implements a relatively new test data generation method, constraint-based testing, that is based on mutation analysis. Constraint-based testing integrates mutation analysis with several other testing techniques, including statement c o verage, branch c o verage, domain perturbation and symbolic evaluation. Because Godzilla uses a rule-based approach to generate test data, it is easily extendible to allow new
more » ... ting techniques to be integrated into the current system. This paper describes the system that has been built to implement constraint-based testing. Godzilla's design emphasizes orthogonality and modularity, allowing relatively easy extensions. Godzilla's internal structure and algorithms are described with emphasis on internal structures of the system, and the engineering problems that were solved during the implementation.
doi:10.1007/bf02262722 fatcat:d7ydirw3ejgf3c6qrdfdk6shye