Proposal of a Supporting Method for Debugging to Reproduce the Execution of Java Multi-threaded Programs with Petri-Net
Bibliographic Information
- Other Title
-
- ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案
Search this article
Abstract
It is difficult to implement multi-threaded programs. One of 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. Here, it is difficult to express the behavior of multi-threaded programs by ordinal Petri-net. Therefore, We extend Petri-net to reproduce the execution of multi-thread programs to realize our proposal method. Moreover, we have confirmed the effectiveness of our method by implementing a tool which generates a Petri-net model from a multi-threaded program.
Journal
-
- Memoirs of Faculty of Engineering, University of Miyazaki
-
Memoirs of Faculty of Engineering, University of Miyazaki 43 243-248, 2014-07-31
宮崎大学工学部
- Tweet
Details 詳細情報について
-
- CRID
- 1050570264716551040
-
- NII Article ID
- 110009820500
-
- NII Book ID
- AA00732558
-
- ISSN
- 05404924
-
- HANDLE
- 10458/5008
-
- Text Lang
- ja
-
- Article Type
- departmental bulletin paper
-
- Data Source
-
- IRDB
- CiNii Articles
- KAKEN