要求文書からの信頼性要求の抽出と検証

• Item type: SIG Technical Reports(1)
• 公開日: 2018-07-11
• タイトル: 要求文書からの信頼性要求の抽出と検証
• タイトル / 言語: en
• タイトル: Derivation and Verification Method of Reliability Requirements
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 立命館大学／（株）ファンコミュニケーションズ
• 著者所属: 立命館大学
• 著者所属: 立命館大学
• 著者所属(英): en
• 著者所属(英): Ritsumeikan University / F@N Communications, Inc.
• 著者所属(英): en
• 著者所属(英): Ritsumeikan University
• 著者所属(英): en
• 著者所属(英): Ritsumeikan University
• 著者名: 山田, さつき; 大森, 隆行; 大西, 淳
• 著者名(英): Satsuki, Yamada; Takayuki, Omori; Atsushi, Ohnishi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 非機能要求が正しく記述されていることを確認することはソフトウェア開発において重要である．ここでは信頼性に焦点を当て，ソフトウェア要求文書から信頼性要求に関わる検索キーワードを定め，それらのキーワードによって信頼性要求が漏れなく検索できることを確認する．また検索された信頼性要求の無矛盾性 ・ 非冗長性 ・ 非曖昧性 ・ 完全性を格構造に基づいて検証する手法を提案し，例題を用いて提案手法を説明する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2018-SE-199, 号 28, p. 1-8, 発行日 2018-07-11
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8825
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会