Pour faire un programme "solide" tu as deux stratégies:
1) Ne pas avoir de bugs ou de faille de sécu, ou au moins les minimiser
2) Gérer les bugs, les failles, de manière à minimiser leur impacts
Pour le 1, le gros soucis c'est qu'on a aucune méthode viable pour garantir le "zéro bugs", le testing ne peut pas tout couvrir sur des logiciels complexes, et les méthodes formelles, pour faire des programmes prouvés, sont lourdes et pas forcément complètes ... D'ailleurs je suis pas sûr qu'elles sont capables de gérer des problématiques comme celle de la gestion mémoire. Et qu'on ne peut pas garantir le code "externe", genre les plugins.
Conclusion, le point 1 est loin d'être trivial à atteindre en pratique ... donc le point 2 vient en complément. Est-ce une solution de facilité ? Je crois pas, c'est une méthode plutôt éprouvée pour minimiser l'impact d'une erreur d'isoler les choses ... appliquée dans l'embarqué par exemple.
[^] # Re: Emacs est mort. Paix à son âme. Google Chrome est né ! Vive Chrom
Posté par thoasm . En réponse au journal Chrome, le futur navigateur de Google. Évalué à 4.
1) Ne pas avoir de bugs ou de faille de sécu, ou au moins les minimiser
2) Gérer les bugs, les failles, de manière à minimiser leur impacts
Pour le 1, le gros soucis c'est qu'on a aucune méthode viable pour garantir le "zéro bugs", le testing ne peut pas tout couvrir sur des logiciels complexes, et les méthodes formelles, pour faire des programmes prouvés, sont lourdes et pas forcément complètes ... D'ailleurs je suis pas sûr qu'elles sont capables de gérer des problématiques comme celle de la gestion mémoire. Et qu'on ne peut pas garantir le code "externe", genre les plugins.
Conclusion, le point 1 est loin d'être trivial à atteindre en pratique ... donc le point 2 vient en complément. Est-ce une solution de facilité ? Je crois pas, c'est une méthode plutôt éprouvée pour minimiser l'impact d'une erreur d'isoler les choses ... appliquée dans l'embarqué par exemple.