Mon programme est-il correct ?

Quoi de plus naturel, après avoir écrit un programme, que de le faire “tourner” pour vérifier que “çà marche” ? Il faut toutefois garder en tête cet avertissement de Dijkstra : “Le test de programmes permet de prouver la présence de bugs, non leur absence”. En effet, dès qu'un programme est un peu complexe et le champ de ses données un peu étendu, le nombre de chemins possibles d'exécution est tel qu'il rend vain tout espoir de les  explorer tous. En termes plus techniques, le taux de couverture, rapport entre le nombre de configurations explorées par le test et le nombre total de configurations possibles, est généralement inférieur à 100%.

*** à compléter ***