ログイン
言語:

WEKO3

  • トップ
  • ランキング
To

Field does not validate



インデックスリンク

インデックスツリー

  • RootNode

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 工学部
  1. 工学部
  2. 紀要掲載論文 (工学部)
  1. 工学部
  2. 紀要掲載論文 (工学部)
  3. 宮崎大學工學部紀要
  1. 工学部
  2. 紀要掲載論文 (工学部)
  3. 宮崎大學工學部紀要
  4. 43号

ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案

http://hdl.handle.net/10458/5008
http://hdl.handle.net/10458/5008
7327a35f-a529-4ea2-9c4f-bcd62e75758b
名前 / ファイル ライセンス アクション
engineering43_243-248.pdf engineering43_243-248.pdf (872.5 kB)
Item type 紀要論文 / Departmental Bulletin Paper(1)
公開日 2014-09-04
タイトル
タイトル ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案
言語 ja
タイトル
タイトル Proposal of a Supporting Method for Debugging to Reproduce the Execution of Java Multi-threaded Programs with Petri-Net
言語 en
言語
言語 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
著者 北野, 翔一郎

× 北野, 翔一郎

WEKO 14953

ja 北野, 翔一郎

ja-Kana キタノ, ショウイチロウ

en Kitano, Shoichiro


Search repository
片山, 徹郎

× 片山, 徹郎

WEKO 6484
e-Rad_Researcher 50283932

ja 片山, 徹郎

ja-Kana カタヤマ, テツロウ

en Katayama, Tetsuro


Search repository
北野, 翔一郎

× 北野, 翔一郎

WEKO 14953

ja 北野, 翔一郎

ja-Kana キタノ, ショウイチロウ

en Kitano, Shoichiro


Search repository
抄録
内容記述タイプ 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
出版者
出版者 Faculty of Engineering, University of Miyazaki
言語 en
ISSN
収録物識別子タイプ ISSN
収録物識別子 05404924
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AA00732558
著者版フラグ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
戻る
0
views
See details
Views

Versions

Ver.2 2023-07-30 00:03:54.460788
Ver.1 2023-05-15 11:15:39.175450
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

北野, 翔一郎, 片山, 徹郎, 北野, 翔一郎, 2014, ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案: 宮崎大学工学部, 243–248 p.

Loading...

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3