A Method for Verifying Non-Functional Requirements

被引：7

作者：

Matsumoto, Yuuma ^{[1
]}

Shirai, Sayaka ^{[1
]}

Ohnishi, Atsushi ^{[1
]}

机构：

[1] Ritsumeikan Univ, Dept Comp Sci, Kusatsu 5258577, Japan

来源：

KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS | 2017年 / 112卷

基金：

日本学术振兴会;

关键词：

Non-functional requirements; Time-Response requirements; Usability requirements; Requirements frame; Verification of non-functional requirements;

D O I：

10.1016/j.procs.2017.08.006

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In order to verify the correctness of functional requirements, we have been developing a verification method of the correctness of functional requirements specification using the Requirements Frame model. In this paper, we introduce a verification method of non-functional requirements specification, especially time-response requirements and usability requirements written with a natural language. We establish a verification method by extending the Requirements Frame model. We have also developed a prototype system based on the method using Java. The extended Requirements Frame model and the verification method will be illustrated with examples. (C) 2017 The Authors. Published by Elsevier B.V.

引用

页码：157 / 166

页数：10