test oracle

Concept

In the provided HOL-TestGen case-study evidence, a test oracle is an instantiated test case produced during test generation and converted into test driver code for execution against a system under test.

First seen 5/25/2026

Last seen 5/26/2026

Evidence 1 chunks

Wiki v1

WIKI

Definition

In the cited HOL-TestGen test-program-generation workflow, the term test oracle is used for an instantiated test case: the test execution phase "converts the instantiated test cases ("test oracles") to test driver code" that is run against the system under test (SUT). This usage ties the oracle to executable testing infrastructure rather than describing it only as an abstract expected-result predicate.

Role in the generation workflow

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

1 connections

symbolic test case generation part of → 85% 1e

Test oracles are produced as part of the symbolic test case generation process.

LINKED ENTITIES

1 links

HOL-TestGen uses_concept The evidence states that HOL-TestGen has a standard way to represent sequence test specifications and describes its generation and execution workflow in which instantiated test cases are called test oracles.

CITATIONS

5 sources

5 citations — click to expand

[1] The cited workflow calls instantiated test cases "test oracles" and converts them to test driver code run against the SUT. Test Program Generation for a Microprocessor: A Case Study

[2] The workflow includes partitioning an input/output relation, selecting test data with constraint solving, random generation, and Z3, and then executing generated test driver code. Test Program Generation for a Microprocessor: A Case Study

[3] Sequence-test-oriented approaches use temporal or automata-based specifications, and in processor test program generation the processor state is an important element of the test description. Test Program Generation for a Microprocessor: A Case Study

[4] HOL-TestGen uses monads, specifically a state-exception monad, to support sequence test specifications in HOL. Test Program Generation for a Microprocessor: A Case Study

[5] A valid test sequence is described as having no exception and a postcondition that evaluates true for observed output; mbind feeds a list of inputs into the SUT and stops when an error occurs. Test Program Generation for a Microprocessor: A Case Study