Verifica a tavolino

La verifica a tavolino è il processo di revisione manuale del codice sorgente di un programma. Consiste nel leggere le funzioni presenti nel codice e testarle manualmente, spesso con più valori di input. Gli sviluppatori possono verificare a tavolino il proprio codice prima di rilasciare un programma software, per assicurarsi che gli algoritmi funzionino in modo efficiente e corretto.

Il termine "verifica a tavolino" si riferisce all'approccio manuale alla revisione del codice sorgente (seduti a una scrivania), invece di eseguirlo tramite un debugger o un altro processo automatizzato. In alcuni casi, un programmatore può persino usare carta e matita per registrare il processo e l'output delle funzioni all'interno di un programma. Ad esempio, lo sviluppatore può tenere traccia del valore di una o più variabili in una funzione dall'inizio alla fine. Esaminare manualmente il codice riga per riga può aiutare un programmatore a individuare una logica errata o inefficienze che un debugger software potrebbe non rilevare.

Sebbene la verifica a tavolino sia utile per individuare errori logici e altri problemi nel codice sorgente di un programma, richiede molto tempo ed è soggetta all'errore umano. Pertanto, un IDE o uno strumento di debug è più adatto a rilevare piccoli problemi, come gli errori di sintassi. È inoltre utile che più di uno sviluppatore verifichi a tavolino un programma, per ridurre la probabilità che vengano trascurati errori nel codice sorgente.