Contrat (de test)

Un test lu comme un énoncé qui engage : voici le comportement attendu.

Le point qui compte : qui écrit le test tient la définition de « correct ». Laisser l’agent produire à la fois le code et les tests, c’est le laisser décider de ce qu’il doit prouver, puis le prouver.

D’où la règle sur les chemins critiques : vous écrivez le contrat, il écrit l’implémentation. Vous gardez la main sur ce qui doit être vrai, il se débrouille avec le comment.

Un contrat bien écrit tient aussi lieu de spécification. C’est souvent la façon la plus courte de dire précisément ce que vous voulez.

À éviter

Demander « écris le code et les tests » sur ce qui compte. Vous obtiendrez des tests qui passent, ce qui est une autre chose que du code qui marche.