Mais sinon, l'equivalence logiciel a code ouvert <-> binaire ferme, a partir d'une certaine taille elle est en fait totale parce qu'a partir d'une certaine taille, il est absolument impossible de garantir que le code est 'ok'.
Il y a une différence entre certifier que tout un code est ok, ou certifier qu'une partie/la plupart du code est correct.
L'équivalence n'existe pas : dans l'un tu peux vérifier un minimum, tu peux sélectionner des parties et les approfondir, tu peux faire de l'analyse automatique, ...
Sur l'autre non.
[^] # Re: Et tu aurais voulu qu'ils fassent quoi d'autre ?
Posté par briaeros007 . En réponse au journal Microsoft : pbpg a-t-il eu une attaque ? "Votre vie privée est notre priorité". Évalué à 3.
Il y a une différence entre certifier que tout un code est ok, ou certifier qu'une partie/la plupart du code est correct.
L'équivalence n'existe pas : dans l'un tu peux vérifier un minimum, tu peux sélectionner des parties et les approfondir, tu peux faire de l'analyse automatique, ...
Sur l'autre non.