A model for slicing JAVA']JAVA programs hierarchically

被引：10
|
作者：
Li, BX [1 ]
Fan, XC
Pang, J
Zhao, JJ
机构：
[1] Southeast Univ, Dept Comp Sci & Engn, Nanjing 210096, Peoples R China
[2] Penn State Univ, Sch Informat Sci & Technol, University Pk, PA 16802 USA
[3] Ctr Wiskunde & Informat, NL-1098 SJ Amsterdam, Netherlands
[4] FIT, Dept Comp Engn & Sci, Fukuoka 81102, Japan
来源：
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY | 2004年 / 19卷 / 06期
基金：
中国国家自然科学基金;
关键词：
software engineering; hierarchical model; program slicing; !text type='JAVA']JAVA[!/text; stepwise algorithm; JATO;
D O I：
10.1007/BF02973448
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Program slicing can be effectively used to debug, test, analyze, understand and maintain object-oriented 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.
引用
收藏
页码：848 / 858
页数：11
相关论文
共 50 条
  • [21] Slicing Java']Java™ programs using the JPDA and dynamic object relationship diagrams with XML
    Conover, AJ
    Song, YT
    SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS, 2005, 3647 : 201 - 213
  • [22] Slicing concurrent Java programs using Indus and Kaveri
    Venkatesh Prasad Ranganath
    John Hatcliff
    International Journal on Software Tools for Technology Transfer, 2007, 9 (5-6) : 489 - 504
  • [23] Using compressed bytecode traces for slicing java programs
    Wang, Tao
    Roychoudhury, Abhik
    Proceedings - International Conference on Software Engineering, 2004, 26 : 512 - 521
  • [24] Model checking JAVA programs using JAVA PathFinder
    Havelund K.
    Pressburger T.
    International Journal on Software Tools for Technology Transfer, 2000, 2 (4) : 366 - 381
  • [25] An object store model for diagnosing Java']Java programs
    Chen, R
    Wotawa, F
    AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2005, 3809 : 865 - 870
  • [26] Comparison of Backward Slicing Techniques for Java']Java
    Kashima, Yu
    Ishio, Takashi
    Inoue, Katsuro
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2015, E98D (01): : 119 - 130
  • [27] Slicing Java']Java Server Pages Application
    Sahu, Madhusmita
    Mohapatra, Durga Prasad
    ICIT 2008: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, 2008, : 252 - +
  • [28] Dynamic slicing on Java']Java bytecode traces
    Wang, Tao
    Roychoudhury, Abhik
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (02):
  • [29] Concolic testing based on dynamic slicing of concurrent Java programs
    Pu, Fangli
    Lu, Yansheng
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2009, 37 (10): : 21 - 24
  • [30] A JPSL Based Model Checking Approach for Java']Java Programs
    Shu, XinFeng
    Li, YanLin
    Gao, WeiRan
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, SOFL+MSVL 2022, 2023, 13854 : 30 - 49
12345