Oracle

• Oracle: a utility that checks to see whether or not the desired behavior f has been implemented correctly by some function, g. Oracles should be able to determine correctness for any input.

1. Human: an expert that can examine an input and its associated output and determine whether the program delivered the correct output for this particular input

2. Automated: a system capable of performing the above task.

• Typically, we have a partially automated oracle, as with regression testing

Previous slide

Next slide

Back to first slide

View graphic version