An Integrated Automatic Test Data Generation System [chapter]

A. Jefferson Offutt
<span title="">1991</span> <i title="Springer US"> Case Technology </i> &nbsp;
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 &raquo; ... 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.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4615-3644-4_7">doi:10.1007/978-1-4615-3644-4_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tkqmc4jc5jew5burraojxxncsa">fatcat:tkqmc4jc5jew5burraojxxncsa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090218225442/http://cs.gmu.edu:80/~offutt/rsrch/papers/josi.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a4/0d/a40d0c1f88efdd7eb40bff3318e19c8cffded4db.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4615-3644-4_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>