Tu dis une chose et son contraire dans le même texte. Avec des méthodes de vérification, on arrive actuellement à prouver un petit nombre de propriétés d'un programme, voire la correction d'un petit programme, mais guère plus. C'est insuffisant dès lors que le programme va être utilisé pour des applications importantes, en particulier si un bug peut avoir des effets désastreux (pas forcément en vies humaines : le bug du Pentium a coûté cher à Intel en relations publiques). C'est aussi insuffisant dès lors que le milieu dans lequel on va utiliser le programme est difficile à simuler.
[^] # Re: Se passer des tests ...
Posté par ɹǝıʌıʃO . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 1.