Page "Software testing" Paragraph 8

Testing can never completely identify all the defects within software.

Instead, it furnishes a criticism or comparison that compares the state and behavior of the product against oracles — principles or mechanisms by which someone might recognize a problem.

These oracles may include ( but are not limited to ) specifications, contracts, comparable products, past versions of the same product, inferences about intended or expected purpose, user or customer expectations, relevant standards, applicable laws, or other criteria.