J'ai
choisi d'illustrer la necessité de tester le code avec le crash
d'Ariane 5 en 1996. Ce crash est assez représentif des "mauvaises
habitudes de codages", dont les conséquences peuvent être
assez catastrophique. Comment une simple affectation peut elle provoquer
un bug à 5 millions de $ ? |
Ariane 5 au décollage. |
et après
39s de vol.... |
Ce
crash est le résultat d'une succesion d'erreurs techniques
et stratégiques. Le calculateur en cause était chargé
de fournir des données au coeur du contôle de vol.
Il avait était développé pour Ariane 4, et
avait effectué sans problèmes plusieurs vols. |
Donc
voici une erreur qui pourrait paraître anodine. Mais cet exemple
montre bien que rien ne doit être laissé au hasard et que
le code doit être implémenter rigoureusement, maîtrisé,
et surtout vérifié. |