Déboguage, vérification et certification de code
Résumé
Tous les utilisateurs d'outils informatiques ont déjà eu affaire à des « bugs » : des dysfonctionnements plus ou moins graves, souvent agaçants, parfois avec des conséquences importantes (vol de données, interception de communications, pertes d'engins spatiaux…). Nous avons pris l'habitude d'en parler comme d'une fatalité, mais ils sont liés à de profondes questions scientifiques.
Domaines
Génie logiciel [cs.SE]Origine | Accord explicite pour ce dépôt |
---|