Podcast | A la chasse aux bugs

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. (…) M. Berry se propose d’analyser en profondeur la notion même de bug, puis de décrire 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.

Vous pouvez emprunter le CD ou écouter l’intégralité de son intervention : ici

Bonne écoute !

Voir aussi

Agenda | Fête du livre jeunesse 2024

Des expositions, des animations, des ateliers, des rencontres dans les écoles, un grand weekend festif... c'est la Fête du livre jeunesse !