類似ソフトウェア分析基盤の構築に関する研究

• 研究課題/領域番号: 22500026
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 大阪大学
• 研究代表者: 松下 誠 大阪大学, 大学院・情報科学研究科, 准教授 (60304028)
• 研究期間 (年度): 2010 – 2012
• 研究課題ステータス: 完了 (2012年度)
• 配分額: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円); 2012年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円); 2011年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2010年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
• キーワード: 類似ソフトウェア / 静的ソフトウェア解析 / 部品グラフ / べき乗則 / 静的解析 / アクセス修飾子 / 分析環境 / ソフトウェア分析 / リファクタリング / コードクローン

研究概要

ソースコードが互いに類似するソフトウェアを分析する環境を構築するための基盤技術について種々の成果を得た。主な成果として、Androidアプリケーションを対象にした部品グラフがべき乗則に従うことを発見し、Javaアクセス修飾子のアクセス過剰性がアプリケーションの進化発展に際してどのように遷移するか分析し、ひとたび過剰性を持ったアクセス修飾子は、将来の開発において修正されにくいことを明らかにした。

研究成果

• [雑誌論文] Javaプログラムのアクセス修飾子過剰性分析ツールModiCheckerの機能拡張とその応用例 (2013)
  • 著者名/発表者名: 小堀一雄, 石居達也, 松下誠, 井上克郎
  • 雑誌名: SEC Journal 巻: Vol.9 採録決定
  • NAID: 120005537853
• [雑誌論文] Javaプログラムのアクセス修飾子過剰性分析ツールModiCheckerの機能拡張とその応用例 (2013)
  • 著者名/発表者名: 小堀一雄
  • 雑誌名: SEC Journal 巻: Vol.9
  • 査読あり
• [学会発表] A Prototype of Comparison Tool for Android Applications Based on Difference of API Calling Sequences (2011)
  • 著者名/発表者名: Tetsuya Kanda
  • 学会等名: 電子情報通信学会ソフトウェアサイエンス研究会
  • 発表場所: 韓国
  • 年月日: 2011-06-30
• [学会発表] Android用アプリケーションの部品グラフを対象としたべき乗則の調査 (2011)
  • 著者名/発表者名: 神田哲也, 松下誠
  • 学会等名: 第73回情報処理学会全国大会
  • 発表場所: 東京工業大学大岡山キャンパス
  • 年月日: 2011-03-04
• [学会発表] Android用アプリケーションの 部品グラフを対象としたべき乗則の調査 (2011)
  • 著者名/発表者名: 神田哲也, 真鍋雄貴, 松下誠, 井上克郎
  • 学会等名: 第73回情報処理学会全国大会講演論文集(1)
• [学会発表] A Prototype of Comparison Tool for Android Applications Based on Difference of API Calling Sequences (2011)
  • 著者名/発表者名: Tetsuya Kanda, Yuki Manabe, Takashi Ishio, Makoto Matsushita, Katsuro Inoue
  • 学会等名: IEICE Technical Report
• [学会発表] テンプレートメソッドの形成に基づく類似メソッドの集約支援 (2010)
  • 著者名/発表者名: 政井智雄, 松下誠, 井上克郎
  • 学会等名: 日本ソフトウェア科学会FOSE201
  • 発表場所: 新潟県南魚沼郡湯沢町
  • 年月日: 2010-11-22
• [学会発表] コードの生存期間を考慮したコードクローンと欠陥修正の関係調査 (2010)
  • 著者名/発表者名: 齋藤晃, 松下誠, 井上克郎
  • 学会等名: 電子情報通信学会ソフトウェアサイエンス研究会
  • 発表場所: 岩手県立大学
  • 年月日: 2010-10-14
• [学会発表] 類似メソッドの集約のための差分抽出支援 (2010)
  • 著者名/発表者名: 政井智雄, 松下誠
  • 学会等名: 電子情報通信学会ソフトウェアサイエンス研究会
  • 発表場所: 同志社大学 今出川キャンパス
  • 年月日: 2010-05-27
• [学会発表] 類似メソッドの集約のための差分抽出支援 (2010)
  • 著者名/発表者名: 政井智雄, 吉田則裕, 松下誠, 井上克郎
  • 学会等名: 電子情報通信学会技術研究報告
• [学会発表] テンプレートメソッドの形成に基づく類似メソッドの集約支援 (2010)
  • 著者名/発表者名: 政井智雄, 吉田則裕, 松下誠, 井上克郎
  • 学会等名: 日本ソフトウェア科学会FOSE2010 ソフトウェア工学の基礎XVII
• [学会発表] コードの生存期間を考慮したコードクローンと欠陥修正の関係調査 (2010)
  • 著者名/発表者名: 齋藤晃, 吉田則裕, 松下誠, 井上克郎
  • 学会等名: 信学技報
• [備考]
  • URL: http://sel.ist.osaka-u.ac.jp/~lab-db/betuzuri/bibliography.html.ja