2024-03-29T03:30:31Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001904412023-04-27T10:00:04Z01164:01384:09436:09522
要求文書からの信頼性要求の抽出と検証Derivation and Verification Method of Reliability Requirementsjpnhttp://id.nii.ac.jp/1001/00190353/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=190441&item_no=1&attribute_id=1&file_no=1Copyright (c) 2018 by the Information Processing Society of Japan立命館大学/(株)ファンコミュニケーションズ立命館大学立命館大学山田, さつき大森, 隆行大西, 淳非機能要求が正しく記述されていることを確認することはソフトウェア開発において重要である.ここでは信頼性に焦点を当て,ソフトウェア要求文書から信頼性要求に関わる検索キーワードを定め,それらのキーワードによって信頼性要求が漏れなく検索できることを確認する.また検索された信頼性要求の無矛盾性 ・ 非冗長性 ・ 非曖昧性 ・ 完全性を格構造に基づいて検証する手法を提案し,例題を用いて提案手法を説明する.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 examplesAN10112981研究報告ソフトウェア工学(SE)2018-SE-19928182018-07-112188-88252018-07-09