Oracolo (sviluppo software)

Un oracolo è un meccanismo usato nel collaudo del software e nell'ingegneria del software per determinare se un test ha avuto successo o è fallito.^[1] Viene utilizzato confrontando l'output di un sistema sotto analisi, dato in ingresso uno specifico caso di test, con il risultato che il prodotto dovrebbe fornire (determinato dall'oracolo). Il termine è stato coniato ed usato per la prima volta in Introduction to the Theory of Testing di Howden.^[2] Lavori addizionali su diversi tipi di oracoli sono stati studiati da Weyuker.^[3] Gli oracoli sono solitamente separati dai sistemi oggetto di collaudo.^[4] Le postcondizioni di un metodo vengono solitamente utilizzate come oracoli automatici nell'ambito dei test automatici di classi.^[5]

Gli oracoli più comuni includono:

• specifiche e documentazione,^[6][7]
• altri prodotti (ad esempio, un oracolo per un programma software potrebbe essere un programma che usa un algoritmo differente per valutare la stessa espressione matematica oggetto di collaudo),
• un oracolo euristico che fornisce risultati esatti o approssimati per un determinato insieme di dati di collaudo in ingresso,^[8]
• un oracolo statistico che utilizza caratteristiche statistiche,^[9]
• un oracolo consistente che confronta i risultati dell'esecuzione di un test con quelli di un altro simile,^[10]
• un oracolo basato sui modelli che utilizza modelli simili per generare e verificare il comportamento di un sistema^[11]
• o il giudizio di un essere umano (ad esempio, il programma sembra fornire il corretto risultato?).^[4]