Data flow-based test adequacy analysis for languages with pointers
- 1 October 1991
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
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.Keywords
This publication has 6 references indexed in Scilit:
- Interprocedural Def-Use associations in C programsPublished by Association for Computing Machinery (ACM) ,1991
- Abstract execution: A technique for efficiently tracing programsSoftware: Practice and Experience, 1990
- Data flow testing in STADJournal of Systems and Software, 1990
- An applicable family of data flow testing criteriaIEEE Transactions on Software Engineering, 1988
- Selecting Software Test Data Using Data Flow InformationIEEE Transactions on Software Engineering, 1985
- A Data Flow Oriented Program Testing StrategyIEEE Transactions on Software Engineering, 1983