في عام ١٩٤٧، عثر مهندسون في جامعة هارفارد على عثة عالقة في مرحل حاسوب مارك ٢. قاموا بتوثيقها في سجل الملاحظات وكتبوا: "أول حالة فعلية لاكتشاف خلل برمجي". التصحيح البرمجي هو عملية إيجاد وإصلاح الأخطاء في الشيفرة البرمجية. وقد شاع استخدام هذا المصطلح، على الرغم من أن معظم الأخطاء البرمجية ليست حشرات.

تتراوح الأخطاء البرمجية بين الأخطاء الإملائية والمنطقية وحالات التزامن. يؤدي غياب الفاصلة المنقوطة إلى توقف عملية الترجمة. ويؤدي اسم المتغير الخاطئ إلى نتيجة خاطئة. ولا تظهر حالة التزامن إلا عند تشغيل خيطين بترتيب معين. بعض الأخطاء يسهل اكتشافها، بينما يستغرق البعض الآخر أيامًا لإعادة إنتاجه.

تقنيات تصحيح الأخطاء

• عبارات الطباعة: إخراج القيم عند النقاط الرئيسية
• نقاط التوقف: إيقاف التنفيذ مؤقتًا وفحص الحالة
• تصحيح الأخطاء باستخدام البطة المطاطية: اشرح الكود بصوت عالٍ
• البحث الثنائي: تضييق نطاق البحث لتحديد مكان ظهور الخلل
• التحكم في الإصدارات: قارن بين الإصدارات العاملة والإصدارات المعطوبة

تصحيح الأخطاء أشبه بعمل المحققين. تقوم بوضع الفرضيات، واختبارها، واستبعاد الاحتمالات. أفضل مصححي الأخطاء يتسمون بالصبر والمنهجية. فهم لا يخمنون، بل يلاحظون.