An Approach to Analyzing Inter-Class Control Dependence of Programs with Exception-Handling

The control dependency information of inter-class is the foundation of inter-class data-flow testing. This paper proposes an approach to analyzing inter-class control dependence of Java programs with exception-handling constructs by studying the effects of the exception propagation on the dependency in the cluster-level testing of object-oriented programs. According to the relationships of classes, such as inheritance, aggregation and association, we incrementally construct an inter-class control flow graph and presented an efficient algorithm. Finally we apply the analysis method to inter-class program slice. The results show that our inter-class program slice brings about the improvement of the slice accuracy through the analysis the influence of exception-handling structure.