The Analyzing Technique of Program Based on Program Slicing

Article Preview

Abstract:

Program analysis plays an important role in software development and maintenance. With this method, characteristics of every variable in program can be analyzed. During the period of program analyzing, computing the program slicing by the method of constructing system dependence graph is an efficient way but the work of constructing the system dependence graph is very complicated which often leads to many wrong results. So the algorithm of hierarchy slice is used in this paper. Using the precise results, the whole program can be analyzed and the dependence relation in the program can be discovered quickly.

You might also be interested in these eBooks

Info:

Periodical:

Advanced Materials Research (Volumes 108-111)

Pages:

856-859

Citation:

Online since:

May 2010

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2010 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] Michael D. Ernst. Static and dynamic analysis: Synergy and duality[C]. In WODA 2003: ICSE Workshop on Dynamic Analysis, Portland, Oregon, 2003: 24-27.

Google Scholar

[2] Li Bi-xin, Shen Yi-mei, Qian Yu. A type-analyzing framework for object-oriented program based on hierarchy model[J]. Journal of Nanjing University (Natural Sciences), 2000 36(5): 552-559.

Google Scholar

[3] Li Bi-xin, WANG Yun-feng, ZHANG Yong-xiang. An approach of static coarse-grained slice based on simplified system dependence graph[J]. Journal of Software, 2001 12(2): 204-211.

Google Scholar

[4] M. Weiser, Program slicing, in Proc. 5th Int. Conference on Software Engineering, (New York), pp.439-449, IEEE, (1981).

Google Scholar

[5] Zhao J. J. Dynamic slicing of object-oriented program. Technical Report, SE2982119, Information Processing Society of Japan, 17-23. (1999).

Google Scholar

[6] Krishnaswamy.A. Program slicing: an application of object-oriented program dependency graphs. Technical Report, TR942108, Department of Computer Science, Clemson University, (1999).

Google Scholar

[7] LI Bi-xin LIANG Jia ZHANG Yong-xiang FAN Xiao-cong ZHENG Guo-liang. A Framework for Analyzing Object- Oriented Programs Based on Class Hierarchy Graph , 2000, 11(5): 694-700.

Google Scholar