A Method for Verifying Non-Functional Requirements | Zendy

Yuuma Matsumoto | Zendy; Sayaka Shirai | Zendy; Atsushi Ohnishi | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Method for Verifying Non-Functional Requirements

Author(s) -

Yuuma Matsumoto,

Sayaka Shirai,

Atsushi Ohnishi

Publication year - 2017

Publication title -

procedia computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.334

H-Index - 76

ISSN - 1877-0509

DOI - 10.1016/j.procs.2017.08.006

Subject(s) - computer science , correctness , functional requirement , non functional requirement , software requirements specification , requirements analysis , frame (networking) , programming language , usability , functional specification , functional verification , formal verification , system requirements , java , non functional testing , software engineering , system requirements specification , requirements management , software development , software , human–computer interaction , software design , operating system , software construction , telecommunications

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research