Selecting Software Test Data Using Data Flow Information
- 1 April 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-11 (4), 367-375
- https://doi.org/10.1109/tse.1985.232226
Abstract
This paper defines a family of program test data selection criteria derived from data flow analysis techniques similar to those used in compiler optimization. It is argued that currently used path selection criteria, which examine only the control flow of a program, are inadequate quate. Our procedure associates with each point in a program at which a variable is defined, those points at which the value is used. Several test data selection criteria, differing in the type and number of these associations, are defined and compared.Keywords
This publication has 10 references indexed in Scilit:
- New methodologies for measuring film thickness, coverage, and topographyIEEE Transactions on Magnetics, 2000
- On Required Element TestingIEEE Transactions on Software Engineering, 1984
- A Data Flow Oriented Program Testing StrategyIEEE Transactions on Software Engineering, 1983
- On Testing Non-Testable ProgramsThe Computer Journal, 1982
- Theories of Program Testing and the Application of Revealing SubdomainsIEEE Transactions on Software Engineering, 1980
- Experience with Path Analysis and Testing of ProgramsIEEE Transactions on Software Engineering, 1980
- The applicability of program schema results to programsInternational Journal of Parallel Programming, 1979
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976
- Methodology for the Generation of Program Test DataIEEE Transactions on Computers, 1975
- SELECT---a formal system for testing and debugging programs by symbolic executionPublished by Association for Computing Machinery (ACM) ,1975