書誌事項
- タイトル別名
-
- Proposal of a Supporting Method for Debugging to Reproduce the Execution of Java Multi-threaded Programs with Petri-Net
この論文をさがす
抄録
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.
収録刊行物
-
- 宮崎大学工学部紀要
-
宮崎大学工学部紀要 43 243-248, 2014-07-31
宮崎大学工学部
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050570264716551040
-
- NII論文ID
- 110009820500
-
- NII書誌ID
- AA00732558
-
- ISSN
- 05404924
-
- HANDLE
- 10458/5008
-
- 本文言語コード
- ja
-
- 資料種別
- departmental bulletin paper
-
- データソース種別
-
- IRDB
- CiNii Articles
- KAKEN