NIST logo
*

Software Assurance

Developing standards, conformance tests, and tools to ensure the quality of software and conformance to standards.

  • SAMATE (Software Assurance Metrics) -- This project supports the DHS Software Assurance Tools and R&D Requirements Identification Program. The objective of part 3, Technology (Tools and Requirements) is the identification, enhancement and development of software assurance tools. NIST is leading in (A) testing software evaluation tools, (B) measuring the effectiveness of tools, and (C) identifying gaps in tools and methods. More ...

  • Conformance Advisory and QA -- Conformance is usually defined as a way to determine if an implementation faithfully meets the requirements of a standard or specification. Determining whether a product faithfully implements a standard is essential to creating robust, interoperable solutions. The NIST/ITL Conformance Pages provide an online reference to documents, presentations, test suites related to conformance, conformance issues, and conformance-related topics. More ...

  • Dictionary of Algorithms and Data Structures (DADS) -- This is a dictionary of algorithms, algorithmic techniques, data structures, archetypal problems, and related definitions. Algorithms include common functions, such as Ackermann's function. Problems include traveling salesman and Byzantine generals. Some entries have links to implementations and more information. Index pages list entries by area and by type. The two-level index has a total download 1/20 as big as this page.

  • Test Method Research
  • Archived Research