DocumentCode :
3015393
Title :
Dynamic slicing method for maintenance of large C programs
Author :
Beszedes, Arpad ; Gergely, Tamás ; Szabó, Zsolt Mihály ; Csirik, János ; Gyimóthy, Tibor
Author_Institution :
Res. Group on Artificial Intelligence, Szeged & HAS Univ., Szeged, Hungary
fYear :
2001
fDate :
2001
Firstpage :
105
Lastpage :
113
Abstract :
Different program slicing methods are used for maintenance, reverse engineering, testing and debugging. Slicing algorithms can be classified as static slicing and dynamic slicing methods. In several applications the computation of dynamic slices is preferable, since it can produce more precise results. In this paper, we introduce a new forward global method for computing backward dynamic slices of C programs. In parallel to the program execution, the algorithm determines the dynamic slices for any program instruction. We also propose a solution for some problems specific to the C language (such as pointers and function calls). The main advantage of our algorithm is that it can be applied to real-size C programs, because its memory requirements are proportional to the number of different memory locations used by the program (which is in most cases far smaller than the size of the execution history which is, in fact, the absolute upper bound of our algorithm)
Keywords :
C language; large-scale systems; program slicing; reverse engineering; software maintenance; backward dynamic slice computation; debugging; dynamic program slicing method; execution history size; forward global method; function calls; large C program maintenance; memory locations; memory requirements; pointers; program instructions; program testing; reverse engineering; software maintenance; upper bound; Artificial intelligence; Computer applications; Costs; Debugging; Lattices; Reverse engineering; Safety; Software maintenance; Testing; Upper bound;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Maintenance and Reengineering, 2001. Fifth European Conference on
Conference_Location :
Lisbon
Print_ISBN :
0-7695-1028-0
Type :
conf
DOI :
10.1109/.2001.914974
Filename :
914974
Link To Document :
بازگشت