Slicing object-oriented java programs

This paper presents a new approach to represent dependence for object-oriented (OO) Java software. The program dependence graph (PDG) consists of a set of PDGs with tags that are not connected. This new approach distinguishes data members for different objects and represents the effects of polymorphism and dynamic bindings. Based on this model, we introduce the concepts of partial slicing, class slicing and object slicing. In our slicing algorithm, we slice not only statements but also data members in classes, and inter-method slicings are transformed to intra-method slicings.

[1]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1987, TOPL.

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

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

[4]  Mary Lou Soffa,et al.  Program Slicing‐Based Regression Testing Techniques , 1996 .

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

[6]  Barbara G. Ryder,et al.  Scalable, flow-sensitive type inference for statically typed object-oriented languages , 1997 .

[7]  Giuliano Antoniol,et al.  Flow Insensitive C++ Pointers and Polymorphism Analysis and its application to slicing , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[8]  Stephen S. Yau,et al.  Context-dependent flow-sensitive interprocedural dataflow analysis , 1995, J. Softw. Maintenance Res. Pract..

[9]  David Grove,et al.  Call graph construction in object-oriented languages , 1997, OOPSLA '97.

[10]  Donglin Liang,et al.  Slicing objects using system dependence graphs , 1998, Proceedings. International Conference on Software Maintenance (Cat. No. 98CB36272).

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

[12]  Jingde Cheng.  Dependence analysis of parallel and distributed programs and its applications , 1997, Proceedings. Advances in Parallel and Distributed Computing.