Anche se i test possono determinare la correttezza del software nell' ipotesi di alcune ipotesi specifiche (vedere la gerarchia delle difficoltà di test qui di seguito), i test non possono identificare tutti i difetti all' interno del software. Al contrario, fornisce una critica o un confronto che mette a confronto lo stato e il comportamento del prodotto con i principi oracoli o meccanismi attraverso i quali qualcuno potrebbe riconoscere un problema. Questi oracoli possono includere (ma non sono limitati a) specifiche, contratti, prodotti comparabili, versioni precedenti dello stesso prodotto, inferenze sullo scopo previsto o previsto, aspettative dell' utente o del cliente, standard pertinenti, leggi applicabili o altri criteri.
Cosa compongono l' oracolo durante il test?
specifiche, contratti, prodotti comparabili, versioni precedenti