Le Property Based Testing est une méthode de test logiciel où les tests vérifient les propriétés générales d'une fonction plutôt que des cas spécifiques. Cette approche génère automatiquement de multiples entrées de test pour couvrir une large gamme de scénarios, au lieu de se reposer sur des exemples fixes. Elle met en évidence les bugs subtils en réduisant les cas d'échec complexes à leurs formes les plus simples, facilitant ainsi le débogage.

Dans cette présentation, nous aborderons les bases du PBT et examinerons ses patterns essentiels, tels que le Round-tripping, la Commutativité, l'Invariance et l'Idempotence. Nous mettrons en lumière les bénéfices d'utiliser un framework de PBT efficace, en comparaison avec les méthodes de tests unitaires traditionnels. Nous conclurons par une démonstration pratique via l'utilisation de la librairie jqwik, illustrant l'application concrète du PBT.

Cette session vise à offrir une compréhension approfondie du PBT et de son potentiel dans l'amélioration des processus de test. Elle permettra également de découvrir comment un framework de PBT peut transformer l'approche de test dans les projets de développement. Enfin, le cas pratique avec jqwik servira d'exemple tangible pour mettre en application les concepts théoriques discutés.!

Programme

18h50 Accueil des participants

19h00 News du JUG et news du monde Java

19h10 Découvrir le Property Based Testing : De la Théorie à la Pratique avec jqwik avec Benoit Maggi

21h00 Buffet