Prototype of a debugging support tool using reproduction of the execution by extended Petri-net for Java multi-thread programs

Bibliographic Information

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

Search this article

Description

In multi-threaded programs, it is difficult to reproduce the situation when existing bugs are discovered because execution of the multi-threaded programs is usually non-deterministic. Therefore, it is difficult to obtain the information for understanding the behavior of the program when bugs are discovered. And, to identify the cause of bags becomes difficult. This paper proposes a supporting method for debugging to reproduce Java multi-threaded programs by visualizing the behavior of the programs with Petri-net. Conventional Petri-net cannot enough express the complicated behavior of the multi-threaded programs. Therefore, we extend Petri-net. We have confirmed the effectiveness of our method by implementing a prototype of a debugging supporting tool based on our method. In experiment for confirmation, to use our tool could identify the cause of the bug in about 33.6% of the time it takes without our tool. This result shows that our method and tool can improve efficiency in debugging for the multi-threaded programs.

Journal

  • Technical report of IEICE. SS

    Technical report of IEICE. SS 114 (127), 141-148, 2014-07-02

    The Institute of Electronics, Information and Communication Engineers

Keywords

Details 詳細情報について

  • CRID
    1570854177921887232
  • NII Article ID
    110009947325
  • NII Book ID
    AN10013287
  • Text Lang
    ja
  • Data Source
    • CiNii Articles

Report a problem

Back to top