Guidelines on Minimum Standards for Developer Verification ...

← Back to document page

NISTIR 8397Guidelines on Minimum Standards forDeveloper Verification of SoftwarePaul E. BlackBarbara GuttmanVadim OkunThis publication is available free of charge from: 8397Guidelines on Minimum Standards forDeveloper Verification of SoftwarePaul E. BlackBarbara GuttmanVadim OkunSoftware and Systems DivisionInformation Technology LaboratoryThis publication is available free of charge from: Department of Commerce Gina M. Raimondo, Secretary National Institute of Standards and Technology James K. Olthoff, Performing the Non-Exclusive Functions and Duties of the Under Secretary of Commerce for Standards and Technology & Director, National Institute of Standards and Technology Certain commercial entities, equipment, or materials may be identified in this document in order to describean experimental procedure or concept adequately. Such identification is not intended to implyrecommendation or endorsement by the National Institute of Standards and Technology, nor is it intended toimply that the entities, materials, or equipment are necessarily the best available for the publication is available free of charge from: Institute of Standards and Technology Interagency or Internal Report 8397 Natl.

rects the National Institute of Standards and Technology (NIST) to recommend minimum standards for software testing within 60 days. This document describes eleven recommen-dations for software verification techniques as well as providing supplemental information about the techniques and references for further information. It recommends the ...

  Standards, Minimum, Minimum standards