Research on Structure Analysis for Java Program

Software testing includes static testing and dynamic testing. The static testing needn´t run the program to be tested. The static analysis belongs to static testing, whose purpose is to collect program´s information in order to do further analysis. This paper aims at analyzing the structure for java program and gaining the information at three different levels, including control flow graph at statement level, call graph at class-member level and class relation graph at class level. Then a structure analysis tool for java program (SAT4JP) is designed and implemented. Finally, some experiments are executed to verify the effectiveness of our method and SAT4JP.