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 条
  • [41] Multi-threaded application for parallel computing of subspace iteration method in .NET Framework
    Song, Guangcai
    Zuo, Wenjie
    Xu, Tao
    Guo, Guikai
    ICMS2009: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON MODELLING AND SIMULATION, VOL 5, 2009, : 448 - 451
  • [42] A Target-oriented UAF Vulnerability Prediction Method of Multi-threaded Programs
    Lu F.-M.
    Tang M.-F.
    Bao Y.-X.
    Zeng Q.-T.
    Li Y.-C.
    Ruan Jian Xue Bao/Journal of Software, 2023, 34 (07):
  • [43] A Novel Petri-Net Based Resource Constrained Multi-project Scheduling Method
    Hu, Wenbin
    Wang, Huan
    ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP 2014, PT I, 2014, 8630 : 270 - 284
12345