講演名 2014-03-11
フレームワーク・アプリケーションに於ける予期せぬ副作用の効率的なデバッグに向けて
久米 出, 新田 直也, 中村 匡秀, 柴山 悦哉,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 近年アプリケーションフレームワークを利用したソフトウェア開発が常態化する中で、文書の不備に起因するフレームワークの誤用とその解決が大きな問題として認識されつつある。本論文では誤用によって発生した予期せぬ副作用が障害を発生させる場合を想定し、そのデバッグを支援する手法を提案する。本手法では誤用による副作用の候補を動的解析によって特定し、可視化する事によってデバッグ作業を支援する。候補を特定する挙動パターンを予兆と呼ぶ。作業者は予兆が実行されたメソッド呼び出し文脈よりそれが実際に予期せぬ副作用であるか否かを判断する。これによって障害から副作用を手作業で辿る作業が大幅に軽減される。本論文では第三者が開発した実用的なフレームワークのアプリケーションの誤用例に本手法を適用した結果を紹介する。
抄録(英) Recently correcting misuses of application frameworks with insufficient documentation becomes an important topic because of so many frameworks used in software development. In this paper, we focus on debugging unexpected side effects caused by misuses. Our method detects possibly unexpected side effects based on behavioral patterns called symptoms, and visualize them for maintainers' judgment, and thus decreases their effort to find defects. We explain a case study to apply our method to a failure on a practical framework application developed by a third party.
キーワード(和) アプリケーションフレームワーク / デバッグ / 副作用 / 動的解析 / 可視化
キーワード(英) Application Framework / Debug / Side Effects / Dynamic Analysis / Visualization.
資料番号 SS2013-80
発行日

研究会情報
研究会 SS
開催期間 2014/3/4(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Software Science (SS)
本文の言語 JPN
タイトル(和) フレームワーク・アプリケーションに於ける予期せぬ副作用の効率的なデバッグに向けて
サブタイトル(和)
タイトル(英) Toward Efficient Debugging of Unexpected Side-Effects in Framework Applications
サブタイトル(和)
キーワード(1)(和/英) アプリケーションフレームワーク / Application Framework
キーワード(2)(和/英) デバッグ / Debug
キーワード(3)(和/英) 副作用 / Side Effects
キーワード(4)(和/英) 動的解析 / Dynamic Analysis
キーワード(5)(和/英) 可視化 / Visualization.
第 1 著者 氏名(和/英) 久米 出 / Izuru KUME
第 1 著者 所属(和/英) 奈良先端科学技術大学院大学
Nara Institute of Science and Technology
第 2 著者 氏名(和/英) 新田 直也 / Naoya NITTA
第 2 著者 所属(和/英) 甲南大学
Konan University
第 3 著者 氏名(和/英) 中村 匡秀 / Masahide NAMAKURA
第 3 著者 所属(和/英) 神戸大学
Kobe University
第 4 著者 氏名(和/英) 柴山 悦哉 / Etsuya SHIBAYAMA
第 4 著者 所属(和/英) 東京大学
The University of Tokyo
発表年月日 2014-03-11
資料番号 SS2013-80
巻番号(vol) vol.113
号番号(no) 489
ページ範囲 pp.-
ページ数 6
発行日