Proposal of a Supporting Method for Debugging to Reproduce Java']Java Multi-threaded Programs by Petri-Net

被引：0
|
作者：
Kitano, Shoichiro [1 ]
Katayama, Tetsuro [1 ]
Kita, Yoshihiro [2 ]
Yamaba, Hisaaki [1 ]
Okazaki, Naonobu [1 ]
机构：
[1] Miyazaki Univ, 1-1 Gakuen Kibanadai Nishi, Miyazaki 8892192, Japan
[2] Kanagawa Inst Technol, Atsugi, Kanagawa 2430292, Japan
来源：
PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB 2014) | 2014年
关键词：
multi-threaded program; debugging; Petri-net; !text type='Java']Java[!/text; reproducibility;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
It is difficult to implement the multi-threaded programs. The reason is that the behavior of each thread is non-deterministic. Also it is difficult to reproduce the situation in which an incident occurs. This paper proposes a supporting method for debugging to reproduce Java multi-threaded programs by visualizing the behavior of the programs with Petri-net. Moreover, we have confirmed the effectiveness of our method by implementing a tool.
引用
收藏
页码：218 / 221
页数：4
相关论文
共 43 条
  • [1] Proposal of a Supporting Method for Debugging to Reproduce Java']Java Multi-threaded Programs by Petri-net
    Katayama, Tetsuro
    Kitano, Shoichiro
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Okazaki, Naonobu
    JOURNAL OF ROBOTICS NETWORKING AND ARTIFICIAL LIFE, 2014, 1 (03): : 207 - 211
  • [2] Proposal of a Testing Method Using Similarity of Interleaving for Java']Java Multi-threaded Programs
    Katayama, Tetsuro
    Kitano, Shoichiro
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Aburada, Kentaro
    Okazaki, Naonobu
    JOURNAL OF ROBOTICS NETWORKING AND ARTIFICIAL LIFE, 2015, 1 (04): : 299 - 302
  • [3] Proposal of a Testing Method Using Similarity of Interleaving for Java']Java Multi-threaded Programs
    Kitano, Shoichiro
    Katayama, Tetsuro
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Aburada, Kentaro
    Okazaki, Naonobu
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB2015), 2015, : 380 - 383
  • [4] On testing multi-threaded Java']Java programs
    Gong, Xufang
    Wang, Yanchen
    Zhou, Ying
    Li, Bixin
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 1, PROCEEDINGS, 2007, : 702 - +
  • [5] MuTT: a Multi-Threaded Tracer for Java']Java Programs
    Liu, Dapeng
    Xu, Shaochun
    PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 949 - +
  • [6] Framework for testing multi-threaded Java']Java programs
    Edelstein, O
    Farchi, E
    Goldin, E
    Nir, Y
    Ratsaby, G
    Ur, S
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2003, 15 (3-5): : 485 - 499
  • [7] An integrated regression testing framework to multi-threaded Java']Java programs
    Li, Bixin
    Wang, Yancheng
    Yang, LiLi
    SOFTWARE ENGINEERING TECHNIQUES: DESIGN FOR QUALITY, 2006, 227 : 237 - +
  • [8] Model-checking multi-threaded distributed Java']Java programs
    Stoller, SD
    SPIN MODEL CHECKING AND SOFTWARE VERIFICATON, 2000, 1885 : 224 - 244
  • [9] A scalable architecture for multi-threaded JAVA']JAVA applications
    Mrva, M
    Buchenrieder, K
    Kress, R
    DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 868 - 874
  • [10] Safe locking for multi-threaded Java']Java with exceptions
    Johnsen, Einar Broch
    Thi Mai Thuong Tran
    Owe, Olaf
    Steffen, Martin
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (03): : 257 - 283
12345