Séance de cours
Cette séance de cours de l'instructeur aborde le sujet des tests de propriété à l'aide de l'outil QuickChick. Il s'inscrit dans les concepts de test et de vérification, en mettant l'accent sur l'exactitude des logiciels à l'échelle par le biais de tests et de vérification. La séance de cours traite de l'importance des spécifications, du flou sur les propriétés et d'une étude de cas sur la non-ingérence. Il explore également le contrôle dynamique du flux d'information, l'exactitude de la sécurité de la mémoire spatiale pour C, et les défis rencontrés dans les tests pratiques basés sur des propriétés pour Python. L'instructeur présente le développement et l'application de QuickChick, un outil de test basé sur la propriété pour Coq, mettant en évidence ses réussites et l'intégration de la vérification formelle. La séance de cours se termine par des idées sur la façon de repousser les limites des essais sur la propriété et les orientations futures dans ce domaine.