Boucles de vérification : qu'il le prouve lui-même

Partie du cours Vibe coding : ingénierie avancée

Un modèle vous dira que son code est correct. Il ne ment pas et il n'a pas raison : il n'a aucun moyen de le savoir. La justesse est une chose que l'on établit en exécutant du code contre une définition du juste, et la question intéressante pour un ingénieur chevronné est de savoir comment écrire cette définition pour qu'elle attrape les défauts que le code généré a réellement.

Demandez à un modèle une fonction et ses tests, et vous obtenez des tests pour les cas que l'implémentation traite déjà. Il n'y a là aucune malveillance : c'est le même processus génératif qui produit les deux artefacts à partir de la même compréhension. Les tests héritent exactement des angles morts de l'implémentation. ...