• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2015 Fiscal Year Annual Research Report

クラウド環境で動作するソフトウェアに対するデバッグ技術の確立

Research Project

Project/Area Number 26280021
Research InstitutionOsaka University

Principal Investigator

石尾 隆  大阪大学, 情報科学研究科, 助教 (60452413)

Co-Investigator(Kenkyū-buntansha) 小林 隆志  東京工業大学, 情報理工学(系)研究科, 准教授 (50345386)
Project Period (FY) 2014-04-01 – 2017-03-31
Keywordsソフトウェア工学 / 動的解析 / デバッグ
Outline of Annual Research Achievements

本年度は、(1)ソフトウェアの複数回の実行から収集したログの対応関係を分析する手法、(2)一部のデータが欠落した実行ログを用いての実行の再現、(3)解析基盤となるライブラリの開発と公開を行った。
(1)として、動的プログラム依存グラフの部分グラフを比較することで、ソフトウェアの動作の差分を求める手法を試作した。デバッグにおいて、ソフトウェアの修正前と修正後に取得した実行ログを比較することで、修正によって問題が生じなくなったことを開発者がテストによって確認すると同時に、ソフトウェアの他の部分の実行でデータの流れや制御の流れに変化が生じないことを自動的に検証することで、修正の正しさを開発者が迅速に確認することを可能とした。
(2)として、変数の値などが部分的に与えられている場合でも、計算できる範囲だけを用いて実行条件を再現する技術の研究を行った。具体的には、未知の値から計算される結果は未知の値であるという規則に従って、計算可能な値だけを求めながら実行経路を可能な限り探索する手法とした。
(3)として、Javaプログラムの解析を効率化するためのライブラリSOBA (Simple Objects for Bytecode Analysis)を構築し、オープンソースソフトウェアとして公開した。本研究では、当該ライブラリを(1)(2)の実現に使用しているほか、企業で用いられるソフトウェアのデータ処理の分析に注目したデータ依存関係解析や、ソフトウェアに含まれる類似コードの内容から処理の違いを分析する技術など、デバッグに必要なプログラム分析技術の実現のための基盤として使用した。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

デバッガに関する研究では、バグの実例を得にくいという点が課題であったが、米国ワシントン大学のグループによってDefects4Jと呼ばれるバグ事例データベースが公開され、Javaプログラムに関するデバッグに関してはデータに基づく議論が格段に容易になった。我々の研究でも部分的に(1)(2)の研究の評価に利用することができ、その有用性も確認できたことから、今後の研究も効率的に研究が進展することが期待できる。
また、実行ログの解析は、大量のデータを効率的に処理する必要があり、計算コストの改善というのが1つの課題となっていたが、(1)で構築した手法については学会発表を通じた議論で性能の改善の可能性が判明しており、今後の研究の進展が期待できる状況にある。

Strategy for Future Research Activity

本年度にJavaのプログラム解析に用いる基本的な処理をライブラリ化できたことで、様々な解析技術の試作が容易になった。ライブラリの利用方法を研究分担者と共有し、改善を継続していくことで、さらに高度な解析技術の開発を効率的に進めることを計画している。

Causes of Carryover

物品費の余剰は、研究に使用する一部機材を所属機関の経費で導入することができたことによるものである。旅費の余剰は、論文の発表が国際会議よりも論文誌を通じたものが主となったために生じたものである。

Expenditure Plan for Carryover Budget

次年度の論文誌の掲載料、国際会議への参加旅費、参加費の支払いに使用する予定である。

  • Research Products

    (9 results)

All 2016 2015 Other

All Journal Article (5 results) (of which Peer Reviewed: 5 results,  Acknowledgement Compliant: 5 results) Presentation (3 results) Remarks (1 results)

  • [Journal Article] Variable Data-Flow Graph for Lightweight Program Slicing and Visualization2015

    • Author(s)
      Yu Kashima, Takashi Ishio, Shogo Etsuda, Katsuro Inoue
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E98-D Pages: 1194-1205

    • DOI

      10.1587/transinf.2014EDP7395

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Javaメソッドの動作を表現する動詞の自動推薦手法の評価2015

    • Author(s)
      柏原 由紀, 石尾 隆, 井上 克郎
    • Journal Title

      情報処理学会論文誌

      Volume: 56 Pages: 1900-1904

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Improvement in Method Verb Recommendation Technique using Association Rule Mining2015

    • Author(s)
      Yuki Kashiwabara, Takashi Ishio, Katsuro Inoue
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E98-D Pages: 1982-1985

    • DOI

      10.1587/transinf.2015EDL8069

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] メソッド呼び出しの差異に基づくコードクローンの分類手法2015

    • Author(s)
      石尾 隆, 伊達 浩典, 井上 克郎
    • Journal Title

      情報処理学会論文誌

      Volume: 56 Pages: 1471-1480

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Analysis of Coding Patterns over Version History2015

    • Author(s)
      Hironori Date, Takashi Ishio, Makoto Matsushita, Katsuro Inoue
    • Journal Title

      コンピュータソフトウェア

      Volume: 32 Pages: 220-226

    • Peer Reviewed / Acknowledgement Compliant
  • [Presentation] 動的スライスを用いたバグ修正前後の実行系列の差分検出手法の提案2016

    • Author(s)
      松村 俊徳, 石尾 隆, 井上 克郎
    • Organizer
      第191回ソフトウェア工学研究発表会
    • Place of Presentation
      大阪大学(大阪府吹田市)
    • Year and Date
      2016-03-14 – 2016-03-15
  • [Presentation] 変数の型を考慮したメソッド間の実行経路の検索2015

    • Author(s)
      竹之内 啓太, 石尾 隆, 井上 克郎
    • Organizer
      第22回ソフトウェア工学の基礎ワークショップ
    • Place of Presentation
      ほほえみの宿 滝の湯(山形県天童市)
    • Year and Date
      2015-11-26 – 2015-11-28
  • [Presentation] SOBA: Javaバイトコード解析ツールキット2015

    • Author(s)
      石尾 隆, 秦野 智臣, 井上 克郎
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2015
    • Place of Presentation
      慶應義塾大学(神奈川県横浜市)
    • Year and Date
      2015-09-07 – 2015-09-09
  • [Remarks] SOBAプロジェクト(オープンソースソフトウェア)

    • URL

      https://osdn.jp/projects/soba/

URL: 

Published: 2017-01-06  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi