Verification method of reliability requirements | Zendy

Satsuki Yamada | Zendy; Takayuki Omori | Zendy; Atsushi Ohnishi | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Verification method of reliability requirements

Author(s) -

Satsuki Yamada,

Takayuki Omori,

Atsushi Ohnishi

Publication year - 2019

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.2019.09.245

Subject(s) - computer science , requirements analysis , redundancy (engineering) , completeness (order theory) , reliability engineering , software requirements specification , non functional requirement , software quality , reliability (semiconductor) , software requirements , functional requirement , non functional testing , requirements elicitation , software , software engineering , software development , software design , software construction , programming language , mathematical analysis , power (physics) , physics , mathematics , quantum mechanics , engineering , operating system

It is very important to certify the accuracy of non-functional requirements in software development. In this paper, we focus on reliability requirements. We can correctly obtain reliability requirements from software requirements documents by using keywords related to reliability requirements. Retrieved requirements will be checked using a requirements frame model in order to verify the consistency, non-redundancy, unambiguity and completeness of these requirements. Our 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