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
