Séance de cours

Test basé sur la propriété: QuickChick

Description

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.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Séances de cours associées (39)
Correspondance logicielle: Test et vérification
Explore l'exactitude des logiciels grâce à des tests, à la vérification, au flou de propriété et au contrôle dynamique du flux d'information.
Renseignements quantitatifs
Explore l'opérateur CHSH, l'auto-test, les eigenstates et la quantification du hasard dans les systèmes quantiques.
Complexité et induction: Algorithmes et preuves
Couvre la complexité, les algorithmes et les preuves du pire cas, y compris l'induction mathématique et la récursion.
Traitement des demandes de renseignements avec les opérations relationnelles
Couvre le traitement des requêtes avec des opérations relationnelles, y compris l'optimisation des requêtes et différents algorithmes de jonction.
Algorithmes de tri : sélection et insertion
Introduit des algorithmes de tri de sélection et d'insertion, expliquant leur exactitude et leur complexité temporelle.
Afficher plus

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.