For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
A Method of Verifying Time-Response Requirements
Yuma MATSUMOTO Takayuki OMORI Hiroya ITOGA Atsushi OHNISHI
IEICE TRANSACTIONS on Information and Systems
Publication Date: 2018/07/01
Online ISSN: 1745-1361
Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
non-functional requirements, NFR, time-response requirements, requirements frame, verification of non-functional requirements,
Full Text: PDF(1.7MB)
>>Buy this Article
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.