si, comme le propose @sgrove, les spécifications sont le code du futur, alors qu'est-ce que le débogage ? 1) La compilation des spécifications est le processus par lequel un agent de codage transforme les spécifications en code. 2) De plus en plus de "compilation" se fera sans intervention, moins de surveillance de l'agent qui travaille diff par diff, plus de spécifications entrantes, code sortant. 3) erreurs de type -> erreurs de vérité : la plupart des débogages consisteront à fouiller dans les recherches et les plans de mise en œuvre en markdown pour trouver la ligne incorrecte de contexte qui fait échouer l'agent de codage. Les suites de tests vérifieront, entre autres, la vérité et la cohérence logique. 4) Il existe une nouvelle saveur de "connexion d'un débogueur pas à pas" qui consiste à observer l'agent mettre en œuvre un plan étape par étape pour identifier l'erreur logique dans la spécification. Lorsque vous trouvez une erreur en parcourant un programme ligne par ligne, vous modifiez le code, redémarrez le processus et répétez jusqu'à ce que cela fonctionne. Lorsque vous trouvez une erreur dans une *spécification* en parcourant une mise en œuvre, vous remontez en amont, corrigez la spécification et redémarrez la *mise en œuvre*.