Verifica del Programma

Alfa-Test

Completata la fase di codifica, il programmatore si ritrova con un programma neonato, che muove i primi timidi passi. Inizia così la fase di test. Un programma, se non è una semplice esercitazione, è sempre qualcosa di così grosso da non poter essere sicuri di non aver fatto alcun errore; ed ecco quindi la necessità di una accurata fase di test tesa a scoprire il maggior numero di difetti possibile.

Il meccanismo stesso del test ha però un intrinseco difetto: non sarà mai possibile verificare il comportamento di un programma di fronte a tutte le possibili situazioni; è stato dimostrato che servirebbe un computer grande come l’universo e tutto il tempo dell’universo stesso anche per testare esaustivamente programmi semplici come le subroutine di moltiplicazione in floating-point.

Il test ha successo solo se fa scoprire un errore, non quando viene superato senza problemi. Molto spesso la mancata rilevazione di errori viene confusa con l’assenza di errori in senso assoluto, confidando così in una qualità ben più elevata di quella reale.