Un oracolo è un meccanismo usato nel collaudo del software e nell'ingegneria del software per determinare se un test ha avuto successo o è fallito.Kaner, Cem; A Course in Black Box Software Testing , 2004 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.Miller, Edward; and Howden, William E.; Software Testing and Validation Techniques, Long Beach, CA: IEEE Computer Society Press, 1978 (first edition), pp. 16-19 Lavori addizionali su diversi tipi di oracoli sono stati studiati da Weyuker.Weyuker, Elaine J.; "The Oracle Assumption of Program Testing", inProceedings of the 13th International Conference on System Sciences (ICSS), Honolulu, HI, January 1980, pp. 44-49 Gli oracoli sono solitamente separati dai sistemi oggetto di collaudo.Jalote, Pankaj;An Integrated Approach to Software Engineering, Springer/Birkhäuser, 2005, ISBN 0-387-20881-X Le postcondizioni di un metodo vengono solitamente utilizzate come oracoli automatici nell'ambito dei test automatici di classi.Meyer, Bertrand; et al.; "Programs that Test Themselves", IEEE Computer, 42:9 (September 2009), pp. 46-55
Gli oracoli più comuni includono:
specifiche e documentazione, 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,Hoffman, Douglas;Heuristic Test Oracles , Software Testing & Quality Engineering Magazine, 1999 un oracolo statistico che utilizza caratteristiche statistiche,Mayer, Johannes; and Guderlei, Ralph;Test Oracles Using Statistical Methods un oracolo consistente che confronta i risultati dell'esecuzione di un test con quelli di un altro simile,Hoffman, Douglas;Analysis of a Taxonomy for Test Oracles , Quality Week, 1998 un oracolo basato sui modelli che utilizza modelli simili per generare e verificare il comportamento di un sistemaRobinson, Harry;Finite State Model-Based Testing on a Shoestring, STAR West 1999 o il giudizio di un essere umano (ad esempio, il programma sembra fornire il corretto risultato?).
Note
Bibliografia Robert V. Binder, (1999). "Chapter 18 - Oracles" in Testing Object-Oriented Systems: Models, Patterns, and Tools, Addison-Wesley Professional, 7 November 1999, ISBN 978-0-201-80938-1
Categoria:Ingegneria del software