J'ai jamais dit que ce serait simple... mais si je prends le cas de l'interprêteur que tu cites : une saisie aléatoire donne un résultat quelconque => on fixe plus précisément les règles d'entrée du langage (sa grammaire dans un premier temps). On a alors le cas de ce qui valide la grammaire, et de ce qui ne le valide pas, etc. Sachant les règles d'entrée, mon IDE magique pourrait "cibler" ses simulations... Les différents essais ne serait pas nécessairement "vraiment" aléatoires, mais peut-être plus intelligents que ça...
Encore une fois, l'outil à tester-prévoir-gérer 100% des cas n'est pas encore écrit (j'imagine ça sur des traitements "lourds" : imagerie 3D, calculs scientifiques etc., où on ne peut pas faire à l'avance tous les calculs que le logiciel pourrait faire au long de sa vie, c'est aberrant)
D'où la question subsidiaire : si on ne peut pas tout tester, comme être fiable à 100% ?
[^] # Re: I had a dream...
Posté par qstone . En réponse au journal Comment résoudre la "crise du logiciel" ?. Évalué à 4.
Encore une fois, l'outil à tester-prévoir-gérer 100% des cas n'est pas encore écrit (j'imagine ça sur des traitements "lourds" : imagerie 3D, calculs scientifiques etc., où on ne peut pas faire à l'avance tous les calculs que le logiciel pourrait faire au long de sa vie, c'est aberrant)
D'où la question subsidiaire : si on ne peut pas tout tester, comme être fiable à 100% ?