Prouver un programme ne dispense pas de le tester (souvenir de mon module de tests en M2 : Intel avait une preuve de correction pour l'instruction FDIV du Pentium 1...). Les tests seront toujours là pour ce que les preuves ne peuvent pas prévoir. Évidemment, il y a une énorme marge pour remplacer des tests par des preuves là où c'est approprié.
[^] # Re: Se passer des tests ...
Posté par ɹǝıʌıʃO . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 3.