データフロー検索と可視化によるオブジェクト指向プログラム理解の支援手法

2013 年度 研究成果報告書

• 研究課題/領域番号: 23650016
• 研究種目: 挑戦的萌芽研究
• 配分区分: 基金
• 研究分野: ソフトウエア
• 研究機関: 奈良先端科学技術大学院大学
• 研究代表者: 久米 出 奈良先端科学技術大学院大学, 情報科学研究科, 助手 (10301285)
• 研究期間 (年度): 2011 – 2013
• キーワード: ソフトウェア工学 / デバッグ支援 / 動的解析 / オブジェクト指向プログラミング / アプリケーションフレームワーク / プログラム理解

研究概要

オブジェクト指向フレームワークを利用した開発手法の普及と共に、ソフトウェア保守の観点からフレームワークアプリケーションの理解が重要な課題として挙げられるようになった。本研究では特にフレームワークの誤用によって発生する障害の解決を目的とした動的解析手法を提案する。本提案手法では誤用特定を支援するために、誤用を含むコードの実行から障害発生に至る、所謂感染の連鎖の発生を示唆する部分をトレース(プログラムの実行履歴)中の依存関係から抽出する。研究代表者は本手法の支援を実現するために感染の連鎖候補を可視化するツールを試作し、本格的な評価実験に向けた予備的な調査を実施した。

研究成果

• [学会発表] Identifying Mandatory Code for Framework Use via a Single Application Trace (2014)
  • 著者名/発表者名: Naoya Nitta, Izuru Kume, Yasuhiro Takemura
  • 学会等名: European Conference on Object-Oriented Programming (ECOOP)
  • 発表場所: accepted to appear
  • 年月日: 20140700
• [学会発表] フレームワーク誤用による副作用の可視化手法 (2014)
  • 著者名/発表者名: 久米出, 中村匡秀, 新田直也, 柴山悦哉
  • 学会等名: ウィンターワークショップ2014・イン・大洗
  • 発表場所: 茨城県茨城郡大洗町
  • 年月日: 20140123-24
• [学会発表] A Dynamic Analysis Technique to Extract Symptoms That Suggest Side Effects in Framework Applications (2014)
  • 著者名/発表者名: Izuru Kume, Naoya Nitta, Masahide Nakamura, Etsuya Shibayama
  • 学会等名: ACM Symposium on Applied Computing (SAC)
  • 発表場所: Gyeongju, Korea
  • 年月日: 2014-03-27
• [学会発表] フレームワーク・アプリケーションに於ける予期せぬ副作用の効率的なデバッグに向けて (2014)
  • 著者名/発表者名: 久米出, 新田直也, 中村匡秀, 柴山悦哉
  • 学会等名: ソフトウェアサイエンス研究会(SS)
  • 発表場所: 沖縄県那覇市
  • 年月日: 2014-03-11
• [学会発表] 動的解析によるフレームワーク学習に向けて (2013)
  • 著者名/発表者名: 久米出, 中村匡秀, 新田 直也, 柴山悦哉
  • 学会等名: ウィンターワークショップ2013・イン・那須
  • 発表場所: 栃木県那須郡那須町
  • 年月日: 20130124-25
• [学会発表] フレームワークアプリケーションに於ける副作用の兆候を抽出する動的解析手法 (2013)
  • 著者名/発表者名: 久米出, 新田直也, 中村匡秀, 柴山悦哉
  • 学会等名: 第182回ソフトウェア工学研究発表会
  • 発表場所: 石川県金沢市
  • 年月日: 2013-10-24
• [学会発表] A Feature Model of Framework Applications (2013)
  • 著者名/発表者名: Izuru Kume, Masahide Nakamura, Naoya Nitta, and Etsuya Shibayama
  • 学会等名: 14th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2013)
  • 発表場所: Honolulu, USA
  • 年月日: 2013-07-01
• [学会発表] フレームワークアプリケーションの抽象化のための動的解析手法 (2013)
  • 著者名/発表者名: 久米出, 中村匡秀, 新田直也, 柴山悦哉
  • 学会等名: 第179回ソフトウェア工学研究発表会
  • 発表場所: 東京都千代田区
  • 年月日: 2013-03-11
• [学会発表] イベント駆動プログラム理解のための動的解析手法 (2012)
  • 著者名/発表者名: 久米出, 柴山悦哉
  • 学会等名: ウィンターワークショップ2012・イン・琵琶湖
  • 発表場所: 滋賀県彦根市
  • 年月日: 20120119-20
• [学会発表] Toward Comprehension of Side Effects in Framework Applications as Feature Interactions (2012)
  • 著者名/発表者名: Izuru Kume, Masahide Nakamura, and Etsuya Shibayama
  • 学会等名: The 19th Asia-Pacific Software Engineering Conference (APSEC 2012)
  • 発表場所: Hong Kong
  • 年月日: 2012-12-07
• [学会発表] A Method for Early Detection of Mismatches between Framework Architecture and Execution Scenarios (2012)
  • 著者名/発表者名: Naoya Nitta, Izuru Kume and Yasuhiro Takemura
  • 学会等名: Asia-Pasific Software Engineering Conference (APSEC)
  • 発表場所: Bangkok, Thailand
  • 年月日: 2012-12-05
• [学会発表] TOWARD UNDERSTANDING SIDE EFFECTS IN FRAMEWORK APPLICATIONS (2012)
  • 著者名/発表者名: Izuru Kume, Masahide Nakamura, Etsuya Shibayama
  • 学会等名: International Conference on Software Technology and Engineering
  • 発表場所: Phuket, Thailand
  • 年月日: 2012-09-02
• [学会発表] フレームワークアプリケーションの副作用の特徴付け手法 (2012)
  • 著者名/発表者名: 久米出, 中村匡秀, 柴山悦哉
  • 学会等名: 第177回情報処理学会ソフトウェア工学研究会
  • 発表場所: 大阪大学
  • 年月日: 2012-07-20
• [学会発表] トレース解析手法を利用した逸脱コードの特定 (2012)
  • 著者名/発表者名: 久米出, 柴山悦哉
  • 学会等名: 第175回情報処理学会ソフトウェア工学研究会
  • 発表場所: 東京都千代田区
  • 年月日: 2012-03-15
• [学会発表] Toward A Dynamic Analysis Technique to Locate Framework Misuses That Cause Unexpected Side Effects
  • 著者名/発表者名: Izuru Kume, Masahide Nakamure, Naoya Nitta, Etsuya Shibayama
  • 学会等名: 15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2014)
  • 発表場所: accepted to appear