WEKO3
アイテム
There is a newer version of this record available.
ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案
http://hdl.handle.net/10458/5008
http://hdl.handle.net/10458/5008923eac22-7946-4791-a7ed-89d7a9d568b8
名前 / ファイル | ライセンス | アクション |
---|---|---|
engineering43_243-248.pdf (872.5 kB)
|
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2014-09-04 | |||||||||||||||||
タイトル | ||||||||||||||||||
言語 | ja | |||||||||||||||||
タイトル | ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案 | |||||||||||||||||
タイトル | ||||||||||||||||||
言語 | en | |||||||||||||||||
タイトル | Proposal of a Supporting Method for Debugging to Reproduce the Execution of Java Multi-threaded Programs with Petri-Net | |||||||||||||||||
言語 | ||||||||||||||||||
言語 | jpn | |||||||||||||||||
キーワード | ||||||||||||||||||
言語 | en | |||||||||||||||||
主題Scheme | Other | |||||||||||||||||
主題 | multi-threaded program, debugging, Petri-net, Java, reproducibility | |||||||||||||||||
資源タイプ | ||||||||||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||||||
資源タイプ | departmental bulletin paper | |||||||||||||||||
その他(別言語等)のタイトル | ||||||||||||||||||
その他のタイトル | ペトリネット オ モチイタ Java マルチ スレッド プログラム ノ ジッコウ オ サイゲン スルコト ニヨル デバッグ シエン シュホウ ノ テイアン | |||||||||||||||||
言語 | ja-Kana | |||||||||||||||||
著者 |
北野, 翔一郎
× 北野, 翔一郎
× 片山, 徹郎
× Kitano, Shoichiro
|
|||||||||||||||||
抄録 | ||||||||||||||||||
内容記述タイプ | 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. | |||||||||||||||||
言語 | en | |||||||||||||||||
書誌情報 |
ja : 宮崎大学工学部紀要 en : Memoirs of Faculty of Engineering, University of Miyazaki 巻 43, p. 243-248, 発行日 2014-07-31 |
|||||||||||||||||
出版者 | ||||||||||||||||||
言語 | ja | |||||||||||||||||
出版者 | 宮崎大学工学部 | |||||||||||||||||
出版者 | ||||||||||||||||||
言語 | en | |||||||||||||||||
出版者 | Faculty of Engineering, University of Miyazaki | |||||||||||||||||
ISSN | ||||||||||||||||||
収録物識別子タイプ | ISSN | |||||||||||||||||
収録物識別子 | 05404924 | |||||||||||||||||
書誌レコードID | ||||||||||||||||||
収録物識別子タイプ | NCID | |||||||||||||||||
収録物識別子 | AA00732558 | |||||||||||||||||
著者版フラグ | ||||||||||||||||||
出版タイプ | VoR | |||||||||||||||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |