raisonnement hypothèse et test
- Domaine
-
- informatique analyse en programmation informatique
Définition :
Stratégie de raisonnement qui consiste, pour un problème donné, à produire une hypothèse de solution et à vérifier la véracité ou la pertinence de celle-ci.
Note :
Dans le contexte ((de l'entrée principale)), l'adéquation entre le terme d'entrée et l'attestation fournie en contexte n'était pas parfaite. Deux éléments étrangers au terme : « du » et « type », ont été supprimés pour ramener le syntagme à la forme « raisonnement hypothèse et test ».
Termes :
- raisonnement hypothèse et test n. m.
- procédure générer-et-tester n. f.
Traductions
-
anglais
Auteur : Université Laval,Termes :
- generate-and-test method
- generate-and-test procedure