An integrated automatic test data generation system |
| |
Authors: | A Jefferson Offutt |
| |
Affiliation: | (1) Department of Computer Science, Clemson University, 29634 Clemson, SC |
| |
Abstract: | 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 coverage, branch coverage, domain perturbation, and symbolic evaluation. Because Godzilla uses a rule-based approach to generate test data, it is easily extendible to allow new testing techniques to be integrated into the current system. This article 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.Parts of this research were supported by Contract F30602-85-C-0255 through Rome Air Development Center while the author was a graduate student at the Georgia Institute of Technology. |
| |
Keywords: | constraints fault-based testing mutation testing software testing test data generation unit testing |
本文献已被 SpringerLink 等数据库收录! |
|