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

Automatic Fault Detection based on Data-Flow Analysis for Software Components

Research Project

Project/Area Number 21700030
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field Software
Research InstitutionOsaka University

Principal Investigator

ISHIO Takashi  Osaka University, 大学院・情報科学研究科, 助教 (60452413)

Project Period (FY) 2009 – 2010
Project Status Completed (Fiscal Year 2010)
Budget Amount *help
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2010: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2009: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
Keywordsプログラム解析 / データフロー解析 / プログラムスライシング / 静的解析 / プログラム理解 / 開発環境 / Java / 欠陥検出 / オブジェクト指向
Research Abstract

In this research, we have developed an algorithm of data-flow analysis for software components. While an existing data-flow analysis takes much time to analyze software, our research achieved an efficient analysis based on an approximation of the behavior of software. We have conducted case studies that show our algorithm extracts typical data-flow among components and our algorithm supports program understanding.

Report

(3 results)
  • 2010 Annual Research Report   Final Research Report ( PDF )
  • 2009 Annual Research Report
  • Research Products

    (17 results)

All 2011 2010 2009

All Journal Article (4 results) (of which Peer Reviewed: 4 results) Presentation (13 results)

  • [Journal Article] 協調動作するオブジェクト群の変化に基づく実行履歴の自動分割2010

    • Author(s)
      渡邊結, 石尾隆, 井上克郎
    • Journal Title

      情報処理学会論文誌 Vol.51, No.12

      Pages: 2273-2286

    • NAID

      120005478143

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] 協調動作するオブジェクト群の変化に基づく実行履歴の自動分割2010

    • Author(s)
      渡邊結, 石尾隆, 井上克郎
    • Journal Title

      情報処理学会論文誌

      Volume: Vol.51, No.12 Pages: 2273-2286

    • NAID

      120005478143

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 複数のソフトウェアを横断した利用関係に基づくユーティリティクラスの自動検出2009

    • Author(s)
      市井誠, 石尾隆, 井上克
    • Journal Title

      情報処理学会論文誌 Vol.50, No.10

      Pages: 2514-2519

    • NAID

      120005478103

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] 複数のソフトウェアを横断した利用関係に基づくユーティリティクラスの自動検出2009

    • Author(s)
      市井誠
    • Journal Title

      情報処理学会論文誌 Vol.50, No.10

      Pages: 2514-2519

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Presentation] 変数間データフローグラフを用いたソースコード間の移動支援2011

    • Author(s)
      悦田翔梧, 石尾隆, 井上克郎
    • Organizer
      第171回ソフトウェア工学研究発表会
    • Place of Presentation
      化学会館
    • Year and Date
      2011-03-14
    • Related Report
      2010 Final Research Report
  • [Presentation] A lightweight dataflow analysis to support source code reading.2011

    • Author(s)
      Takashi Ishio
    • Organizer
      12th CREST Open Workshop
    • Place of Presentation
      King's College London (イギリス)
    • Year and Date
      2011-01-24
    • Related Report
      2010 Final Research Report
  • [Presentation] Alightweight dataflow analysis to support source code reading2011

    • Author(s)
      石尾隆
    • Organizer
      12th CREST Open Workshop
    • Place of Presentation
      ロンドン(イギリス)
    • Year and Date
      2011-01-24
    • Related Report
      2010 Annual Research Report
  • [Presentation] オブジェクト生成関係抽出ツールROBIN2010

    • Author(s)
      中野佑紀, 伊達浩典, 渡邊結, 石尾隆, 井上克郎
    • Organizer
      第17回ソフトウェア工学の基礎ワークショップ
    • Place of Presentation
      新潟県南魚沼郡
    • Year and Date
      2010-11-18
    • Related Report
      2010 Annual Research Report 2010 Final Research Report
  • [Presentation] コード片に共通した特性を自動抽出するソースコード閲覧ツールの試作2010

    • Author(s)
      石尾隆, 井上克郎
    • Organizer
      第170回ソフトウェア工学研究発表会
    • Place of Presentation
      大阪大学
    • Year and Date
      2010-11-12
    • Related Report
      2010 Final Research Report
  • [Presentation] コード片に共通した特性を自動抽出するソースコード閲覧ツールの試作2010

    • Author(s)
      石尾隆
    • Organizer
      第170回ソフトウェア工学研究発表会
    • Place of Presentation
      大阪大学吹田キャンパス
    • Year and Date
      2010-11-12
    • Related Report
      2010 Annual Research Report
  • [Presentation] ソフトウェア部品利用例抽出のためのデータフロー解析手法の提案と評価2010

    • Author(s)
      柳慶吾, 石尾隆, 井上克郎
    • Organizer
      第167回ソフトウェア工学研究発表会
    • Place of Presentation
      国立情報学研究所
    • Year and Date
      2010-03-19
    • Related Report
      2010 Final Research Report 2009 Annual Research Report
  • [Presentation] クラス動作シナリオ可視化手法のプログラム理解作業に対する有効性評価2010

    • Author(s)
      宗像聡, 石尾隆, 井上克郎
    • Organizer
      第167回ソフトウェア工学研究発表会
    • Place of Presentation
      国立情報学研究所.情報処理学会ソフトウェア工学研究会CS領域章受賞
    • Year and Date
      2010-03-18
    • Related Report
      2010 Final Research Report
  • [Presentation] プログラムの変更前後での実行履歴の差分検出手法2010

    • Author(s)
      伊藤芳朗
    • Organizer
      第167回ソフトウェア工学研究発表会
    • Place of Presentation
      国立情報学研究所
    • Year and Date
      2010-03-18
    • Related Report
      2009 Annual Research Report
  • [Presentation] クラス動作シナリオ可視化手法のプログラム理解作業に対する有効性評価2010

    • Author(s)
      宗像聡
    • Organizer
      第167回ソフトウェア工学研究発表会
    • Place of Presentation
      国立情報学研究所
    • Year and Date
      2010-03-18
    • Related Report
      2009 Annual Research Report
  • [Presentation] オブジェクト生成の観測に基づくプログラム実行の要約の抽出2010

    • Author(s)
      中野佑紀
    • Organizer
      第72回情報処理学会全国大会
    • Place of Presentation
      東京大学本郷キャンパス
    • Year and Date
      2010-03-11
    • Related Report
      2009 Annual Research Report
  • [Presentation] コーディングパターンとキーワードを用いて生成したコードスニペットの推薦2010

    • Author(s)
      関山太朗
    • Organizer
      第72回情報処理学会全国大会
    • Place of Presentation
      東京大学本郷キャンパス
    • Year and Date
      2010-03-09
    • Related Report
      2009 Annual Research Report
  • [Presentation] オープンソースソフトウェアに対するコーディングパターン分析の適用2009

    • Author(s)
      伊達浩典, 石尾隆, 井上克郎
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2009
    • Place of Presentation
      東京女子大学
    • Year and Date
      2009-09-09
    • Related Report
      2010 Final Research Report 2009 Annual Research Report

URL: 

Published: 2009-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi