Property based testing : comment bien choisir ses propriétés avec Kotest (fr)

Écrire une propriété qui compile ne suffit pas : une propriété trop faible passe au vert sans jamais rien vérifier. Florian Hirson détaille six patterns pour repérer la bonne propriété avec Kotest (aller-retour, idempotence, invariants, oracle, propriété algébrique, sortie facile à vérifier), avec des cas concrets comme une migration Jackson ou un moteur de relaxation de filtres de recherche. Il revient aussi sur la construction des générateurs sans filtrage destructeur et sur le shrinking, qui ramène un échec à son plus petit contre-exemple.