講演名 | 2016-07-14 逆戻りデバッグ補助のための嵌入的スパイの試作 神谷 年洋(島根大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 嵌入的スパイは,逆戻りデバッグにおいて,特にクラッシュしないバグのデバッグを補助することを目的とした手法/ツールである.嵌入的スパイは,対象プログラムの実行における特定の時点での特定の変数の値を素早く表示し,あるいは,比較する.本稿では,嵌入的スパイについて説明し,提案する嵌入スパイを実装したプロトタイプを小規模なプログラムに適用することでその利用法を示す. |
抄録(英) | An intrusive spy is a method/tool aiming to support a backward-in-time debugging, especially in debugging of non-crashing bugs. An intrusive spy displays or compares values of specified variables at specified time in an execution of a target program. In this paper, we explain approach of the intrusive spy and its prototype implementation, also show an preliminary experiment of applying the prototype to a small program. |
キーワード(和) | 逆戻りデバッグ / プログラム理解 / 動的解析 |
キーワード(英) | Omniscient debugging / program comprehension / dynamic analysis |
資料番号 | SS2016-9,KBSE2016-15 |
発行日 | 2016-07-06 (SS, KBSE) |
研究会情報 | |
研究会 | KBSE / SS / IPSJ-SE |
---|---|
開催期間 | 2016/7/13(から3日開催) |
開催地(和) | 北海道立道民活動センター |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | 金田 重郎(同志社大) / 緒方 和博(北陸先端大) |
委員長氏名(英) | Shigeo Kaneda(Doshisha Univ.) / Kazuhiro Ogata(JAIST) |
副委員長氏名(和) | 粂野 文洋(日本工大) / 中田 明夫(広島市大) |
副委員長氏名(英) | Fumihiro Kumeno(Nippon Inst. of Tech.) / Akio Nakata(Hiroshima City Univ.) |
幹事氏名(和) | 小形 真平(信州大) / 橋浦 弘明(日本工大) / 小林 隆志(東工大) / 肥後 芳樹(阪大) |
幹事氏名(英) | Shinpei Ogata(Shinshu Univ.) / Hiroaki Hashiura(Nippon Inst. of Tech.) / Takashi Kobayashi(Tokyo Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) |
幹事補佐氏名(和) | 岩田 一(神奈川工科大) / 櫻井 孝平(金沢大) / 島 和之(広島市大) |
幹事補佐氏名(英) | Hajime Iwata(Kanagawa Inst. of Tech.) / Kohei Sakurai(Kanazawa Univ.) / Kazuyuki Shima(Hiroshima City Univ.) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering |
---|---|
本文の言語 | JPN |
タイトル(和) | 逆戻りデバッグ補助のための嵌入的スパイの試作 |
サブタイトル(和) | |
タイトル(英) | A Prototype of an Intrusive Spy for Backward-In-Time Debugging |
サブタイトル(和) | |
キーワード(1)(和/英) | 逆戻りデバッグ / Omniscient debugging |
キーワード(2)(和/英) | プログラム理解 / program comprehension |
キーワード(3)(和/英) | 動的解析 / dynamic analysis |
第 1 著者 氏名(和/英) | 神谷 年洋 / Toshihiro Kamiya |
第 1 著者 所属(和/英) | 島根大学(略称:島根大) Shimane University(略称:Shimane Univ.) |
発表年月日 | 2016-07-14 |
資料番号 | SS2016-9,KBSE2016-15 |
巻番号(vol) | vol.116 |
号番号(no) | SS-127,KBSE-128 |
ページ範囲 | pp.87-92(SS), pp.87-92(KBSE), |
ページ数 | 6 |
発行日 | 2016-07-06 (SS, KBSE) |