Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net
Tetsuro Katayama, Shoichiro Kitano, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki · Journal of Robotics Networking and Artificial Life · 2014
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.