L'ordinateur ne crée pas de fonctionnalité nouvelle, il ne fait qu'amplifier la puissance pré-existante du cerveau humain ; c'est ainsi que grâce à l'informatique, une erreur d'une seule personne peut avoir des conséquences catastrophiques sur des millions d'autres.J.P. Rosen
Quelle que soit le type de l'erreur, plus sa découverte est tardive, plus ses conséquences risquent d'être lourdes (non-satisfaction des clients, impact sur les produits issus du logiciel, pertes d'informations, risques divers pour les utilisateurs, etc).
C'est pourquoi il est fondamental de développer des méthodes de preuve et de test permettant de vérifier les programmes, et des outils de mise au point permettant de les corriger.