Property-based Testing ou l'insuffisance des tests unitaires
L'importance des tests unitaires n'est plus à démontrer. Ils nous rassurent sur notre implémentation, sécurisent chaque remaniement de notre code et nous préviennent de potentielles régressions.
Cependant, sont-ils suffisants ? Peut-on se satisfaire de la rédaction de tests basés sur des exemples délibérément choisis par le développeur ? Qu'en est-il des autres cas ?
Entre non-exhaustivité et explosion combinatoire, nous nous pencherons sur certaines de leurs limites et découvrirons une autre méthode de testing axée sur le comportement du code, à savoir le Property-based Testing.