l33p22-Fiabilité des programmes informatiques

l33p22-Fiabilité des programmes informatiques 3

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.