一种Java程序Chopping方法

Program Chopping Approach for Java Program

程序Chopping对于程序理解、分析、调试、测试等具有重要的意义。已有的Chopping方法主要基于相互连接的系统依赖图(SDG),对于大程序这种SDG描述通常非常复杂,易导致程序Chopping结果不准确。针对这一问题,基于带标签的Java程序描述方法,提出一种Java程序Chopping方法。该方法利用这种描述附带的程序依赖信息,分析参数依赖关系,并在此基础上给出Chopping算法。此程序Chopping方法能把Java程序方法间的程序Chop-ping问题转换到Java程序方法内进行分析,程序依赖图具有结点少、可重用、可并发构造等优点。最后通过实例和实验给出程序Chopping方法的实施过程及有效性。

Compared with program slicing,program chopping is a more focused approach of program analysis.And it is of great significance for the program understanding,analysis,debugging,testing.The existing chopping algorithms mostly are based on connected System Dependence Graph（SDG）.However,the representation of SDG is very complicated,especially for larger program,which causes fault result easily.So this paper proposed a program chopping approach for Java program based on a representation for Java program with tags.In this approach,not only the accessory information on program dependency relation is utilized to analyze parameter dependency relation,and based on which this paper presented program chopping algorithms,but also inter-method program chopping can be converted to intra-method analyzing.Moreover the approach has much strongpoint such as fewer nodes of SDG and reusability of Program Dependence Graph（PDG）,etc.Finally,this paper illustrated implementation process of this approach combined with an example and experiment.