Title :
Improved Software Reliability Through Requirements Verification
Author :
Fischer, Kurt F. ; Walker, Michael G.
Author_Institution :
Computer Sciences Corporation, 6565 Arlington Blvd.; Falls Church, VA 20046 USA.
Abstract :
Requirement errors discovered early in the development process are several orders of magnitude less expensive to fix than if these same errors are discovered late in the development process. Therefore, it is expedient to investigate methods for discovering requirement errors early in the development process. This article decribes a technique to improve software reliability through verifying requirements early in the software development process. The technique involves the generation of a System Verification Diagram (SVD) for each set of functional requirements. The prime purpose of developing SVDs is to serve as a tool for verifying the functional consistency and completeness of a requirement specification. In so doing, it also becomes an excellent communication device for reviewing the requirements to assure that customer needs are not inaccurately portrayed.
Keywords :
Design engineering; Graph theory; Life testing; Mathematical programming; Reliability engineering; Reliability theory; Software reliability; Software systems; Software testing; System testing; Requirement verification; Software reliability;
Journal_Title :
Reliability, IEEE Transactions on
DOI :
10.1109/TR.1979.5220574