• DocumentCode
    1344840
  • 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.
  • Issue
    3
  • fYear
    1979
  • Firstpage
    233
  • Lastpage
    240
  • 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;
  • fLanguage
    English
  • Journal_Title
    Reliability, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9529
  • Type

    jour

  • DOI
    10.1109/TR.1979.5220574
  • Filename
    5220574