Écrire un programme, c’est bien. Écrire un programme juste, c’est mieux. La panacée serait de pouvoir prouver tous les programmes que l’on écrit, mais outre que ce n’est pas forcément évident (certes il y a le langage COQ qui permet une telle chose mais n’est pas forcément accessible au premier venu), on n’est jamais à l’abri d’une erreur de frappe qui nous fait lire ce que l’on voudrait lire et non ce qui est réellement écrit dans le code.
C’est pourquoi il est intéressant (bien que non suffisant en général) de tester les bouts de code que l’on écrit sur des cas particuliers pour lesquels on connait bien le résultat attendu.