WEKO3
アイテム
大規模言語モデルのコード生成タスクにおけるProperty-Based Testingの活用
https://ipsj.ixsq.nii.ac.jp/records/2007714
https://ipsj.ixsq.nii.ac.jp/records/2007714c1581fe9-b8e4-415d-bb33-bb8863b512f1
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE26222014.pdf (1.3 MB)
2028年3月2日からダウンロード可能です。
|
Copyright (c) 2026 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, SE:会員：¥0, DLIB:会員：¥0 | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2026-03-02 | |||||||||
| タイトル | ||||||||||
| 言語 | ja | |||||||||
| タイトル | 大規模言語モデルのコード生成タスクにおけるProperty-Based Testingの活用 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Leveraging Property-Based Testing for Code Generation Tasks in Large Language Models | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| 電気通信大学 | ||||||||||
| 著者所属 | ||||||||||
| 電気通信大学 | ||||||||||
| 著者名 |
中里,祐大
× 中里,祐大
× 戸田,貴久
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 大規模言語モデル（LLM）が生成するコードは実行できないものやユーザーの意図と異なるものとなる可能性があり，信頼性が低い．その課題に対し，先行研究では，具体的な入出力ペアであるテストケース生成をコード生成と組み合わせる手法が提案されている．ただ，通常テストケースを使うテストでは，人間があらかじめ想定するバグを引き起こすテストケースを手動で作成するので，無数に存在するテストケースの中からLLMが効果的なテストケースを生成できるか不明である．そこで，本研究では，Property-Based Testing (PBT)をLLMと組み合わせるコード生成手法を提案する．この手法ではLLMを使って，テスト対象コードの説明文からそのコードが満たすべき性質をテストするPBTコードを生成させ，ランダムな入力例で性質が満たされることを繰り返しテストする．テストケースよりも性質に対応したPBTコードを生成する方が的確に生成できると期待される．また，ランダムな入力例のため，あらかじめ想定されなかったバグを引き起こす可能性もあり，結果として生成されたコードの信頼性がより向上することが期待される． | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN10112981 | |||||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2026-SE-222, 号 14, p. 1-8, 発行日 2026-03-02 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8825 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
