The Effects of Optimizing Transformations on Data-Flow Adequate Test Sets

Abstract

Systematic testing during program development is typically performed on some unoptimized version of a program. When development is complete, the program is compiled and optimizing tran~ormations are often applied. While translation such as compilation alters a program’s form, optimizing tran~ormations create a new version of the program that must be retested. This paper characterizes optimizing tran#ormations according to their eflects on adequate test sets developed for data jlow testing. The main benejit of this result is that it is known if a test set remains a&quate after optimization and thus, eliminates the need for complete reanalysis of a program before retesting. When the original test set is inadequate for the optimized version of the program, an incremental testing technique is used to &termine what must be retested. The hta j?ow tester has been incorporated into Free Software Foundation, Inc’s GNU CC compiler” and experiments are being performed.

DOI: 10.1145/120807.120819

Extracted Key Phrases

3 Figures and Tables

Cite this paper

@inproceedings{Harrold1991TheEO, title={The Effects of Optimizing Transformations on Data-Flow Adequate Test Sets}, author={Mary Jean Harrold}, booktitle={Symposium on Testing, Analysis, and Verification}, year={1991} }