A la chasse au bug, la maladie du certain

De Sciencinfolycee
Aller à : navigation, rechercher
Section Description
URL http://www.cite-sciences.fr/momindum-kbase/watch/110608-berry
Titre À la chasse au bug, la maladie du certain
Auteur(s) Berry, Gérard
Fonction(s) auteur
Icone Illustrative http://www.cite-sciences.fr/momindum-kbase/documents/204/1 medium.jpg
Notes 61 slides de textes et schémas relatifs à la conférence sont synchronisés avec cette dernière.
Section Analyse
Langue fre
Résumé Qu’est ce qu'un bug ? Un problème potentiel majeur de tout circuit ou logiciel informatique, intrinsèquement dû à l’exactitude obstinée des calculs des ordinateurs. Pourquoi les effets de bugs minuscules peuvent-ils devenir aussi grandioses ? Comment trouver les bugs avant même d’exécuter les programmes ? Pourra-t-on concevoir des modes de calcul automatiques moins sensibles par nature à ces bugs sournois ?
Sélection(s) thématique(s) Langage de programmation
Mots-clés normalisés erreur informatique« erreur informatique » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; preuve de vérification sémantique ; code correcteur ; test de programmation ; programme informatique ; logiciel
Proposition autres mots-clés
Type documentaire image en mouvement
Typologie Générale conférence
Date de publication 2011/06/08
Structure du document atomique
Niveau d'agrégation 1.Le plus petit niveau (grain)
Exigences techniques
Durée (en min) 1h 32'
Section Pédagogie
Type pédagogique cours / présentation
Public cible apprenant
Utilisation pédagogique
Section Droits
Droits du document
Section processus de validation (workflow)
Intervenants vthierry; DB
Statut du workflow publiée

Signaler cette ressource. Si ce lien de signalement ne fonctionne pas (ouverture intempestive d'un mailer alors que vous utilisez un webmail) c'est qu'il vous manque l'extension idoine dans votre navigateur (par exemple l'extension send-mail pour firefox); c'est une bonne occasion de l'installer.