L'informatique malade des lignes de code
ainsi va le titre d'un article de science et vie (02/2011 n°T02578).
J'ai récupéré quelques passages pour vous, je vous laisse lire l'article pour la totalité.
"... la capacité des informaticiens à construire des logiciels fiables et expurgés d'erreurs n'est jamais parvenue à suivre le rythme imposé (par la vitesse de progression du matériel)."
et d'expliquer que l'informatique omniprésente sur tous nos systèmes et objets multiplie les lignes de codes et donc la probabilité des bugs. Le plus grand risque étant constitué par la mise en réseau des objets dans un super internet.
Plus de 7000 langages de développement informatique ont été inventés et utilisés depuis que l'informatique existe. De ceux proches du code machine à ceux proches de la langue parlée. Le C restant le plus utilisé et un des plus subtil "... et, par conséquent, propice aux confusions."
Guillaume Brat, ingénieur logiciel à la Nasa dit : "Cette tâche (la vérification du code) occupe 88% de notre temps, le reste étant seulement dévolu à l'écriture du code"
Patrick Godefroid de Microsoft : "De manière générale, on observe sur les logiciels courants entre 1 et 10 bugs dans chaque millier de lignes de code". Imaginez le nombre de bug potentiels de nos systèmes d'exploitation super mastoc.
"Les erreur de programmation coûteraient 150 milliards de dollars par an uniquement en Europe."
De débattre sur les logiciels de vérification de non erreur dans le code basé sur une modélisation et sur des "méthodes formelles".
La fin de l'article appuie sur le risque constitués par la mise en réseau des objets intelligent (avec un logiciel embarqué) et les risques ingérables de bugs provoqué par des systèmes différents communiquant ensemble qui "... pourrait bien devenir le principal frein à ces avancées..."
Partager