Là, tu consideres que tu fais du test "boite noire" (c'est à dire sans connaitre l'implémentation). Si tu fais du test structurel, il est "relativement facile" de faire du test aux limites pour couvrir tous les cas.
Par exemple si tu as une fonction qui prend en param un entier (sans prendre en compte les considerations algorithmiques) tu lui file sizeof(int) et sizeof(int+1). L'exemple est volontairement simpliste, mais tu peux considerer que ton code est capable de manger tout les entiers qui passeront par là.
Le problème réside dans la définition des limites.
L'exemple ci-dessus va laisser passer un cas d'erreur si l'entier en question doit être utilisé pour diviser un autre nombre.
[^] # Re: I had a dream...
Posté par vieuxshell . En réponse au journal Comment résoudre la "crise du logiciel" ?. Évalué à 2.
Par exemple si tu as une fonction qui prend en param un entier (sans prendre en compte les considerations algorithmiques) tu lui file sizeof(int) et sizeof(int+1). L'exemple est volontairement simpliste, mais tu peux considerer que ton code est capable de manger tout les entiers qui passeront par là.
Le problème réside dans la définition des limites.
L'exemple ci-dessus va laisser passer un cas d'erreur si l'entier en question doit être utilisé pour diviser un autre nombre.
Alors de là a valider un interpreteur ....