Dependence analysis for recursive java programs

Dependence analysis is an important approach to analyzing, understanding, testing and maintaining programs. This paper develops a new kind of dependence analysis method for recursive Java programs. In our method, the program dependence graph (PDG) of a Java program consists of a set of PDGs that are not connected. They interact with each other by dependences among parameters. Thus, he inter-function dependence analysis is transformed to intra-function dependence analysis. Based on this model, we develop a new approach to analyze dependences of a direct or indirect recursive Java program by simulating its execution.

[1]  Rajiv Gupta,et al.  Program Slicing‐Based Regression Testing Techniques , 1996, Softw. Test. Verification Reliab..

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

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

[4]  Louise E. Moser.  Data Dependency Graphs for Ada Programs , 1990, IEEE Trans. Software Eng..

[5]  Baowen Xu,et al.  Slicing concurrent java programs , 2001, SIGP.

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

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

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

[9]  Baowen Xu,et al.  An approach to analyzing dependency of concurrent programs , 2000, Proceedings First Asia-Pacific Conference on Quality Software.

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

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

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

[13]  Baowen Xu,et al.  Slicing object-oriented java programs , 2001, SIGP.

[14]  Xu Bao,et al.  DESIGN AND IMPLEMENTATION OF APSS/ADA PROGRAM SLICING SYSTEM , 1997 .

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