50 shades of TDD by Arnaud Bailly

Test-Driven Development is a cornerstone of XP and a great way to grow software incrementally and safely.

But as it's been advocated on numerous occasions, the word "Test" in TDD is misleading: it's not really "testing" we do here, it's using automated execution of sample test cases to define short term goals and thus frame our development effort.

Examples are necessary to understand the "shape" of the problem-solution space but they suffer from a few shortcomings:
- Their enumerative nature makes them somewhat unexpressive, verbose, and hard to link to the actual problem one is trying to solve,
- They are hardly adequate to build confidence in the robustness of the proposed solution.

This session introduces the audience to different ways of driving one's design or coding effort:
- How to use more precise type systems to "Make impossible states unrepresentable" thus reducing the coding (hence testing) space to explore,
- How to define and run automated properties, aka. Property-Based Testing, that both drive development and increase confidence in the written code,
- How to use Sample Mutations to refine naive code and make it more resilient.

I will expose the principles and practices live coding a concrete and realistic example drawn from our day-to-day life, namely the validation of French social security number.

ABOUT ARNAUD
I am an experienced software engineer/developer/craftsman looking to new opportunities to grow teams and products.
Mainly skilled in functional programming (Haskell, clojure), agile software development practices (XP), a healthy does of finance and fintech, plus quite a lot of Java and some distributed systems.