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 条
  • [41] Simplifying the evolution of Java']Java programs
    Seiter, LM
    Lieberherr, KJ
    Orleans, D
    PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 655 - 656
  • [42] Functional Testing of Java']Java Programs
    Benac Earle, Clara
    Fredlund, Lars-Ake
    TRENDS IN FUNCTIONAL PROGRAMMING (TFP 2015), 2016, 9547 : 40 - 59
  • [43] Inlining with traces in java']java programs
    Bradel, Borys J.
    Abdelrahman, Tarek S.
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2012, 27 (04): : 251 - 266
  • [44] A refinement method for Java']Java programs
    Grandy, Holger
    Stenzel, Kurt
    Reif, Wolfgang
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4468 : 221 - +
  • [45] Formal techniques for Java']Java programs
    Drossopoulou, S
    Eisenbach, S
    Jacobs, B
    Leavens, GT
    Müller, P
    Poetzsch-Heffter, A
    OBJECT-ORIENTED TECHNOLOGY, PROCEEDINGS, 2000, 1964 : 41 - 54
  • [46] Heuristics for model checking Java programs
    Groce A.
    Visser W.
    International Journal on Software Tools for Technology Transfer, 2004, 6 (04) : 260 - 276
  • [47] The Use of Overloading in JAVA']JAVA Programs
    Gil, Joseph
    Lenz, Keren
    ECOOP 2010: OBJECT-ORIENTED PROGRAMMING, 2010, 6183 : 529 - 551
  • [48] Formal techniques for Java']Java programs
    Jacobs, B
    Leavens, GT
    Müller, P
    Poetzsch-Heffter, A
    OBJECT-ORIENTED TECHNOLOGY, 1999, 1743 : 97 - 115
  • [49] Interactive visualization of Java']Java programs
    Gestwicki, P
    Jayaraman, B
    IEEE 2002 SYMPOSIA ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2002, : 226 - 235
  • [50] A Translator of Java']Java Programs to TADDs
    Rataj, Artur
    Wozna, Bozena
    Zbrzezny, Andrzej
    FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 305 - 324