A Framework for Debugging Java']Java Programs in a Bytecode

被引:0
|
作者
Soomro, Safeeullah [1 ]
Belgaum, Mohammad Riyaz [1 ]
Alansari, Zainab [1 ]
Miraz, Mahdi H. [2 ]
机构
[1] AMA Int Univ, Dept Comp Studies, Salmabad, Bahrain
[2] Chinese Univ Hong Kong, CFRED, Sha Tin, Hong Kong, Peoples R China
关键词
Software Maintenance; Bytecode Analysis; Software Testing; Control and Data Flow Analysis; Program Understanding;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
In the domain of Software Engineering, program analysis and understanding has been considered to be a very challenging task since decade, as it demands dedicated time and efforts. The analysis of source code may occasionally be comparatively easier due to its static nature, however, the back-end code (Bytecode), especially in terms of Java programming, is complicated to be analysed. In this paper, we present a methodological approach towards understanding the Bytecode of Java programs. We put forward a framework for the debugging process of Java Bytecode. Furthermore, we discuss the debugging process of Bytecode understanding from simple to multiple statements with regards to data flow analysis. Finally, we present a comparative analysis of Bytecode along with the simulation of the proposed framework for the debugging process.
引用
收藏
页码:317 / 322
页数:6
相关论文
共 50 条
  • [1] Path Executions of Java']Java Bytecode Programs
    Soomro, Safeeullah
    Alansari, Zainab
    Belgaum, Mohammad Riyaz
    [J]. PROGRESS IN ADVANCED COMPUTING AND INTELLIGENT ENGINEERING, VOL 2, 2018, 564 : 261 - 271
  • [2] Dynamic slicing of Java']Java bytecode programs
    Szegedi, A
    Gyimóthy, T
    [J]. FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2005, : 35 - 44
  • [3] A programming logic for Java']Java bytecode programs
    Quigley, CL
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 41 - 54
  • [4] An empirical study of Java']Java bytecode programs
    Collberg, Christian
    Myles, Ginger
    Stepp, Michael
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2007, 37 (06): : 581 - 641
  • [5] Algorithmic Debugging of Java']Java Programs
    Caballero, R.
    Hermanns, C.
    Kuchen, H.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 177 : 75 - 89
  • [6] Compiling lazy functional programs to Java']Java bytecode
    Meehan, G
    Joy, M
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1999, 29 (07): : 617 - 645
  • [7] Compiling C++ programs to Java']Java bytecode
    Hu, GZ
    Gadapa, A
    [J]. SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERNG, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING AND FIRST AICS INTERNATIONAL WORKSHOP ON SELF-ASSEMBLING WIRELESS NETWORKS, PROCEEDINGS, 2005, : 56 - 61
  • [8] Crisp: A debugging tool for Java']Java programs
    Chesley, OC
    Ren, XX
    Ryder, BG
    [J]. ICSM 2005: PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2005, : 401 - 410
  • [9] Automating syntactic debugging of Java']Java programs
    Fox, R
    Uti, NV
    [J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2003, : 105 - 110
  • [10] Visual debugging of multithreaded Java']Java programs
    Jackson, D
    [J]. IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 340 - 341