{"links":{},"id":2007714,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:02007714","sets":["1164:1384:1771205742511:1771205807242"]},"path":["1771205807242"],"owner":"80578","recid":"2007714","title":["大規模言語モデルのコード生成タスクにおけるProperty-Based Testingの活用"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2026-03-02"},"_buckets":{"deposit":"fc28b172-df4b-4bd9-809d-5ae090ceb098"},"_deposit":{"id":"2007714","pid":{"type":"depid","value":"2007714","revision_id":0},"owners":[80578],"status":"published","created_by":80578},"item_title":"大規模言語モデルのコード生成タスクにおけるProperty-Based Testingの活用","author_link":[],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"大規模言語モデルのコード生成タスクにおけるProperty-Based Testingの活用","subitem_title_language":"ja"},{"subitem_title":"Leveraging Property-Based Testing for Code Generation Tasks in Large Language Models","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2026-03-02","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"電気通信大学"},{"subitem_text_value":"電気通信大学"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/2007714/files/IPSJ-SE26222014.pdf","label":"IPSJ-SE26222014.pdf"},"date":[{"dateType":"Available","dateValue":"2028-03-02"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE26222014.pdf","filesize":[{"value":"1.3 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"3f018ac7-2c99-42dd-b02e-a984ada1adc2","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2026 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"中里,祐大"}]},{"creatorNames":[{"creatorName":"戸田,貴久"}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8825","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"大規模言語モデル（LLM）が生成するコードは実行できないものやユーザーの意図と異なるものとなる可能性があり，信頼性が低い．その課題に対し，先行研究では，具体的な入出力ペアであるテストケース生成をコード生成と組み合わせる手法が提案されている．ただ，通常テストケースを使うテストでは，人間があらかじめ想定するバグを引き起こすテストケースを手動で作成するので，無数に存在するテストケースの中からLLMが効果的なテストケースを生成できるか不明である．そこで，本研究では，Property-Based Testing (PBT)をLLMと組み合わせるコード生成手法を提案する．この手法ではLLMを使って，テスト対象コードの説明文からそのコードが満たすべき性質をテストするPBTコードを生成させ，ランダムな入力例で性質が満たされることを繰り返しテストする．テストケースよりも性質に対応したPBTコードを生成する方が的確に生成できると期待される．また，ランダムな入力例のため，あらかじめ想定されなかったバグを引き起こす可能性もあり，結果として生成されたコードの信頼性がより向上することが期待される．","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告ソフトウェア工学（SE）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2026-03-02","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"14","bibliographicVolumeNumber":"2026-SE-222"}]},"relation_version_is_last":true,"weko_creator_id":"80578"},"created":"2026-02-19T09:54:06.381992+00:00","updated":"2026-02-19T09:54:10.263260+00:00"}