Espace membre :
  • Clubic Connect
  • inscription clubic
flechePublicité

Forum Débat sur l'actu
85 messages
<<
<
4
5
Filtrer ok

Quand Torvalds tance les fans de sécurité informatique

le 26 Juill. 08 à 02h33
 
silverlight a écrit:
Il faut se mefier de tout programme que se dit sans bug... Tant que le code sera ecrit par des humains il y aura des bugs, aussi bons soient-ils.
Heuu non c'est pas tout a fait vrai, des programmes sans bug ca existe ... Mais le probleme c'est quand on utilise un programme sans bug hors du contexte pour lequel il a ete cree, c'est la que les problemes arrivent ... on peut difficilement prevoir des cas d'erreurs lorsqu'ils ne sont jamais presentes ... au niveau code on peut faire du zero bug, mais lorsque le programme baigne dans un systeme qui n'a pas ete concu de la meme facon, forcement le maillon faible entrainera tout avec lui ...
Edité le 26/07/2008 à 02:35
Retour à la news Quand Torvalds tance les fans de sécurité informatique
 
 
le 26 Juill. 08 à 10h54
 
Exactement, la programmation sans bug existe mais uniquement dans le cadre d'un contexte bien délimité, quand on sait qu'on n'est pas aggressé en plein milieu par des tas d'autres parametres inconnus.

Ce type de programmation utilise des démonstrations mathématiques et des preuves formelles afin de "prouver" un algorithme. Du moment où on sait qu'un programme est mathématiquement bon, on sait qu'il n'a pas de bugs.

Pourquoi alors tout le monde ne fait pas comme ça ? Parce que prouver de cette manire de la validité d'un programme est long et difficile. Il est réservé aux systèmes vitaux.

La Ligne 14 du métro Parisien est entièrement automatisée. Son programme de supervision a été développé en langage B et a été prouvé de façon formelle. Dans le cadre d'une utilisation normale, on est sûrs que le programme de la Ligne 14 ne plantera jamais. Bien sur après y a d'autres contraintes qui font que comme tout ligne, la ligne 14 pourrait avoir potentiellement des accidents (pépin matériel ou autre). Mais on sait que cela ne viendra jamais du côté du programme.
 
 
le 28 Juill. 08 à 13h44
 
Comme d'hab', après 3 pages de débat, on est complètement à côté du sujet initial.

Le petit coup de griffe de Torvalds, fait tout de même bien rigoler ... le journal d'OpenBSD est tellement secoué qu'il n'en parle même pas.
C'est dire l'importance du propos !

P.S.: Le B pour la ligne 14 c'est uniquement pour le coeur de traitement, le reste du code n''est heureusement pas écrit en B.
 
 
le 28 Juill. 08 à 13h56
 
Zratul: on peut utiliser des langages formels dans d'autres contextes, et on le fait
 
 
Contacter le membreVoir profil
Membre983824
 
 
     
85 messages
<<
<
4
5
Filtrer ok
Vous devez être connecté pour écrire un message !

Forum Débat sur l'actu

BE GEEK ! Avec

flechePublicité