Data flow-based test adequacy analysis for languages with pointers

Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991

Volumn , Issue , 1991, Pages 74-86

  Ostrand, Thomas J ^a   Weyuker, Elaine J ^b  

^a SIEMENS CORPORATE RESEARCH   (United States)

^b NEW YORK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; DATA TRANSFER; PASCAL (PROGRAMMING LANGUAGE);

C LANGUAGE; C PROGRAMS; COMPLEX CONTROL; DATA FLOW; PROTOTYPE TOOLS; SINGLE LEVEL; TEST ADEQUACIES; TEST SETS;

C (PROGRAMMING LANGUAGE);

EID: 84987239158     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/120807.120814     Document Type: Conference Paper

References (13)

1. J. Camaratta, M. Platoff, and M. Wagner, "An Integrated Program Representation and Toolkit for the Maintenance of C Programs", Proc. IEEE Conf. on Software Maintenance-1991, (October 1991).
2. P.G. Frankl and E.J. Weyuker, "A Dataflow Testing Tool", Proc. IEEE Softfair II, San Francisco, (December 1985).
3. P.G. Frankl and E.J. Weyuker, "An Applicable Family of Data Flow Testing Criteria", IEEE Trans. Softw. Eng. SE-14, (October 1988).
4. P.G. Frankl, S.N. Weiss, and E.J. Weyuker, "ASSET: A System to Select and Evaluate Tests", Proc. IEEE Conf. Software Tools, New York, (April 1985).
5. P.M. Herman, "A Data Analysis Approach to Program Testing", Australian Computer J. 8, (November 1976), 92-96.
6. J. Laski, "Data FLow Testing in STAD", J. Systems Software 12 (1990), 3-14.
7. J.W. Laski and B. Korel, "A Data Flow Oriented Program Testing Strategy", IEEE Trans. Softw. Eng. SE-9, no 3, (May 1983), 347-354.
8. J. R. Larus, "Abstract Execution: A Technique for Efficiently Tracing Programs", Software-Practice and Experience 20, (December 1990), 1241-1258.
9. S. Ntafos, "An Evaluation of Required Element Testing Strategies", Proc. Seventh Int. Conf. Software Engineering, (March 1984), 250-256.
10. T. Ostrand, "Data-How Testing with Pointers and Function Calls", Proc. Pacific Northwest Software Quality Conf., Portland, OR (Oct. 1990), 218-227.
11. H. D. Pande, B. G. Ryder, and W. A. Landi, "Interprocedural Def-Use Associations in C Programs", Proc. ACM SIGSOFT Symposium on Software Testing, Analysis, and Verification, Victoria, B.C. (October 1991).
12. S. Rapps and E.J. Weyuker, "Data Flow Analysis Techniques for Test Data Selection", Proc. Sixth Int. Conf. Software Engineering, Tokyo, (September 1982).
13. S. Rapps and E.J. Weyuker, "Selecting Software Test Data Using Data Flow Information", IEEE Trans. Softw. Eng. SE-11, (April 1985).