Les tests par exemples ratent les bords. Le property-based testing inverse l'approche. Je montre six patterns utiles, le stateful PBT pour les bugs de séquence, et pourquoi ce sujet se prête bien à un usage assisté par IA.
Tests
Example-based tests miss the edges. Property-based testing flips the approach. I show six useful patterns, stateful PBT for sequence bugs, and why this topic is well-suited for AI-assisted use.
A test suite can show good coverage and miss an obvious bug. To measure real quality, I look at four complementary axes, with a simple audit to apply to an existing project.
Une suite de tests peut afficher une bonne couverture et rater un bug évident. Pour mesurer la qualité réelle, je regarde quatre axes complémentaires, avec un audit simple à appliquer sur un projet existant.
Une fois la spec posée, je répartis le travail entre humain, IA et outils déterministes. Le test critique ne vient pas toujours du même auteur que le code, et le critic-agent compte souvent plus qu'un writer-agent.
Once the spec is in place, I split the work between humans, AI, and deterministic tools. The critical test does not always come from the same author as the code, and the critic-agent often matters more than the writer-agent.
The first step in the AI workflow is specification. This article shows how I turn a vague user story into something a human and an agent can use without guessing, with Gherkin, typed examples, and properties.
La première étape du workflow IA est la spécification. Cet article montre comment transformer une user story floue en spec exploitable par un humain et un agent, avec Gherkin, exemples typés et propriétés.
La promesse implicite des assistants de code IA était que les tests deviendraient une corvée du passé. La réalité documentée par Kent Beck, ThoughtWorks et plusieurs études de 2025 est l'inverse : avec l'IA, les tests deviennent indispensables — mais le travail s'est déplacé.