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
基金
中国国家自然科学基金;
关键词
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 条
  • [31] Changing Java']Java programs
    Eisenbach, S
    Sadler, C
    IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 479 - 487
  • [32] On the visualization of Java']Java programs
    Eichelberger, H
    von Gudenberg, JW
    SOFTWARE VISUALIZATION, 2002, 2269 : 295 - 306
  • [33] The treewidth of Java']Java programs
    Gustedt, J
    Mæhle, OA
    Telle, JA
    ALGORITHM ENGINEERING AND EXPERIMENTS, 2002, 2409 : 86 - 97
  • [34] Formal analysis of Java']Java programs in Java']JavaFAN
    Farzan, A
    Chen, F
    Meseguer, J
    Rosu, G
    COMPUTER AIDED VERIFICATION, 2004, 3114 : 501 - 505
  • [35] Slicing Java Generic Programs Using Generic System Dependence Graph
    CHEN Lin1
    2.Department of Computer Science and Technology
    WuhanUniversityJournalofNaturalSciences, 2009, 14 (04) : 304 - 308
  • [36] Verification of MPI Java']Java Programs using Software Model Checking
    Rehman, Waqas Ur
    Ayub, Muhammad Sohaib
    Siddiqui, Junaid Haroon
    ACM SIGPLAN NOTICES, 2016, 51 (08) : 413 - 414
  • [37] CLARVA: Model-based Residual Verification of Java']Java Programs
    Azzopardi, Shaun
    Colombo, Christian
    Pace, Gordon
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2020, : 352 - 359
  • [38] Using runtime analysis to guide model checking of Java']Java programs
    Havelund, K
    SPIN MODEL CHECKING AND SOFTWARE VERIFICATON, 2000, 1885 : 245 - 264
  • [39] Evolution of distributed Java']Java programs
    Eisenbach, S
    Sadler, C
    Shaikh, S
    COMPONENT DEPLOYMENT, 2002, 2370 : 51 - 66
  • [40] Are Java']Java applets independent programs?
    Ball, S
    Crawford, JM
    DR DOBBS JOURNAL, 1999, 24 (04): : 101 - +