Testing oracles and expected behaviour

Knowledge package outline

Topic

Computation and software foundations

Purpose

Separates running code from knowing its answer is correct.

Package contents

Oracle types; small verified cases; ambiguous requirements.

Dependencies

Programming; logic.