| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2025-03-10 15:25 オンラインジャッジシステムにおける動作検証データを用いたT5ベースの自動バグ修正 ○室塚翔太（同志社大）・槇原絵里奈（立命館大）・小西杏典・小野景子（同志社大）  SS2024-53 |
|
| 抄録 | （和） | プログラミングの学習環境が多様化し、特にオンラインジャッジシステム（OJS）を利用して自主的に学習する学習者が急増している。しかし、OJSには「自分でバグを特定するのが難しい」「自分のソースコードに有効な他人のソースコードを探すのが難しい」といった問題点がある。ソースコードのバグを修正する方法には、遺伝的アルゴリズムやテンプレートに基づく方法など様々なものがあるが，その中でも自然言語処理を用いた手法が有効であることが報告されている。本研究では、VulRepairと呼ばれるText-to-Text Transfer Transformer(T5)をベースにしたモデルを用いて、OJSに投稿されたソースコードのバグを自動的に修正することに焦点を当てる。また、OJSのソースコードのバグ修正において、ソースコード以外のどのような情報が重要であるかを調査した。その結果、ソースコードの標準入力とバグの種類を与えることで精度が大幅に向上することを確認した。また、標準入出力を付与することで、printfやscanfなどの標準入出力関連の処理にバグがある場合の修正精度が向上し、バグの種類を付与することで、標準入出力処理だけでなく、変数定義や配列定義の修正精度も向上することを確認した。 |
| （英） | Programming learning environments are becoming more diverse, and in particular, the number of learners who use online judging systems (OJS) for independent learning is rapidly increasing. However, OJS has some problems: it is difficult to identify bugs by oneself, and it is difficult to search for other people's source code that is valid for one's source code. There are many methods for fixing bugs in source code, such as genetic algorithms and template-based methods. One such method is natural language processing, which has been reported to be effective. Therefore, this study focuses on automatically fixing bugs in source code submitted to OJS using a Text-to-Text Transfer Transformer (T5) called VulRepair. We also investigate what information other than the source code is important for bug fixing in OJS source code. The results confirmed that the accuracy is greatly increased by giving the standard input and the type of bug in the source code. We also confirmed that adding standard input/output increases the accuracy of fixing cases where there are bugs in standard input/output related processes such as printf and scanf, and adding the type of bug increases the accuracy of fixing not only standard input/output processes but also variable definitions and array definitions. | |
| キーワード | （和） | 自動バグ修正 / VulRepair / オンラインジャッジシステム / プログラミング学習支援 / / / / |
| （英） | Automatic bug fixes / VulRepair / Online judge system / Programming learning support / / / / | |
| 文献情報 | 信学技報, vol. 124, no. 429, SS2024-53, pp. 55-60, 2025年3月. | |
| 資料番号 | SS2024-53 | |
| 発行日 | 2025-03-03 (SS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2024-53 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2025-03-10 - 2025-03-12 |
| 開催地（和） | アマホームPLAZA（鹿児島県奄美市） |
| 開催地（英） | |
| テーマ（和） | ソフトウェアサイエンスおよび一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2025-03-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | オンラインジャッジシステムにおける動作検証データを用いたT5ベースの自動バグ修正 |
| サブタイトル（和） | |
| タイトル（英） | T5-based automatic bug fixing using behavioural validation data in online judge system |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 自動バグ修正 / Automatic bug fixes |
| キーワード(2)（和/英） | VulRepair / VulRepair |
| キーワード(3)（和/英） | オンラインジャッジシステム / Online judge system |
| キーワード(4)（和/英） | プログラミング学習支援 / Programming learning support |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 室塚 翔太 / Shota Murozuka / ムロヅカ ショウタ |
| 第1著者 所属（和/英） | 同志社大学 (略称： 同志社大) Doshisha University (略称： Doshisha Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 槇原 絵里奈 / Erina Makihara / マキハラ エリナ |
| 第2著者 所属（和/英） | 立命館大学 (略称： 立命館大) Ritsumeikan University (略称： Ritsumeikan Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 小西 杏典 / Kyosuke Konishi / コニシ キョウスケ |
| 第3著者 所属（和/英） | 同志社大学 (略称： 同志社大) Doshisha University (略称： Doshisha Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 小野 景子 / Keiko Ono / オノ ケイコ |
| 第4著者 所属（和/英） | 同志社大学 (略称： 同志社大) Doshisha University (略称： Doshisha Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2025-03-10 15:25:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SS |
| 資料番号 | SS2024-53 |
| 巻番号（vol） | vol.124 |
| 号番号（no） | no.429 |
| ページ範囲 | pp.55-60 |
| ページ数 | 6 |
| 発行日 | 2025-03-03 (SS) |
[研究会発表申込システムのトップページに戻る]