The Community for Technology Leaders
Software Engineering, International Conference on (2004)
Edinburgh, Scotland, United Kingdom
May 23, 2004 to May 28, 2004
ISSN: 0270-5257
ISBN: 0-7695-2163-0
pp: 502-511
Xiangyu Zhang , University of Arizona
Rajiv Gupta , University of Arizona
Youtao Zhang , University of Texas at Dallas
Dynamic slicing algorithms can greatly reduce the debugging effort by focusing the attention of the user on a relevant subset of program statements. Recently algorithms for forward computation of dynamic slices have been proposed which maintain dynamic slices of all variables as the program executes. An advantage of this approach is that when a request for a slice is made, it is already available. The main disadvantage of using such an algorithm for slicing realistic programs is that the space and time required to maintain a large set of dynamic slices corresponding to all program variables can be very high. In this paper we analyze the characteristics of dynamic slices and identify properties that enable space efficient representation of a set of dynamic slices. We show that by using reduced ordered binary decision diagrams (roBDDs) to represent a set of dynamic slices, the space and time requirements of maintaining dynamic slices are greatly reduced. In fact not only can the latest dynamic slices of all variables be easily maintained, but rather all dynamic slices of all variables throughout a program?s execution can be maintained. Our experiments show that our roBDD based algorithm for forward computation of dynamic slices can maintain 107-217 million dynamic slices arising during long program runs using only 28-392 megabytes of storage. In addition, the performance of the roBDD based forward computation method compares favorably with the performance of the LP backward computation algorithm.

X. Zhang, R. Gupta and Y. Zhang, "Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams," Proceedings. 26th International Conference on Software Engineering(ICSE), Edinburgh, UK, 2004, pp. 502-511.
88 ms
(Ver 3.3 (11022016))