文献

J-GLOBAL ID：202202215327372437   整理番号：22A0862502

Req2Spec:自然言語処理を用いた形式的仕様へのソフトウェア要求の変換【JST・京大機械翻訳】

Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing

著者 (6件)： Nayak Anmol (ARiSE Labs at Bosch, Bengaluru, India) ,  Timmapathini Hari Prasad (ARiSE Labs at Bosch, Bengaluru, India) ,  Murali Vidhya (ARiSE Labs at Bosch, Bengaluru, India) ,  Ponnalagu Karthikeyan (ARiSE Labs at Bosch, Bengaluru, India) ,  Venkoparao Vijendran Gopalan (ARiSE Labs at Bosch, Bengaluru, India) ,  Post Amalinda (Robert Bosch GmbH, Stuttgart, Germany)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13216  ページ： 87-95  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： [文脈と動機]要求分析と試験仕様生成は,ソフトウェア開発ライフサイクル(SDLC)における重大な活動であり,ソフトウェアシステムの欠陥に正しく導くことができない。自然言語要求(NLR)に関するこれらのタスクを手動で実行することは,時間がかかり,誤りの傾向がある。[質問/問題]問題は,NLRを形式的仕様に変換することにより,これらの活動の自動化を容易にすることである。本論文では,HANFOR,産業規模の要求分析,および試験仕様生成ツールによって容易に消費できる形式的仕様を生成するために,NLRに関する構文的および意味的解析を実行する自然言語処理(NLP)ベースのパイプラインであるReq2Specを提示した。BOSCHにおける222の自動車領域ソフトウェア要求を考慮し,その71%は正しく定式化された。[結論]Req2Specは,自動化を可能にするHANFORとシームレスに統合するので,SDLCの利害関係者の補助になるであろう。Copyright Springer Nature Switzerland AG 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 自動化 ,  自動車 ,  ライフサイクル ,  解析 ,  *自然言語処理 ,  *自然言語 ,  *ソフトウェア ,  器具 ,  定式化 ,  ソフトウェア開発 ,  要求分析 ,  *形式的仕様
準シソーラス用語： 利害関係者 ,  シームレス ,  構文 , 【Automatic Indexing@JST】

著者キーワード (5件)： 要求形式化 ,  自然言語処理 ,  要求分析 ,  テスト仕様生成 ,  言語モデル

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： 自然言語処理 ,  形式的仕様 ,  ソフトウェア