Test et débogage

Cette séance de cours couvre l'histoire de l'informatique, du moteur analytique de Charles Babbage aux programmes modernes tels que le micronoyau seL4. Il souligne l'importance des tests automatisés, du partage du code de test et de la couverture des tests. L'instructeur explique l'approche TDD, teste les fonctions et les modules et explicite les dépendances. Des exemples concrets de tests de régression, de rapports de bogues et de débogage sont discutés, soulignant l'importance des pratiques de tests approfondis dans le développement logiciel.