Conosco la definizione di un test oracle ma a me sembra che sia sopravvalutato. Ho una specifica, perché dovrei preoccuparmi di pensare agli oracoli? Ho solo confrontare ciò che la specifica vuole e ciò che fa il programma. O ho i casi d'uso, qualunque cosa. Quando leggo di oracoli nei libri, sembra una scienza a sé stante. C'è qualcosa di più dietro questo concetto? Forse non ho capito il suo punto.
Un oracolo consiste di un generatore e un comparatore. Qual è il significato del comparatore se si controlla se un output effettivo è uguale a un output atteso? In che altro modo potrebbe essere controllato?