dans l’approche traditionnelle, nous testons généralement un cas d’usage d’une fonction en lui passant un paramètre et en attendant un certain retour. L’approche « property based testing » permet de décrire les propriétés qui définissent une fonction. Cette approche est intéressante pour valider des lois afférentes à un objet (ex un Monoid ou une Monade), pour effectuer du refactoring etc… Dans cette session, nous verrons comment ScalaCheck nous aide à définir les propriétés des fonctions que nous souhaitons tester, ainsi que la manière de définir des générateurs de cas de test.