NOTICE: Due to a lapse in annual appropriations, most of this website is not being updated. Learn more.

Form submissions will still be accepted but will not receive responses at this time. Sections of this site for programs using non-appropriated funds (such as NVLAP) or those that are excepted from the shutdown (such as CHIPS and NVD) will continue to be updated.

U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Information Technology Laboratory / Software and Systems Division

Software Quality Group

Requirements Verification Tools

Share

[SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources]

Software Requirements Verification Tools: The software requirements phase of the SLDC produces requirements documents that can be examined by SA tools. This area of software assurance is still in the domain of research, and a suite of widely-used, peer-reviewed software requirements analysis tools does not exist today. However, a list of functions gathered from previous work at NASA [1] provide a basis for describing the functionality that that such a class of tools should have. 

The functions of requirements verification tools include determining whether those requirements are: 

  • complete
  • consistent
  • correct
  • modifiable
  • ranked
  • traceable
  • unambiguous
  • understandable
  • verifiable

[1] NASA Automated Requirement Measurement Tool

Software research and Software testing
Created March 23, 2021, Updated May 17, 2021
Was this page helpful?