大規模言語モデルを用いたソフトウェア仕様書の用語チェック

ソフトウェア(以下，S/W)開発プロセスの一つであるウォーターフォール型開発iでは，各フェーズで埋め込まれた不具合が後のフェーズに流出すると，手戻りが発生し，費用面／工程面で大きな損失につながる．そのため，埋め込まれた不具合はそのフェーズで発見することが原則である．各フェーズで埋め込まれた不具合を発見するための作業はレビューと呼ばれる．レビューは設計ドキュメントなどの成果物を関係者で確認し，不具合やその他不備を発見するとともに，各フェーズにおける成果物の品質を評価する作業である．そのため，網羅的な観点で一定の作業品質でレビューを実施すiウォーターフォール型開発：ソフトウェア全体をシステム設計，ソフトウェア設計，プログラム設計，コーディング，単体試験などのように徐々に細部を設計し，製作・試験を進めていく開発手法．ここに書いたシステム設計などをフェーズと呼ぶ．1三菱電機株式会社情報技術総合研究所{Kanai.Kenichiro@dy,Abe.Natsuki@dn,Kabasawa.Yu@ak,Uchide.Hayato@dy,Saito.Tatsuhiko@db}.mitsubishielectric.co.jpることが，各フェーズにおける成果物の品質向上のために重要である．設計ドキュメントの中でもS/W仕様書は，S/W設計フェーズの成果物であり，S/Wを規定するドキュメントである．したがって，S/W仕様書の品質はS/Wの品質に大きく影響を与えるため，S/W仕様書のレビューも重要である．しかし，S/W仕様書のレビューでは複数の文書を参照する必要があり，コストや難易度が高い．参照する文書は例えばシステム仕様書やインタフェース仕様書，規約など多岐にわたる．そこで本研究では，S/W仕様書のレビューを一定の品質で行い，S/W品質の向上を目指す，LLMを用いた自動レビューの第一歩として，RAG[1]により複数の文書から抽出した情報をLLMに入力し，S/W仕様書の用語をチェックする手法を提案する．