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

Authors
Tetsuro Katayama, Shoichiro Kitano, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki
Corresponding Author
Tetsuro Katayama
Available Online 15 December 2014.
DOI
https://doi.org/10.2991/jrnal.2014.1.3.8
Keywords
multi-threaded program, debugging, Petri-net, Java, reproducibility
Abstract
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.

Copyright
© 2013, the Authors. Published by ALife Robotics Corp. Ltd.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)