| 講演名 | 2017-07-19 実行トレース間のデータの差異に基づくデータフロー解析手法の提案 神谷 年洋(島根大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | デバッグやプログラム理解を目的として，プログラムの実行トレースを解析する手法では，直接的あるいは補助的にデータフロー解析を利用する．本稿では，実行トレースを用いたデバッグやプログラム理解に応用することを想定し，対象となるプログラムの入力データを変異させて実行トレースを取得することで実行トレース中にデータの差異を作り出し，その差異を解析することによりデータフローを解析する手法を提案する． |
| 抄録(英) | In some techniques and methods of dynamic analysis of execution tracefor 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. |
| キーワード(和) | データフロー / デバッグ / プログラム理解 / 動的解析 |
| キーワード(英) | Data flow / Debug / Program comprehension / Dynamic analysis |
| 資料番号 | SS2017-10,KBSE2017-10 |
| 発行日 | 2017-07-12 (SS, KBSE) |
| 研究会情報 | |
| 研究会 | SS / KBSE / IPSJ-SE |
|---|---|
| 開催期間 | 2017/7/19(から3日開催) |
| 開催地（和） | 函館コミュニティプラザ |
| 開催地（英） | |
| テーマ（和） | ソフトウェア工学全般／知能ソフトウェア工学全般／ソフトウェアサイエンス全般 |
| テーマ（英） | |
| 委員長氏名（和） | 緒方 和博(北陸先端大) / 金田 重郎(同志社大) |
| 委員長氏名（英） | Kazuhiro Ogata(JAIST) / Shigeo Kaneda(Doshisha Univ.) |
| 副委員長氏名（和） | 中田 明夫(広島市大) / 粂野 文洋(日本工大) |
| 副委員長氏名（英） | Akio Nakata(Hiroshima City Univ.) / Fumihiro Kumeno(Nippon Inst. of Tech.) |
| 幹事氏名（和） | 小林 隆志(東工大) / 肥後 芳樹(阪大) / 岩田 一(神奈川工科大) / 櫻井 孝平(金沢大) |
| 幹事氏名（英） | Takashi Kobayashi(Tokyo Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) / Hajime Iwata(Kanagawa Inst. of Tech.) / Kohei Sakurai(Kanazawa Univ.) |
| 幹事補佐氏名（和） | 島 和之(広島市大) / 猿渡 卓也(NTTデータ) / 木村 功作(富士通研) |
| 幹事補佐氏名（英） | Kazuyuki Shima(Hiroshima City Univ.) / Takuya Saruwatari(NTT DATA) / Kosaku Kimura(Fujitsu labs.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Science / Technical Committee on Knowledge-Based Software Engineering / Special Interest Group on Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 実行トレース間のデータの差異に基づくデータフロー解析手法の提案 |
| サブタイトル（和） | |
| タイトル（英） | A Data-Flow Analysis Method Based on Differences Among Execution Traces |
| サブタイトル（和） | |
| キーワード(1)（和/英） | データフロー / Data flow |
| キーワード(2)（和/英） | デバッグ / Debug |
| キーワード(3)（和/英） | プログラム理解 / Program comprehension |
| キーワード(4)（和/英） | 動的解析 / Dynamic analysis |
| 第 1 著者 氏名（和/英） | 神谷 年洋 / Toshihiro Kamiya |
| 第 1 著者 所属（和/英） | 島根大学(略称：島根大) Shimane University(略称：Shimane Univ.) |
| 発表年月日 | 2017-07-19 |
| 資料番号 | SS2017-10,KBSE2017-10 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | SS-136,KBSE-137 |
| ページ範囲 | pp.55-60(SS), pp.55-60(KBSE), |
| ページ数 | 6 |
| 発行日 | 2017-07-12 (SS, KBSE) |