Delia I. S. Marx
ABSTRACT
This paper describes a new approach to performing data flow testing on programs that use pointer variables and a tool based on this approach. Our technique is based on the observation that, under certain reasonable assumptions, we can determine which dereferenced pointers are aliased whenever control reaches a given program point via a particular path. Furthermore, we can group together paths which behave similarly and represent them by regular expressions. The resulting test requirements demand that the test data execute representatives of particular sets of paths between variable definitions and uses.
- 1.A. Aho, R. Sethi, and J. Ullman. Compzlers: Princzples, Technzques, and Tools. Addison-Wesley, Reading, Mass., 1986. Google Scholar
Digital Library
- 2.P. G. Frankl. The Use of Data Flow Information for the ,qelectzon and Evaluation of Software Test Data. PhD thesis, Courant Institute of Mathen~atical Sciences, New York University, Oct. 1987. Google ScholarDigital Library
- 3.P. G. Frankl, S. N. Weiss, and E. J. Weyuker. AS- SET - a system to select and evaluate tests. In Proceedzngs of the iEEE Conference on Software Tools, pages 72-79, Apr. 1985.Google Scholar
- 4.P. G. Frankl and E. J. Weyuker. An applicable family of data flow testing criteria. IEEE Transactzons on Software Engineering, SE-14(10):1483- 1498, Oct. 1988. Google ScholarDigital Library
- 5.M. j. Harrold and M. L. Sofia. lnterprocedural data flow testing. In Proceedings ACM SIGSOFT Third Sympos,um on Software Testing, Analysis, and Verification, pages 158-167. ACM Press, Dec. 1990. Google ScholarDigital Library
- 6.P. Herman. A data flow analysis approach to program testing. The A ustrahan Computer Journal, 8(3):92-96, Nov. 1976.Google Scholar
- 7.J. Horgan and S. London. Data flow coverage and the C language. In Proceedings Fourth Symposium on Software Testing, Analysis, and Verification, pages 87-97. ACM Press, Oct. 1991. Google ScholarDigital Library
- 8.W. Landi and B. Ryder. A safe approximate algorithm for interprocedural pointer aliasing, in Proceedzngs of the SIGPLAN '92 Conference on Programm~ng Language Deszgn and Implcmcntatzon, pages 235-248. ACM Press, June 1992. Google ScholarDigital Library
- 9.J. W. Laski and B. Korel. A data flow oriented program testing strategy. IEEE Transactions on Software Engineering, SE-9(3):347-354, May 1983.Google ScholarDigital Library
- 10.S. Ntafos. On required element testing. iEEE Transactzons on Software Engzneering, SE- 10(6):795-803, Nov. 1984.Google Scholar
- 11.T. J. Ostrand and E. J. Weyuker. Data flow based test adequacy analysis for languages with pointers. In Proceedzngs Fourth Symposzum on Software Testing, A nalys~s, and Vemficatzon, pages 74-86. ACM Press, Oct. 1991. Google ScholarDigital Library
- 12.H. Pande, W. Landi, and B. Ryder. Interprocedural def-use associations for C systems with single level pointers. IEEE Transactions on Software Engineering, 20(5):385-403, May 1994. Google ScholarDigital Library
- 13.T. Parr and R. Quong. ANTLI~: a predicated- LL(k) parser generator. Software Practice and Experience. To appear. Google ScholarDigital Library
- 14.S. Rapps and E. J. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engtneerzng, SE-14(4):367-375, Apr. 1985. Google ScholarDigital Library
- 15.H. Ural and B. Yang A test selection method for protocol testing. IEEE Transactions on Commun,catzons, 39(4), Apr. 1991.Google Scholar
Index Terms
- The path-wise approach to data flow testing with pointer variables
Recommendations
The path-wise approach to data flow testing with pointer variables
This paper describes a new approach to performing data flow testing on programs that use pointer variables and a tool based on this approach. Our technique is based on the observation that, under certain reasonable assumptions, we can determine which ...
Semi-sparse flow-sensitive pointer analysis
POPL '09Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major axes of pointer analysis precision are flow-sensitivity and context-...
Semi-sparse flow-sensitive pointer analysis
POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languagesPointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major axes of pointer analysis precision are flow-sensitivity and context-...
Comments