Tests automatisés : techniques et outils

Cette séance de cours explore les techniques de test automatisées, en se concentrant sur le fuzzing pour trouver des vulnérabilités dans le code. L'instructeur discute de différentes méthodes de test, telles que les tests entièrement automatisés et semi-automatisés, et de l'importance de la génération d'entrées et de la détection de bogues. La séance de cours couvre les objectifs d'apprentissage de la compréhension du fuzzing, de la génération d'entrées, de la détection de bugs et des possibilités d'amélioration des fuzzers. Il explore également le besoin de tests, les spécifications formelles par rapport aux spécifications informelles et les défis liés à la démonstration de la sécurité pendant les tests. La séance de cours se termine par une comparaison de divers outils et techniques de test, mettant en évidence les compromis entre la vérification formelle, l'exécution symbolique et le fuzzing.