Moui... Je tiens à nuancer un petit peu. En fait, quand on fait de la preuve de programme, on prouve qu'un programme est correct vis-à-vis d'une spécification. Donc tout dépend de ladite spécification.
Tout à fait d'accord avec ça. (et le reste aussi)
C'était juste pour pointer du doigt que la preuve et l'etiquette "Zéro Bug" n'assurera pas obligatoirement le comportement voulu par l'utilisateur, mais uniquement le comportement qui a été spécifié, raffiné, prouvé ...
[^] # Re: Pas exactement
Posté par TiTiX . En réponse au journal La sécurité informatique au 20h de TF1. Évalué à 1.
Tout à fait d'accord avec ça. (et le reste aussi)
C'était juste pour pointer du doigt que la preuve et l'etiquette "Zéro Bug" n'assurera pas obligatoirement le comportement voulu par l'utilisateur, mais uniquement le comportement qui a été spécifié, raffiné, prouvé ...
--
TiTiX