Research on Structure Analysis for Java Program

Author

Li-yong, Qin ; Ying, Jiang ; Ying-na, Li

Author_Institution

Yunnan Key Lab. of Comput. Technol. Applic., Kunming, China

fYear

2011

fDate

1-3 Nov. 2011

Firstpage

157

Lastpage

160

Abstract

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.

Keywords

Java; flow graphs; program diagnostics; program testing; Java program; SAT4JP; call graph; class level; class relation graph; class-member level; control flow graph; dynamic testing; software testing; statement level; static analysis; static testing; structure analysis; Data mining; Educational institutions; Flow graphs; Java; Software testing; Syntactics; call graph; class relation graph; control flow graph; java program; structure analysis;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Networks and Intelligent Systems (ICINIS), 2011 4th International Conference on

Conference_Location

Kunming

Print_ISBN

978-1-4577-1626-3

Type

conf

DOI

10.1109/ICINIS.2011.44

Filename

6104717