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

DOI

10.2991/jrnal.2014.1.3.8How to use a DOI?

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 Atlantis Press.

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)

TY  - JOUR
AU  - Tetsuro Katayama
AU  - Shoichiro Kitano
AU  - Yoshihiro Kita
AU  - Hisaaki Yamaba
AU  - Naonobu Okazaki
PY  - 2014
DA  - 2014/12/15
TI  - Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net
JO  - Journal of Robotics, Networking and Artificial Life
SP  - 207
EP  - 211
VL  - 1
IS  - 3
SN  - 2352-6386
UR  - https://doi.org/10.2991/jrnal.2014.1.3.8
DO  - 10.2991/jrnal.2014.1.3.8
ID  - Katayama2014
ER  -