| A Model for Slicing JAVA Programs Hierarchically |
| |
| 作者姓名： | Bi-XinLi Xiao-CongFan JunPang Jian-JunZhao |
| |
| 作者单位： | [1]DepartmentofComputerScienceandEngineering,SoutheastUniversity,Nanjing210096,P.R.China [2]SchoolofInformationScienceandTechnology,PENNSTATE,UniversityPark,PA16802,U.S.A. [3]CWI,Kruislaan4131098SJAmsterdam,Netherlands [4]DepartmentofComputerScienceandEngineering,FIT,Fukuoka811-02,Japan |
| |
| 基金项目： | 国家自然科学基金，东南大学校科研和教改项目 |
| |
| 摘 要： | Program slicing can be effectively used to debug, test, analyze, understand and maintain objectoriented software. In this paper, a new slicing model is proposed to slice Java programs based on their inherent hierarchical feature. The main idea of hierarchical slicing is to slice programs in a stepwise way, from package level, to class level, method level, and finally up to statement level. The stepwise slicing algorithm and the related graph reachability algorithms are presented, the architecture of the Java program Analyzing TOol (JATO) based on hierarchical slicing model is provided, the applications and a small case study are also discussed.
|
| 关 键 词： | 软件工程 JAVA 分级模型 程序分片 |
A Model for Slicing JAVA Programs Hierarchically |
| |
| Bi-XinLi Xiao-CongFan JunPang Jian-JunZhao.A Model for Slicing JAVA Programs Hierarchically[J].Journal of Computer Science and Technology,2004,19(6):848-858. |
| |
| Authors: | Bi-Xin Li Xiao-Cong Fan Jun Pang Jian-jun Zhao |
| |
| Affiliation: | (1) Department of Computer Science and Engineering, Southeast University, 210096 Nanjing, P.R. China;(2) School of Information Science and Technology, PENNSTATE, 16802 University Park, PA, U.S.A.;(3) CWI, Kruislaan, 413 1098 SJ Amsterdam, Netherlands;(4) Department of Computer Science and Engineering, FIT, 811-02 Fukuoka, Japan |
| |
| Abstract: | Program slicing can be effectively used to debug, test, analyze, understand and maintain objectoriented software. In this
paper, a new slicing model is proposed to slice Java programs based on their inherent hierarchical feature. The main idea
of hierarchical slicing is to slice programs in a stepwise way, from package level, to class level, method level, and finally
up to statement level. The stepwise slicing algorithm and the related graph reachability algorithms are presented, the architecture
of the Java program Analyzing TOol (JATO) based on hierarchical slicing model is provided, the applications and a small case
study are also discussed.
This work is supported by the National Natural Science Foundation of China under Grant No.60473065 and the Outstanding Youth
Teacher Support Foundation of Southeast University under Grant No.4009001011.
Bi-Xin Li is a professor in Southeast University from Jan., 2004. He received the Ph.D. degree in computer software and theory from
Nanjing University in 2001. From Apr. 2001 to Apr. 2002, he worked at TUCS (Turku Center for Computer Science) for one year
as a post-doctoral researcher. From Apr. 2002 to Dec. 2003, he worked. at Department of Computer and Information Science,
NTNU (Norwegian University of Science and Technology), and CWI (the Centrum voor Wiskunde en Informatica), both as an ERCIM
Fellow. His current research interests include software construction, software testing, SQA techniques, software architecture
and component techniques, safety-critical system and formal verification, etc.
Xiao-Cong Fan is a senior researcher in the Inteligent Agent Lab of the Pennsylvania State University from 2002. He received the Ph.D.
degree from Nanjing University in 1999. From 2000 to 2002, he worked at the turku Centre for Computer Science and the Computer
Science Department of Abo Akademi University in Finland, where he participated in the projects SOCOS and SPROUT, which developed
a methodology for software platform construction based on the Refinement Calculus. He currently works on formal agent theories
in teamwork, and projects for applying these theories.
Jun Pang is now a Ph.D. candidate in CWI, the Netherlands. He received the B.Sc. and M.Sc. degrees in computer science from Nanjing
University, China, in 1997 and 2000. His research interests include protocol verification, process algebra, safety critical
systems, security, testing, software architecture etc.
Jian-Jun Zhao is an associate professor of computer science at Fukuoka Institute of Technology, Japan. He received the B.S. degree in computer
science from Tsinghua University, China, in 1987, and the Ph.D. degree in computer science from Kyushu University, Japan,
in 1997. His research interests include program analysis and compiler, software architecture analysis, aspect-oriented software
development, and ubiquitous computing environment. |
| |
| Keywords: | software engineering hierarchical model program slicing JAVA stepwise algorithm JATO |
| 本文献已被 维普 万方数据 SpringerLink 等数据库收录！ |
|
