Mon programme est-il correct ?

Mon programme fait-il bien ce que je voudrais qu'il fasse ? Cette question simple est au cœur de l'informatique, et c'est l'une des plus difficiles. Ce parcours montre les efforts menés pour tenter d'y répondre.

Sections

Introduction

Qu'est-ce qu'un programme correct ?

Spécification

Comment décrire ce que doit faire un programme ?

Développement des programmes

Comment construire des programmes corrects ?

Méthodes de test

Si mon programme a réussi tous les tests, peut-on dire qu'il est correct ?

Analyse statique

Comment comprendre ce que fait un programme sans l'exécuter ?

Preuves de programmes

Peut-on démontrer qu'un programme est correct ?

Il y a un bug !

Malgré tous les efforts faits pour produire des programmes corrects, il arrive que des erreurs y subsistent. Les conséquences peuvent en être désagréables, voire catastrophiques.