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

Software Automatic Repair and Update Proposal by Virtual Developer

Research Project

Project/Area Number 18K11241
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 60050:Software-related
Research InstitutionKyoto University

Principal Investigator

Atsumi Noritoshi  京都大学, 学術情報メディアセンター, 准教授 (70397446)

Co-Investigator(Kenkyū-buntansha) 桑原 寛明  南山大学, 理工学部, 准教授 (30432222)
Project Period (FY) 2018-04-01 – 2022-03-31
Project Status Completed (Fiscal Year 2021)
Budget Amount *help
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2020: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2019: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2018: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Keywordsソフトウェア自動修正 / プログラム解析 / ソフトウェア保守 / ソフトウェア進化 / , / ソフトウェア工学 / ソフトウェア保守支援 / 機械学習
Outline of Final Research Achievements

The purpose of this research project is to reduce the maintenance cost of repairing software defects and modifying software for the changes in the external environment. We proposed and implemented a method of automatic program repair that automatically fixes bugs caused by incorrect API usage by modifying the software to follow API usage patterns that represent typical call sequences of APIs. We also conducted a survey on changes in public APIs between release versions of OSS libraries, and proposed a method to support version updates of libraries.

Academic Significance and Societal Importance of the Research Achievements

オープンソースソフトウェアのリポジトリおよびライブラリのリポジトリから得られるすべてのリビジョンのプログラムに対して,プログラム解析技術を用いて利用しているライブラリのメソッドシグネチャと定義しているメソッドシグネチャを抽出するためのフレームワークを構築しており,ソフトウェア開発・保守支援の実現に必要な基盤を確立した点,外部ライブラリの進化に追随するための分析基盤を実現した点,API 利用パターンに基づく自動修正手法を確立した点は学術的に意義があるものと考える.

Report

(5 results)
  • 2021 Annual Research Report   Final Research Report ( PDF )
  • 2020 Research-status Report
  • 2019 Research-status Report
  • 2018 Research-status Report
  • Research Products

    (15 results)

All 2022 2021 2020 2019 2018

All Journal Article (3 results) (of which Peer Reviewed: 3 results,  Open Access: 3 results) Presentation (12 results)

  • [Journal Article] Towards Secrecy Wildcards in Information Flow Analysis2021

    • Author(s)
      桑原 寛明
    • Journal Title

      Computer Software

      Volume: 38 Issue: 4 Pages: 4_40-4_45

    • DOI

      10.11309/jssst.38.4_40

    • NAID

      130008132022

    • ISSN
      0289-6540
    • Year and Date
      2021-10-22
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] A Type System for Detecting Non-Terminating Stream Operations with Java Stream API2020

    • Author(s)
      長谷川 健太、桑原 寛明、國枝 義敏
    • Journal Title

      Computer Software

      Volume: 37 Issue: 2 Pages: 2_59-2_75

    • DOI

      10.11309/jssst.37.2_59

    • NAID

      130007863813

    • ISSN
      0289-6540
    • Year and Date
      2020-04-23
    • Related Report
      2020 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Bounded Secrecy Parameters in Information Flow Analysis.2019

    • Author(s)
      桑原 寛明、國枝 義敏
    • Journal Title

      Computer Software

      Volume: 36 Issue: 4 Pages: 4_39-4_45

    • DOI

      10.11309/jssst.36.4_39

    • NAID

      130007772585

    • ISSN
      0289-6540
    • Year and Date
      2019-10-25
    • Related Report
      2019 Research-status Report
    • Peer Reviewed / Open Access
  • [Presentation] API利用パターンを用いた自動プログラム修正におけるパターン検索の予備評価2022

    • Author(s)
      桑原 寛明,渥美 紀寿
    • Organizer
      情報処理学会ソフトウェア工学研究会3月研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] API利用パターンを用いた自動プログラム修正手法2021

    • Author(s)
      荒木 良仁,桑原 寛明,國枝 義敏
    • Organizer
      情報処理学会ソフトウェア工学研究会3月研究会
    • Related Report
      2020 Research-status Report
  • [Presentation] 情報流解析における機密度ワイルドカードの検討.2020

    • Author(s)
      桑原 寛明
    • Organizer
      第27回ソフトウェア工学の基礎ワークショップ
    • Related Report
      2020 Research-status Report
  • [Presentation] 自動プログラム修正におけるAPI利用パターンを用いたパッチ生成2020

    • Author(s)
      荒木 良仁,桑原 寛明,國枝 義敏
    • Organizer
      第27回ソフトウェア工学の基礎ワークショップ
    • Related Report
      2020 Research-status Report
  • [Presentation] 機密度パラメータ付き情報流解析のための型検査アルゴリズムとJavaアノテーション2019

    • Author(s)
      桑原 寛明,國枝 義敏
    • Organizer
      日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ
    • Related Report
      2019 Research-status Report
  • [Presentation] ライブラリ進化への追随のためのソフト ウェア修正の共有手法の提案2019

    • Author(s)
      渥美 紀寿, 桑原 寛明
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Related Report
      2018 Research-status Report
  • [Presentation] Stream APIを利用するJavaプログラムにおけるストリーム再利用の静的検出手法2019

    • Author(s)
      荒木 良仁, 桑原 寛明, 國枝 義敏
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Related Report
      2018 Research-status Report
  • [Presentation] 字句列の共通性に基づく例外処理条件文の抽出手法の提案2018

    • Author(s)
      吉田 敦, 加藤 大貴, 蜂巣 吉成, 桑原 寛明, 阿草 清滋
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2018
    • Related Report
      2018 Research-status Report
  • [Presentation] ソースコードの XML表現のための選択例を用いた対話的XPath生成支援2018

    • Author(s)
      夏目雅槻, 相澤遥也, 渥美紀寿, 小林 隆志
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Related Report
      2018 Research-status Report
  • [Presentation] Java Stream API によるストリーム操作の停止性検査のための型システム2018

    • Author(s)
      長谷川 健太, 桑原 寛明, 國枝 義敏
    • Organizer
      第25回ソフトウェア工学の基礎ワークショップ
    • Related Report
      2018 Research-status Report
  • [Presentation] 情報流解析における制約付き機密度パラメータ2018

    • Author(s)
      桑原 寛明, 國枝 義敏
    • Organizer
      第25回ソフトウェア工学の基礎ワークショップ
    • Related Report
      2018 Research-status Report
  • [Presentation] 記述の共通性に着目したプログラムのダイジェスト化手法の提案2018

    • Author(s)
      加藤 宗一郎, 吉田 敦, 蜂巣 吉成, 桑原 寛明
    • Organizer
      第25回ソフトウェア工学の基礎ワークショップ
    • Related Report
      2018 Research-status Report

URL: 

Published: 2018-04-23   Modified: 2023-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi