Exception propagation affects the dependences of an Object-Oriented program, which must be taken into account when calculating program slicing; otherwise the result may be not precise. This paper proposes an approach to construct the extended interclass dependence graph and the Object-Oriented system dependence graph, which are able to represent the influence of exception propagation on the dependences of Object-Oriented programs precisely. In addition, the program slicing algorithm proposed by S. B. Horwitz has been extended, which is able to traverse both the extended interclass dependence graph and the Object-Oriented system dependence graph when calculating program slicing. Finally, we evaluate our approach with an experiment and compare it with other approaches. The result shows that our approach more precise.
The Java system dependence graph