高処理効率性と高可搬性を備えた自動プログラム修正システムの開発と評価

DOI 情報処理学会 オープンアクセス

書誌事項

タイトル別名
  • Development and Evaluation of an Automated Program Repair System with High-performance and High-portability

この論文をさがす

抄録

ソフトウェア開発において，効率的なデバッグ作業の実現を目的とした自動プログラム修正に関する研究が数多く行われている．自動プログラム修正ではバグを含むソースコードとテストスイートを入力とし，自動的にバグ修正の施されたソースコードを出力する．本論文では，著者らが開発している自動プログラム修正のための研究用プラットフォームkGenProgについて紹介する．kGenProgはプログラム修正の過程に対して遺伝的アルゴリズムを採用しており，生物の進化や淘汰を模倣したプログラム修正を実現する．kGenProgは既存のプログラム修正システムと比較して，高処理効率性と高可搬性の2つの特徴を持つ．評価実験として，実際のバグを対象とした適用実験を行い，既存のプログラム修正ツールと比べて処理速度の向上を確認した．

Numerous studies have been conducted in the field of automated program repair (APR) which enables efficient debugging on software development. Automated program repair can generate repaired code automatically by giving test cases and source code including one ore more bugs. In this paper, we introduce our developing APR framework named kGenProg. kGenProg tries to repair the given code as biological evolution and selection by employing genetic algorithm approach for its repairing process. kGenProg aims to achieve high-performance and high-portability compared to existing APR tools. As an evaluation, we conducted an experimental performance comparison with an existing APR tool. The result shows kGenProg improves repairing performance in most cases.

収録刊行物

関連プロジェクト

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ