Program slicing method using dynamic data dependence analysis for Java programs

摘要

Program slice is proposed as a technique to do the program debugging efficiently. Program slice is obtained by generally analyzing the control dependence and the data dependence between program statements. Moreover, the dependence analysis is divided into a static analysis which requires a little cost but produces results with low accuracy, and a dynamic analysis which produces results correctly but requires a large cost. In this paper, we propose a program slice technique intended for Java programs. Java is popularly used by the software development environment in recent years. There is a limitation in a static analysis since Java contains a lot of dynamically determined issues such as reference to an object and dynamic binding. Our technique improves accuracy of slice by combining static analyses with a dynamic analysis.