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

Journal of Robotics, Networking and Artificial Life (JRNAL)

关键词: multi-threaded program;    debugging;    Petri-net;    Java;    reproducibility;   

DOI  :  10.2991/jrnal.2014.1.3.8

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown