Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Combinatorial Methods for Trust and Assurance

Automated Testing

One of the central problems in testing is determining what output should be expected for a given set of inputs.  This question is known as the "test oracle problem".  When a test oracle must be determined manually, testing becomes extremely expensive and time consuming.  Thus a component of any test process must be efficient solutions to the oracle problem. This section discusses a variety of approaches to solving the oracle problem and reducing test cost. 

  • Automated Test Generation
  • Oracle-free Testing

 

Contacts

Rick Kuhn, NIST
Address: https://www.nist.gov/people/d-richard-kuhn

Raghu Kacker, NIST
301-975-2109
Address: http://math.nist.gov/~RKacker/

M S Raunak, NIST

Topics

Security and Privacy: assurance, modeling, testing & validation

Technologies: semiconductors, software & firmware

Created May 24, 2016, Updated November 01, 2024