Slicing object-oriented programs

Program slicing has various applications in the fields of software engineering. The object-oriented (OO) paradigm introduces the features of abstraction, encapsulation, inheritance and polymorphism to programs, but is not considered in current program slicing techniques. In this paper, we define two types of program slices, state and behavior slices, by taking the dependencies of OO features into consideration. A state slice for an object is a set of messages and control statements that might affect the state of the object, while a behavior slice is a set of attributes and methods defined in related classes that might affect the behavior of the object. These slices may facilitate programmers to debug and understand OO software. The algorithms developed to compute these slices that are based on an OO dependency graph can obtain more precise results by exploring the internal dependencies of complex objects.

[1]  David W. Binkley,et al.  Program slicing , 2008, 2008 Frontiers of Software Maintenance.

[2]  Thomas W. Reps,et al.  The use of program dependence graphs in software engineering , 1992, International Conference on Software Engineering.

[3]  John D. McGregor,et al.  An extensible program representation for object-oriented software , 1994, SIGP.

[4]  David W. Binkley,et al.  Program integration for languages with procedure calls , 1995, TSEM.

[5]  Andrew A. Chien,et al.  Object Technology: A Virtual Roundtable , 1995, Computer.

[6]  Mark Weiser,et al.  Programmers use slices when debugging , 1982, CACM.

[7]  J.-L. Chen,et al.  An object-oriented dependency graph for program slicing , 1997, Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240).

[8]  William Berg,et al.  Lessons learned from the OS/400 OO project , 1995, CACM.

[9]  Jong-Deok Choi,et al.  Slicing class hierarchies in C++ , 1996, OOPSLA '96.

[10]  Keith Brian Gallagher,et al.  Using Program Slicing in Software Maintenance , 1991, IEEE Trans. Software Eng..

[11]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[12]  Mary Jean Harrold,et al.  Slicing object-oriented software , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[13]  Feng-Jian Wang,et al.  Encapsulation in object-oriented programs , 1996, SIGP.

[14]  David W. Binkley,et al.  Interprocedural slicing using dependence graphs , 1990, TOPL.

[15]  P. E. Livadas,et al.  A toolset for program understanding , 1993, [1993] IEEE Second Workshop on Program Comprehension.

[16]  Frank Tip,et al.  A survey of program slicing techniques , 1994, J. Program. Lang..

[17]  Karl J. Ottenstein,et al.  The program dependence graph in a software development environment , 1984 .

[18]  Jingde Cheng,et al.  Static slicing of concurrent object-oriented programs , 1996, Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96.

[19]  Sakari Karstu,et al.  An Examination of the Behavior of Slice Based Cohesion Measures , 1994 .