Issue No. 09 - September (1991 vol. 17)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.92910
<p>A novel technique for automatically generating test data is presented. The technique is based on mutation analysis and creates test data that approximate relative adequacy. It is a fault-based technique that uses algebraic constraints to describe test cases designed to find particular types of faults. A set of tools (collectively called Godzilla) that automatically generates constraints and solves them to create test cases for unit and module testing has been implemented. Godzilla has been integrated with the Mothratesting system and has been used as an effective way to generate test data that kill program mutants. The authors present an initial list of constraints and discuss some of the problems that have been solved to develop the complete implementation of the technique.</p>
constraint-based data generation; automatic test data generation; mutation analysis; relative adequacy; fault-based technique; algebraic constraints; Godzilla; module testing; Mothra testing system; computational complexity; program testing
A. Offutt and R. DeMilli, "Constraint-Based Automatic Test Data Generation," in IEEE Transactions on Software Engineering, vol. 17, no. , pp. 900-910, 1991.