Data flow coverage and the C language

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

Volumn , Issue , 1991, Pages 87-97

  Horgan, J R ^a   London, S ^a  

^a TELCORDIA TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA TRANSFER;

C LANGUAGE; COVERAGE CRITERIA; COVERAGE TESTING; DATA FLOW; LANGUAGE INDEPENDENTS;

C (PROGRAMMING LANGUAGE);

EID: 85013187726     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/120807.120815     Document Type: Conference Paper

References (19)

1. [Bie89] Bieman, J.M., J.L. Schultz, "Estimating the Number of Test Cases Required to Satisfy the All-du-paths Testing Criterion, " Proceedings of the Third Workshop on Software Testing, Verification, and Analysis, Key West, IEEE Computer Society, 1989.
2. [Cla89] Clarke, L.A., A. Podgurski, DJ. Richardson, S.J. Zeil, "A Formal Evaluation of Data Flow Path Selection Criteria, " IEEE Transactions on Software Engineering, Vol. 15, No. 11, November 1989.
3. [DeM87] DeMillo, R.A., W.M. McCracken, R.J. Martin, J.F. Passafiume, Software Testing and Evaluation, The Benjamin/Cummings Publishing Company, Menlo Park, CA, 1987.
4. [DeM88] DeMillo, R.A., D.S. Gundi, K.N. King, W.M. McCracken, and A.J. Offutt, "An extended overview of the Mothra software testing environment, " Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, Banff, IEEE Computer Society, 1988.
5. [DeM91] DeMillo, R.A., E.W. Krauser, A.P. Mathur, "Compiler-Integrated Mutation, " Proceedings of the Fifteenth Annual Computer Software and Applications Conference, Kogakuin University, Tokyo, Japan, September 11-13, 1991.
6. [Fra87] Frankl, P.G., The use of Data Flow Information for the Selection and Evaluation of Software Test Data, Ph.D. dissertation. New York Univ., New York, Oct. 1987.
7. [Fra88] Frankl, P.G., EJ. Weyuker, "An Applicable Family of Data Flow Testing Criteria, " IEEE Transactions on Software Engineering, Vol. SE-14, No. 10, October 1988.
8. [Hor90] Horgan, J.R., S.A. London, "ATAC - Automatic Test Analysis For C Programs, " Bellcore internal memorandum, 1990.
9. [Hor91] Horgan, J.R., A.P. Mathur, "Effectiveness of Data Flow Testing, " under preparation, 1991.
10. [Hor91a] Horgan, J.R., A.P. Mathur, "Weak Mutation is Probably Strong Mutation, " SERC-TR-83-P, Software Engineering Research Center, Purdue University, December 1990.
11. [Hor91b] Horgan, J.R., "Test Selection Oracles and their speed-up, " Bellcore internal memorandum, 1991.
12. [Ker78] Kernighan, B.W., D.M. Ritchie, The C Programming Language, Prentice-Hall, Englewood Cliffs, 1978.
13. [Ker84] Kernighan, B.W., R. Pike, The UNLX Programming Environment?, Prentice-Hall, Englewood Cliffs, 1984.
14. [Las90] Laski, J., "Data Flow Testing in STAD, " Journal of Systems Software, 12, pp. 3-14, 1990.
15. [Nac88] Nachbar, D.W., "SPIFF - A Program for Making Controlled Approximate Comparison of Files, " Bellcore internal memorandum, 1988.
16. [Off88] Offutt, A.J., "Automatic Test Data Generation, " Ph.D. Thesis, Georgia Institute of Technology, Atlanta, Ga., 1988.
17. [Rap85] Rapps, S., E.J. Weyuker, "Selecting Software Test Data Using Data Flow Information, " IEEE Transactions on Software Engineering, Vol. SE-11, No. 4, April 1985.
18. [Wey79] Weyuker E.J., "The applicability of program scheme results to programs, " Int. J. Comput. Inform. Sci., Vol. 8, pp.387-403, Nov, 1979.
19. [Wey90] Weyuker, E.J., "The Cost of Data Flow Testing: An Empirical Study, " IEEE Transactions on Software Engineering, Vol. 16, No. 2, February 1990.