Sur le fuzzing / les tests basés sur les propriétés : - Il y a quelque chose de spécial à simplement lancer des milliers et des milliers d'entrées sur une fonction et voir qu'elle fonctionne bien. - C'est l'équivalent du Proof of Work pour la Vérification Formelle. - Peu de choses sont aussi satisfaisantes que d'augmenter le nombre d'itérations sur les tests génératifs basés sur les propriétés et de trouver des invariants à affirmer. - Sans les bibliothèques de tests basés sur les propriétés, je n'aurais probablement jamais complètement switché à Rust, il y a des années. Un point d'inflexion étrange. Quoi qu'il en soit, cette analyse me procure beaucoup de joie. Découvrez les résultats 👇