Guillaume Portails – Son accès, Macrodur et la fin du code –
AuteursDocuments: Michel Demonfaucon
l33p23-Architecture distribuée et génie logiciel français
Architecture distribuée et génie logiciel français – Impacts sociaux-professionnels
l33p22-Fiabilité des programmes informatiques
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.