Correction des erreurs de Mise au point et La preuve de programme

Les tests

In theory, there is no difference between theory and practice, but in practice there is a great deal of difference.

Même si l'on utilise une méthode rigoureuse de conception et de preuve de programme, personne n'est à l'abri d'une faute de frappe, d'une étourderie qui peut compromettre les résultats d'un long et difficile travail.

Il faut donc prévoir, parallèlement au programme, un ensemble de tests (entrées + sorties attendues) permettant de détecter au plus tôt les fonctionnements anormaux. Ces tests devront être conçus pour que chaque instruction du programme soit exécutée au moins une fois.