[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:
[1] NASA Automated Requirement Measurement Tool