Data Flow-Based Test Adequacy Analysis for Languages with Pointers

The data f70w adequacy criteria, originally proposed for a simple language and Pascal, have been substantially modified to provide more thorough analysis for code wifh exfensive use of pointers and complex control sirucfures, such as code frequently writ fen in the C language. A prototype fool, TACTIC, has been builf fo exiracf clef-use associations from C programs, and fo defermine whefher test sets are adequafe with respect to the new criteria. TACTIC successfully analyzes data flow of individual functions in C programs with single-level poinfer references.