La spécification par l'exemple décrit le comportement attendu d'un programme par des cas concrets : entrées et sorties correspondantes, y compris les cas limites. Donnée à un modèle ou à un collègue, elle lève les ambiguïtés du langage naturel et sert ensuite de base aux tests.
Exemple
moyenne([2, 4]) doit renvoyer 3 ; moyenne([]) doit lever ValueError.