The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (1991 vol.17)
pp: 900-910
ABSTRACT
<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>
INDEX TERMS
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
CITATION
R.A. DeMilli, A.J. Offutt, "Constraint-Based Automatic Test Data Generation", IEEE Transactions on Software Engineering, vol.17, no. 9, pp. 900-910, September 1991, doi:10.1109/32.92910
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool