Item type |
Journal(1) |
公開日 |
2020-04-15 |
タイトル |
|
|
タイトル |
高処理効率性と高可搬性を備えた自動プログラム修正システムの開発と評価 |
タイトル |
|
|
言語 |
en |
|
タイトル |
Development and Evaluation of an Automated Program Repair System with High-performance and High-portability |
言語 |
|
|
言語 |
jpn |
キーワード |
|
|
主題Scheme |
Other |
|
主題 |
[特集:ソフトウェア工学] 自動プログラム修正,自動バグ限局,遺伝的アルゴリズム,kGenProg,Defects4J |
資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
ID登録 |
|
|
ID登録 |
10.20729/00204234 |
|
ID登録タイプ |
JaLC |
著者所属 |
|
|
|
大阪大学 |
著者所属 |
|
|
|
大阪大学 |
著者所属 |
|
|
|
大阪大学 |
著者所属 |
|
|
|
大阪大学 |
著者所属 |
|
|
|
大阪大学 |
著者所属 |
|
|
|
大阪大学 |
著者所属 |
|
|
|
大阪大学 |
著者所属 |
|
|
|
大阪大学 |
著者所属 |
|
|
|
大阪大学 |
著者所属 |
|
|
|
大阪大学 |
著者所属(英) |
|
|
|
en |
|
|
Osaka University |
著者所属(英) |
|
|
|
en |
|
|
Osaka University |
著者所属(英) |
|
|
|
en |
|
|
Osaka University |
著者所属(英) |
|
|
|
en |
|
|
Osaka University |
著者所属(英) |
|
|
|
en |
|
|
Osaka University |
著者所属(英) |
|
|
|
en |
|
|
Osaka University |
著者所属(英) |
|
|
|
en |
|
|
Osaka University |
著者所属(英) |
|
|
|
en |
|
|
Osaka University |
著者所属(英) |
|
|
|
en |
|
|
Osaka University |
著者所属(英) |
|
|
|
en |
|
|
Osaka University |
著者名 |
柗本, 真佑
肥後, 芳樹
有馬, 諒
谷門, 照斗
内藤, 圭吾
松尾, 裕幸
松本, 淳之介
富田, 裕也
華山, 魁生
楠本, 真二
|
著者名(英) |
Shinsuke, Matsumoto
Yoshiki, Higo
Ryo, Arima
Akito, Tanikado
Keigo, Naito
Hiroyuki, Matsuo
Junnosuke, Matsumoto
Yuya, Tomida
Kaisei, Hanayama
Shinji, Kusumoto
|
論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
ソフトウェア開発において,効率的なデバッグ作業の実現を目的とした自動プログラム修正に関する研究が数多く行われている.自動プログラム修正ではバグを含むソースコードとテストスイートを入力とし,自動的にバグ修正の施されたソースコードを出力する.本論文では,著者らが開発している自動プログラム修正のための研究用プラットフォームkGenProgについて紹介する.kGenProgはプログラム修正の過程に対して遺伝的アルゴリズムを採用しており,生物の進化や淘汰を模倣したプログラム修正を実現する.kGenProgは既存のプログラム修正システムと比較して,高処理効率性と高可搬性の2つの特徴を持つ.評価実験として,実際のバグを対象とした適用実験を行い,既存のプログラム修正ツールと比べて処理速度の向上を確認した. |
論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
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. |
書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN00116647 |
書誌情報 |
情報処理学会論文誌
巻 61,
号 4,
p. 830-841,
発行日 2020-04-15
|
ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
1882-7764 |