Erreur et hypothèse

Qui a la charge de la preuve que la spécification est bien respectée ?