A Method of Verifying Time-Response Requirements

Yuma MATSUMOTO  Takayuki OMORI  Hiroya ITOGA  Atsushi OHNISHI  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E101-D   No.7   pp.1725-1732
Publication Date: 2018/07/01
Online ISSN: 1745-1361
DOI: 10.1587/transinf.2017KBP0010
Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
non-functional requirements,  NFR,  time-response requirements,  requirements frame,  verification of non-functional requirements,  

Full Text: PDF(1.7MB)
>>Buy this Article


Summary: 
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 propose a verification method of non-functional requirements specification in terms of time-response requirements written with a natural language. We established 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.