Discussion :

[hasnaouiwafa]

Salut à tous,


Mon mémoire consiste à réaliser un jeu de problème algorithmique (on demande le problème, le programme solution un jeu exhaustif de tests et les réponses correspondantes)


SVP, quelle est la signification de " jeu exhaustif de test" ?


Merci.

[ToTo13]

Bonjour,

d'un point de vu étymologique, cela signifierait que dans le jeux on doivent faire tous les tests possible pour trouver la solution.

[hasnaouiwafa]

Bonjour,

d'un point de vu étymologique, cela signifierait que dans le jeux on doivent faire tous les tests possible pour trouver la solution.

merci pour votre réponse, mais comme je l'ai mentionné on demande un test exhaustif pour un algorithme.

[3DArchi]

Je pense qu'il s'agit plutôt de fournir avec ton programme un document résumant tout les tests que tu as déroulé pour le valider (jeu de test) avec une contrainte 'exhaustif' que je serais bien en peine de définir rigoureusement en informatique....
Un exemple :

le problème : calculer l'arccos d'un angle en degré

le programme solution :
MonProgramme(v1)
Debut
Si v1 entre -1 et 1
Résultat = acos(v1)
sinon
Erreur
Fin

un jeu de tests :
cas basique :
(1) MonProgramme avec .15
Aux bornes :
(2) MonProgramme avec -1
(3) MonProgramme avec 1
cas d'erreurs :
(4) MonProgramme avec -100
(5) MonProgramme avec 100

les réponses correspondantes :
(1) : 81
(2) : 180
(3) : 0
(4) : Erreur
(5) : Erreur.

Le jeu de tests est supposé balayer les cas standards, les cas aux limites, les cas d'erreurs. Ce qui me gène est exhaustif. Car les tests sont données en fonction des spécifications de ton algorithme. En ce sens, à une contrainte/hypothèse de spécification correspond des tests.
Exhaustif ne veut rien dire pour moi.
Le prof a mal formulé son exigence car elle n'est pas testable : comment prouver que le jeu de test est exhaustif ? Or toute exigence doit être testable...

[gorgonite]

Le jeu de tests est supposé balayer les cas standards, les cas aux limites, les cas d'erreurs. Ce qui me gène est exhaustif. Car les tests sont données en fonction des spécifications de ton algorithme. En ce sens, à une contrainte/hypothèse de spécification correspond des tests.
Exhaustif ne veut rien dire pour moi.
Le prof a mal formulé son exigence car elle n'est pas testable : comment prouver que le jeu de test est exhaustif ? Or toute exigence doit être testable...

ben non, tu codes le fonctionnement dans une certaine logique, et tu passes un model-checker en prenant soin de vérifier les états accessibles... c'est TRES exhaustif tant qu'on travaille sur domaine non abstrait, et ça donne direct le chemin menant au bug trouvé

[3DArchi]

ben non, tu codes le fonctionnement dans une certaine logique, et tu passes un model-checker en prenant soin de vérifier les états accessibles... c'est TRES exhaustif tant qu'on travaille sur domaine non abstrait, et ça donne direct le chemin menant au bug trouvé

Oui, tu peux être exhaustif en terme de couverture de code mais pas en terme d'exigences.