A la chasse au bug, la maladie du certain
De Sciencinfolycee
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.