إذا كانت المواصفات ، كما يقترح @sgrove ، هي رمز المستقبل ، فما هو تصحيح الأخطاء؟ 1) تجميع المواصفات هو عملية تحويل وكيل الترميز للمواصفات إلى رمز 2) المزيد والمزيد من "التجميع" سيكون غير مراقب ، وأقل مشاهدة عمل الوكيل يختلف عن طريق الفرق ، والمزيد من المواصفات ، وإخراج الكود 3) أخطاء النوع - أخطاء الحقيقة >: سيتم البحث في معظم عمليات تصحيح الأخطاء في خطط البحث والتنفيذ في تخفيض السعر للعثور على سطر واحد من السياق غير الصحيح الذي يجعل عامل الترميز يفشل في النجاح عند التنفيذ. ستتحقق مجموعات الاختبار ، من بين أمور أخرى ، من الحقيقة والاتساق المنطقي. 4) هناك نكهة جديدة ذات ترتيب أعلى تتمثل في "إرفاق مصحح أخطاء خطوة" والتي تراقب الوكيل وهو ينفذ خطة خطوة بخطوة لتحديد الخطأ المنطقي في المواصفات. عندما تجد خطأ عند التنقل عبر برنامج سطرا بسطر، فإنك تقوم بتغيير التعليمات البرمجية وإعادة تشغيل العملية وتكرارها حتى تعمل. عندما تجد خطأ في * المواصفات * أثناء التنقل عبر التنفيذ ، فإنك تنتقل إلى المنبع ، وتصلح المواصفات ، وتعيد تشغيل * التنفيذ *