2026-05-19T23:01:58Z
https://ipsj.ixsq.nii.ac.jp/oai
oai:ipsj.ixsq.nii.ac.jp:00190441
2025-01-20T01:13:33Z
1164:1384:9436:9522
要求文書からの信頼性要求の抽出と検証
Derivation and Verification Method of Reliability Requirements
山田, さつき
大森, 隆行
大西, 淳
Satsuki, Yamada
Takayuki, Omori
Atsushi, Ohnishi
非機能要求が正しく記述されていることを確認することはソフトウェア開発において重要である．ここでは信頼性に焦点を当て，ソフトウェア要求文書から信頼性要求に関わる検索キーワードを定め，それらのキーワードによって信頼性要求が漏れなく検索できることを確認する．また検索された信頼性要求の無矛盾性 ・ 非冗長性 ・ 非曖昧性 ・ 完全性を格構造に基づいて検証する手法を提案し，例題を用いて提案手法を説明する．
It is very important to certify the correctness of non-functional requirements in software development. In this paper, we focus on reliability requirements. By retrieving reliability requirements from software requirements documents using keywords related to reliability requirements, we can correctly get reliability requirements. Retrieved requirements will be checked using requirements frame model in order to verify the consistency, the non-redundancy, the unambiguity and the completeness of the requirements. Our method will be illustrated with examples
情報処理学会
2018-07-11
jpn
technical report
https://ipsj.ixsq.nii.ac.jp/records/190441
2188-8825
AN10112981
研究報告ソフトウェア工学（SE）
2018-SE-199
28
1
8
https://ipsj.ixsq.nii.ac.jp/record/190441/files/IPSJ-SE18199028.pdf
application/pdf
920.7 kB
2020-07-11