À la recherche de tous les vrais bugs - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

À la recherche de tous les vrais bugs

Résumé

Pour assurer le bon fonctionnement des logiciels, il est crucial de les tester pendant leur développement. Pour faciliter cette tâche, de nombreuses méthodes de test automatique existent et permettent de détecter rapidement des erreurs de programmation. Pour être efficace et sûr, un détecteur de bugs automatique se doit d'être aussi précis et exhaustif que possible : il ne doit détecter que des vrais bugs et, si possible, être capable de détecter tous les bugs. Dans cet article, nous présentons un détecteur automatique de bugs formellement vérifié en Coq. En particulier nous prouvons que, sous certaines hypothèses, notre détecteur est précis et exhaustif.
Fichier principal
Vignette du fichier
jfla2024-paper-75.pdf (499.59 Ko) Télécharger le fichier
Origine Accord explicite pour ce dépôt

Dates et versions

hal-04407133 , version 1 (22-01-2024)

Identifiants

  • HAL Id : hal-04407133 , version 1

Citer

Arthur Correnson. À la recherche de tous les vrais bugs. 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France. ⟨hal-04407133⟩

Collections

JFLA2024 JFLA
41 Consultations
164 Téléchargements

Partager

More