Data flow analysis techniques for test data selection

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1982, Pages 272-278

  Rapps, Sandra ^b   Weyuker, Elaine J ^a  

^a NEW YORK UNIVERSITY   (United States)

^b YOURDON inc ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; DATA REDUCTION; DATA TRANSFER; SOFTWARE TESTING;

COMPILER OPTIMIZATIONS; CONTROL FLOWS; PATH SELECTION; TEST DATA;

PROGRAM COMPILERS;

EID: 84987194972     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. J.B. Goodenough and S.L. Gerhart, Toward a Theory of Testing: Data Selection Criteria, in Current Trends in Programming Methodology, Vol.2, ed. R.T. Yeh, Prentice- Hall, 1977, pp. 44-79.
2. E.J. Weyuker and T.J. Ostrand, "Theories of Program Testing and the Application of Revealing Subdomains, " IEEE Trans. Software Eng., Vol.SE-6, May 1980, pp.236-246.
3. E. Miller, "Coverage Measure Definitions Reviewed, " Testing Techniques Newsletter, Vol.3, No.4, Nov 1980, p.6.
4. M.R. Woodward, D.Hedley, and M.A. Hennell, "Experience With Path Analysis and Testing of Programs, " IEEE Trans. Software Eng., Vol.SE-6, May 1980, pp.278-286.
5. W.E. Howden, "Methodology for the Generation of Test Data, " IEEE Trans. Computers, Vol.TC-24, May 1975.
6. W.E. Howden, "Reliability of the Path Analysis Testing Strategy, " IEEE Trans. Software Eng., Vol.SE-2, Sept 1976, pp.208-215.
7. R.S. Boyer, B.E. Elspas, and K.N. Levitt, "SELECT-A Formal System for Testing and Debugging, " Proc. of the Int. Conf. on Reliable Software, Los Angeles, April 1975, pp.234-245.
8. L.A. Clarke, "A System to Generate Data and Symbolically Execute Programs, " IEEE Trans. Software Eng., Vol.SE-2, Sept 1976, pp.215-222.
9. W.E. Howden, "Symbolic Testing and the DISSECT Symbolic Evaluation System, " IEEE Trans. Software Eng., Vol.SE-3, July 1977, pp.266-278.
10. J.C. King, "Symbolic Execution and Program Testing, " Commun. ACM, 19, July 1976, pp.385-394.
11. M.S. Hecht, Flow Analysis of Computer Programs, North Holland, 1977.
12. E.J. Weyuker, "The Applicability of Program Schema Results to Programs, " Int. J. Comput. Inf. Sci., Vol.8, No.5, Nov 1979.
13. L.D. Fosdick and L.J. Osterweil, "Data Flow Analysis in Software Reliability, " Comput. Surveys, Vol.8, No.3, Sept 1976, pp.305-330.
14. L.J. Osterweil, "The Detection of Unexecutable Program Paths Through Static Data Flow Analysis, " Proc. IEEE COMSAC, Chicago, 111., Dec 1977.
15. L.J. White and E.I. Cohen, "A Domain Strategy for Computer Program Testing, " IEEE Trans. Software Eng., Vol. SE-6, May 1980, pp.247-257.
16. S. Ntafos, "On Testing With Required Elements, " U. Texas at Dallas Technical Report 90, July 1981.
17. S. Rapps and E.J. Weyuker, "Data Flow Analysis Techniques for Test Data Selection, " Dept of Computer Science Technical Report 023, Courant Institute of Mathematical Sciences, New York University, Aug 1980 (revised Dec 1981).