講演名 | 2013/10/17 フレームワークァプリケーションに於ける副作用の兆候を抽出する動的解析手法 久米 出, 新田 直也, 中村 匡秀, 柴山 悦哉, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | プログラムのデバッグには検出された不具合からその原因を特定するために、多くの時間や労力を費して制御やデータの流れを辿る作業が必要である。多くのデバッグ支援手法は、作業者によるデバッグ対象プログラムの実装に関する知識を想定している。しかしながらフレームワークアプリケーションのように、既知のコードと未知のコード同士が相互に呼び出し合うようなプログラムの場合にはこうした想定が成り立たない。本論文ではフレームワークアプリケーションに於ける副作用に焦点を当てたプログラム理解とデバッグ支援の手法を提案する。我々の手法は副作用と共に発生する挙動を抽象化した兆候をプログラムトレースから抽出する点に新規性を有する。兆候は作業者が副作用の有無を判断する根拠として利用される。またオブジェクトやメソッド呼び出しと関連付ける事によって副作用の発生過程の理解を支援する事も期待されている。本提案手法を実用的なアプリケーション例題に対して適用し、その結果を評価する。 |
抄録(英) | |
キーワード(和) | |
キーワード(英) | |
資料番号 | Vol.2013-SE-182No.4 |
発行日 |
研究会情報 | |
研究会 | SS |
---|---|
開催期間 | 2013/10/17(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Software Science (SS) |
---|---|
本文の言語 | JPN |
タイトル(和) | フレームワークァプリケーションに於ける副作用の兆候を抽出する動的解析手法 |
サブタイトル(和) | |
タイトル(英) | |
サブタイトル(和) | |
キーワード(1)(和/英) | |
第 1 著者 氏名(和/英) | 久米 出 |
第 1 著者 所属(和/英) | 奈良先端科学技術大学院大学 Nara Institute of Science and Technology |
第 2 著者 氏名(和/英) | 新田 直也 |
第 2 著者 所属(和/英) | 甲南大学 Konan University |
第 3 著者 氏名(和/英) | 中村 匡秀 |
第 3 著者 所属(和/英) | 神戸大学 Kobe University |
第 4 著者 氏名(和/英) | 柴山 悦哉 |
第 4 著者 所属(和/英) | 東京大学 The University of Tokyo |
発表年月日 | 2013/10/17 |
資料番号 | Vol.2013-SE-182No.4 |
巻番号(vol) | vol.113 |
号番号(no) | 269 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |