Path-sensitive alias analysis for data flow testing

Software Testing Verification and Reliability

Volumn 9, Issue 1, 1999, Pages 51-73

  Marx, Delia I S ^a   Frankl, Phyllis G ^b  

^a MERCY COLLEGE   (United States)

^b POLYTECHNIC UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; DATA TRANSFER;

DATA FLOW TESTING; PATH-SENSITIVE ALIAS ANALYSIS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0032631185     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1099-1689(199903)9:1<51::AID-STVR177>3.0.CO;2-U     Document Type: Article

References (19)

1. Aho, A. V., Sethi, R. and Ullman, J. D. (1986) Compilers: Principles, Techniques and Tools, Addison-Wesley, Reading, Massachusetts, U.S.A.
2. Frankl, P. G. (1987) The use of data flow information for the selection and evaluation of software test data, PhD thesis, Courant Institute of Mathematical Sciences, New York University, New York, U.S.A., October 1987.
3. Frankl, P. G. and Weyuker, E. J. (1988) 'An applicable family of data flow testing criteria', IEEE Transactions on Software Engineering, 14(10), 1483-1498.
4. Frankl, P. G., Weiss, S. N. and Weyuker, E. J. (1985) 'ASSET - a system to select and evaluate tests', Proceedings of the IEEE Conference on Software Tools, April 1985, IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 72-79.
5. Herman, P. M. (1976) 'A data flow analysis approach to program testing', The Australian Computer Journal, 8(3), 92-96.
6. Hamlet, D., Gifford, B. and Nikolik, B. (1993) 'Exploring data flow testing of arrays', Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, U.S.A., May 1993, IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 118-129.
7. Hummel, J., Hendren, L. J. and Nicolau, A. (1994) 'A general data dependence test for dynamic, pointer-based data structures', Proceedings of the Conference on Programming Language Design and Implementation, ACM Press, New York, U.S.A., June 1994, pp. 218-229.
8. Horgan, J. R. and London, S. (1991) 'Data flow coverage and the C language', Proceedings of the Symposium on Software Testing, Analysis and Verification (TAV4), Victoria, British Columbia, Canada, October 1991, ACM Press, New York, U.S.A., pp. 87-97.
9. Harrold, M. J. and Rothermel, G. (1996) 'Separate computation of alias information for reuse', Proceedings of the 1996 International Symposium on Software Testing and Analysis, San Diego, California, U.S.A., January 1996, ACM Press, New York, U.S.A., pp. 107-120.
10. Harrold, M. J. and Soffa, M. L. (1989) 'Interprocedural data flow testing'. Proceedings of the ACM SIGSOFT Third Symposium on Software Testing, Analysis, and Verification (TAV3), Key West, Florida, U.S.A., December 1989, ACM Press, New York, U.S.A., pp. 158-167.
11. Laski, J. W. and Korel, B. (1983) 'A data flow oriented program testing strategy', IEEE Transactions on Software Engineering, 9(3), 347-354.
12. Landi, W. and Ryder, B. G. (1992) 'A safe approximate algorithm for interprocedural pointer aliasing', Proceedings of the SIGPLAN '92. Conference on Programming Language Design and Implementation, June 1992, ACM Press, New York, U.S.A., pp. 235-248.
13. Marx, D. I. S. and Frankl, P. G. (1996) 'The path-wise approach to data flow testing with pointer variables', Proceedings of the 1996 International Symposium on Software Testing and Analysis, San Diego, California, U.S.A., January 1996, ACM Press, New York, U.S.A., pp. 135-146.
14. Ntafos, S. (1984) 'On required element testing', IEEE Transactions on Software Engineering, 10(6), 795-803.
15. Ostrand, T. J. and Weyuker, E. J. (1991) 'Data flow based test adequacy analysis for languages with pointers', Proceedings of the Symposium on Software Testing, Analysis, and Verification (TAV4), Victoria, British Columbia, Canada, October 1991, ACM Press, New York, U.S.A., pp. 74-86.
16. Pande, H., Landi, W. and Ryder, B. (1994) 'Interprocedural def-use associations for C systems with single level pointers', IEEE Transactions on Software Engineering, 20(5), 385-403.
17. Parr, T. J. and Quong, R. W. (1995) 'ANTLR: a predicated-LL(fc) parser generator', Software -Practice and Experience, 25(7), 789-810.
18. Rapps, S. and Weyuker, E. J. (1985) 'Selecting software test data using data flow information', IEEE Transactions on Software Engineering, 14(4), 367-375.
19. Ural, H. and Yang, B. (1991) 'A test sequence selection method for protocol testing', IEEE Transactions on Communications, 39(4), 514-523.