tu trouves à la main des vecteurs d'entrée, tu évalue ce que doivent être tes sorties et tu compares avec la sortie de ton code.Tu vis en 1970 ?
Dans le cas du test, tu es limité par les vecteurs d'entrée que tu trouves à la main alors qu'avec un moteur de preuve, tu as l'exhaustivité.Pour écrire ça, il faut :
* soit ne pas avoir lu ce que j'ai écrit juste avant ;
* soit choisir délibérément de n'en tenir aucun compte.
Bref, je laisse tomber. Comme dirait l'autre, ma patience a des limites, mais faut pas exagérer.
[^] # Re: Se passer des tests ...
Posté par ɹǝıʌıʃO . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 3.
tu trouves à la main des vecteurs d'entrée, tu évalue ce que doivent être tes sorties et tu compares avec la sortie de ton code.Tu vis en 1970 ?Dans le cas du test, tu es limité par les vecteurs d'entrée que tu trouves à la main alors qu'avec un moteur de preuve, tu as l'exhaustivité.Pour écrire ça, il faut :* soit ne pas avoir lu ce que j'ai écrit juste avant ;
* soit choisir délibérément de n'en tenir aucun compte.
Bref, je laisse tomber. Comme dirait l'autre, ma patience a des limites, mais faut pas exagérer.