Quote: test by a pseudo-oracle which independently implements a program and compare results; use a very high level language

Quotation Skeleton

A pseudo-oracle is an independently produced program intended … produced in parallel by totally independent programming teams, … must satisfy some predetermined test data adequacy criterion. … original program is considered to be validated. [use very high level language for pseudo-oracle eg SETL or PROLOG so have quick solutions.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: set-oriented languages (20 items)
Topic: resourceful, redundant systems for reliability (35 items)