Actualités

À la chasse aux bugs : les approches scientifiques pour une informatique plus sûre (Villeurbanne, 20/11)

Le 14 novembre 2015

La Maison du livre, de l’image et du son vous invite à une conférence

Gérard Berry, chercheur en informatique, lauréat 2014 de la médaille d’or du CNRS

À la chasse aux bugs : les approches scientifiques pour une informatique plus sûre

La généralisation de l’informatisation aux processus et objets de tous ordres permet de réaliser des choses extraordinaires et impossibles auparavant. Mais elle se heurte à un problème fondamental : la facilité avec laquelle les bugs s’introduisent dans toute application informatique.

Les bugs ne sont pas des erreurs ou des pannes de machines, mais bel et bien des erreurs des hommes qui les programment. Ils peuvent perturber ou anéantir le fonctionnement prévu, mais aussi, de façon plus sournoise, compromettre la cyber-sécurité en ouvrant des vulnérabilités permettant l’attaque des systèmes par les hackers. Nous analyserons en profondeur la notion même de bug, puis décrirons les méthodes pragmatiques et scientifiques pour détecter voire éradiquer les bugs. Ces méthodes vont des tests bien conduits, qui permettent de trouver des erreurs mais pas de montrer leur absence, à la vérification formelle, qui permet, elle, de prouver en machine l’absence de (certains) bugs à l’aide d’algorithmes et de formalismes logiques, ceci sans même exécuter le programme.

Vendredi 20 novembre à 20 h
Maison du livre, de l’image et du son
247 cours Émile Zola, Villeurbanne

Pour préparer la rencontre :

En savoir plus : le site de la MLIS

Partager cette actualité

La tribune des mathématiciens

Suivre IDM