Verification method of reliability requirements
Satsuki Yamada, Takayuki Omori, Atsushi Ohnishi · Procedia Computer Science · 2019
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.