Séance de cours
Cette séance de cours se penche sur les techniques de test logiciel avancées, en se concentrant sur les tests basés sur les propriétés. L'instructeur discute des lacunes des tests traditionnels et présente les tests basés sur les propriétés comme un moyen d'assurer l'exactitude du code. La séance de cours couvre les tests différentiels, les tests mutationnels, les crash tests et le fuzzing, expliquant comment chaque technique peut être utilisée pour identifier les bugs et améliorer la qualité du logiciel. L'instructeur démontre également l'utilisation de ScalaCheck pour générer des entrées aléatoires et tester le code sans spécifications explicites, encourageant les étudiants à explorer ces techniques pour des tests logiciels efficaces.