Method & Tools

Tests de propriétés : Ecrire moins de tests, trouver plus de bugs

Codelab

Commençons par une petite histoire : “Aklass vient d’être promu chef de la tribu des Trolls. Son prédécesseur, Gnonpom est mort prématurément après deux jours de règne, d’une flèche elfe perdue : cette fois c’est décidé, le concours de chasse à l’elfe est lancé ! A l’issu de chaque bataille, les trolls veulent comparer le nombre et les attributs des elfes massacrés. Mais le chef veut s’assurer que chaque troll comprend comment marchent les nombres : par exemple aucun troll ne devrait avoir de compte négatif (parce qu’un troll ne sauve JAMAIS d’elfe).

Le Troll Aklass a besoin de votre aide !”

Ce workshop vise à sensibiliser les développeurs ou tout curieux de Software Craftsmanship aux tests de propriétés. Après une brève introduction à ce que sont les tests de propriétés, les participants seront amenés à les mettre en œuvre et découvrir que tester les propriétés des “objets” permet de produire un code plus fiable tout en écrivant moins de tests. Le workshop sera proposé, au choix de chaque participant, en Java ou Javascript afin d’être accessible au plus grand nombre, ainsi qu’en Haskell et ReasonML pour ceux voulant s’essayer à des langages ML. Une connaissance d’un de ces langages et une première expérience en tests unitaires est nécessaire pour profiter pleinement de l’atelier.