The SAMATE Project Department of Homeland Security

Requirements Verification Tools

From SAMATE


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] http://satc.gsfc.nasa.gov/tools/index.html Home page for the NASA Automated Requirement Measurement Tool


Views