主催: 阿萬 裕久, 天㟢 聡介
会議名: 第32回ソフトウェア工学の基礎ワークショップ(FOSE2025)
開催地: 愛媛県松山市
開催日: 2025/11/06 - 2025/11/08
p. 207-208
ソフトウェア開発においては,開発効率向上を目的とした生成AIの活用が期待される.しかし,生成AIの成果物は生成プロセスがブラックボックス化されるため,品質確認が課題となる.本論文では仕様書の内容が過不足・誤りなくコードに反映されていることの確認(整合性確認)を対象に,その確認手法を生成AIで自動化した結果を報告する.