Guillaume Portails – Son accès, Macrodur et la fin du code –

Architecture distribuée et génie logiciel français – Impacts sociaux-professionnels

Fiabilité des programmes informatiques
« La Science », de janvier 1993, a publié un article de Bev Littlewood et Lorenzo Strigini intitulé « La fiabilité des programmes informatiques ».
L’article est fort intéressant et contient de bonnes réflexions et incitations à la prudence au sujet des tests. On ne teste jamais assez, sauf quand cela devient trop cher. Mais une phrase m’inquiète : « En théorie, on peut créer un logiciel parfait ».
Et bien, c’est faux. D’abord parce qu’il faut dans ce cas définir le mot parfait.