Test oracle

A source of expected results or properties that decides whether observed behavior is correct for a test.

Also known as oracle