Javaマルチスレッドプログラム向けの拡張ペトリネットを用いた実行の再現を利用したデバッグ支援ツールの試作(コードクローン・デバック)

書誌事項

タイトル別名
  • Prototype of a debugging support tool using reproduction of the execution by extended Petri-net for Java multi-thread programs

この論文をさがす

説明

マルチスレッドのプログラムはその実行の非決定性のために,バグを発見した時の状況を再現することが難しい.そのため,バグを発見した時のプログラムの挙動を,正確に把握するための情報を得ることが難しく,バグの原因の特定が困難になってしまう.そこで本論文では,ペトリネットを用いてJava言語で書かれたマルチスレッドのプログラムの動作の可視化を行い,マルチスレッドのプログラムに再現性を持たせることでバグの原因の発見を支援する手法を提案する.従来のペトリネットではマルチスレッドの複雑な挙動を表現するには不十分である.そのため,本論文ではペトリネットの拡張も行う.提案手法を実現したツールを試作し,提案手法とツールの有効性を検証した.検証実験を行った結果は,本ツールを使用すると,本ツールを使用しない場合の約33.6%の時間で,バグの原因を特定できた.このことから,本提案手法およびそれを実現したツールは,マルチスレッドプログラムのデバッグ作業効率を向上させることに有効であることがわかる.

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1570854177921887232
  • NII論文ID
    110009947325
  • NII書誌ID
    AN10013287
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ