Chères lectrices, chers lecteurs, je vous souhaite tout d’abord une très bonne année 2018 ! Pour bien commencer l’année, voici une sacrée question : pourquoi écrire un test et à quoi cela peut-il me servir ? Cela peut paraître trivial pour beaucoup d’entre vous, mais avec la routine, il y a un risque de perdre l’objectif initial. Cet article…
Étiquette : cycle
Bonnes pratiques de dév, Programmation
TDD Vs. math formalism: friend or foe?
by Cyrille • • 0 Comments
It is not uncommon to oppose the empirical process of TDD, together with its heavy use of unit tests, to the more mathematically based techniques, with the “formal methods” and formal verification at the other end of the spectrum. However I experienced again recently that the process of TDD can indeed help discover and draw…