17 decembre 2014

Participants :

Bruno Michel
Etienne Spillemaeker
Gilles Robit
Ludovic De Luna
Maxim Benadon
Paul-Xavier Ceccaldi

Ce qu'on a fait

Étienne nous a emmené dans le monde du Property-Based Testing et nous a montré comment utiliser testcheck.js, en s'appuyant sur l'exemple de la gestion d'une pile à partir d'un flux de commandes. On a ainsi pu voir qu'en introduisant un défaut dans le code de gestion de la pile, testcheck.js permet de retrouver la séquence de commandes la plus simple qui met en évidence le défaut.

Ensuite, nous avons utilisé testcheck.js pour [[Trouver La Plus Longue Sous-Chaine]] commune à deux chaînes.

Ce qu'on a appris

• La pratique du Property-Based Testing n'est pas facile à appréhender. En particulier, il est difficile d'écrire des propriétés et des générateurs intéressants.
• mocha-check nous a embrouillés : il y a bien un beforeEach, mais il n'est pas appelé au début de chaque test, uniquement au début de chaque check-it (chaque construction d'une série de données pour vérifier une propriété).