実行トレース間のデータの差異に基づくデータフロー解析手法の提案

• Item type: SIG Technical Reports(1)
• 公開日: 2017-07-12
• タイトル: 実行トレース間のデータの差異に基づくデータフロー解析手法の提案
• タイトル / 言語: en
• タイトル: A Data-Flow Analysis Method Based on Differences Among Execution Traces
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 島根大学大学院総合理工学研究科情報システム学領域
• 著者所属(英): en
• 著者所属(英): Dept. Math. & Computer Sci., Interdisciplinary Graduate School of Sci. & Eng., Shimane Univ.
• 著者名: 神谷, 年洋
• 著者名(英): Toshihiro, Kamiya
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: デバッグやプログラム理解を目的として，プログラムの実行トレースを解析する手法では，直接的あるいは補助的にデータフロー解析を利用する．本稿では，実行トレースを用いたデバッグやプログラム理解に応用することを想定し，対象となるプログラムの入力データを変異させて実行トレースを取得することで実行トレース中にデータの差異を作り出し，その差異を解析することによりデータフローを解析する手法を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In some techniques and methods of dynamic analysis of execution trace for debugging or program comprehension proposes data-flow analysis methods are utilized directedly or complementarily. This paper presents a data-flow analysis method for such debugging or program comprehension with execution trace. The proposed method generates mutations of input data of a target program, extracts differences of data between execution traces of original execution trace and mutated ones, and then identifies data flows from the differences.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2017-SE-196, 号 10, p. 1-6, 発行日 2017-07-12
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8825
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会