An Efficient Relevant Slicing Method for Debugging
- 1.2k Downloads
Dynamic program slicing methods are widely used for debugging, because many statements can be ignored in the process of localizing a bug. A dynamic program slice with respect to a variable contains only those statements that actually had an influence on this variable. How- ever, during debugging we also need to identify those statements that actually did not affect the variable but could have affected it had they been evaluated differently. A relevant slice includes these potentially af- fecting statements as well, therefore it is appropriate for debugging. In this paper a forward algorithm is introduced for the computation of relevant slices of programs. The space requirement of this method does not depend on the number of different dynamic slices nor on the size of the execution history, hence it can be applied for real size applications.
KeywordsDynamic slicing relevant slicing debugging
Unable to display preview. Download preview PDF.
- 1.Agrawal, H., DeMillo, R. A., and Spafford, E. H. Dynamic slicing in the presence of unconstrained pointers. In Proceedings of the ACM Fourth Symposium on Testing, Analysis, and Verification (TAV4) (1991), pp. 60–73.Google Scholar
- 3.Agrawal, H., and Horgan, J. Dynamic program slicing. SIGPLAN Notices, No. 6, 1990, pp. 246–256.Google Scholar
- 4.Agrawal, H., Horgan, J. R., Krauser, E. W., and London, S. A. Incremental Regression Testing. Proceedings of the IEEE Conference on Software Maintenance, Montreal, Canada,1993.Google Scholar
- 5.Beck, J., and Eichmann, D. Program and Interface Slicing for Reverse Engineering. In Proc. 15th Int. Conference on Software Engineering, Baltimore, Maryland, 1993. IEEE Computer Society Press, 1993, 509–518.Google Scholar
- 6.Forgács, I. An exact array reference analysis for data flow testing. In Proc. of the 18th Int. Conference on Software Engineering, Berlin 1996, 565–574.Google Scholar
- 11.Kamkar, M. Interprocedural Dynamic Slicing with Applications to Debugging and Testing, Ph. D. Thesis, Linkoping University, 1993.Google Scholar
- 13.Korel, B., and Rilling, J. Application of dynamic slicing in program debugging. In Proceedings of the Third International Workshop on Automatic Debugging (AADEBUG’97), Linkoping, Sweden, May 1997.Google Scholar
- 14.Korel, B., and Yalamanchili, S. Forward computation of dynamic program slices. In Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA), Seattle, Washington, August 1994.Google Scholar
- 17.Rothermer, G., and Harrold, M. J. Selecting tests and identifying test coverage requirements for modiffied software. In Proc. ISSTA’94 Seattle. 1994, 169–183Google Scholar
- 18.Tip, F. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121–189, September 1995.Google Scholar