J'ai pourtant cru être clair : les tests "non formels" apporteront un degré de confiance dans ce cas précis, là où la méthode formelle ne te donnera aucun degré. C'est ON/Off : prouvé/pas prouvé. Ca marche tout le temps, ou pas. Y'a pas de milieu. Ben dès fois la spec elle dit qu'il faut que ca marche 95% du temps dans des conditions normales d'utilisation. Ben ca la méthode formelle peut pas m'aider.
[^] # Re: Se passer des tests ...
Posté par TImaniac (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.