An integrated system for automatically generating test data

A description is given of the Godzilla automatic test data generator, an integrated set of tools that implements a 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, such as statement analysis, branch coverage, and data flow analysis. Because Godzilla uses a rule-based approach to generate adequate test data, it is easily extendible to allow new testing techniques to be integrated into the current system. The system that has been built to implement constraint-based testing is described. Godzilla was designed in an object-oriented fashion that emphasized orthogonality and modularity. Godzilla is described from a practical viewpoint with emphasis on the internal structure of the system and the engineering problems that were solved during the implementation