Tests basés sur les propriétés centrés sur l'utilisateur : Une thèse de doctorat

2025-01-06

Cette thèse de doctorat se concentre sur l'amélioration de la convivialité des tests basés sur les propriétés (PBT) afin de toucher un public plus large de développeurs. Grâce à des études approfondies des utilisateurs, le chercheur a identifié les défis auxquels les utilisateurs de PBT sont confrontés en matière de génération de données aléatoires et d'évaluation de l'efficacité des tests. Pour y remédier, la thèse propose de nouveaux algorithmes pour des générateurs de données aléatoires améliorés et développe Tyche, un outil open source qui fournit aux développeurs des informations plus approfondies sur le PBT et augmente sa convivialité, conduisant en fin de compte à une meilleure qualité et assurance du logiciel.