اصطياد الأخطاء: أخطاء برمجية شهيرة كلَّفت الملايين

علامة ترقيم واحدة مفقودة دمَّرت صاروخاً بقيمة ملايين الدولارات، ثوانٍ بعد الإطلاق. خطأ تقريب كاد يُحطِّم افتتاح بورصة أوراق مالية. الأخطاء البرمجية الأغلى في تاريخ البرمجيات ليست تقريباً أبداً أخطاءً دراماتيكية ومعقدة — إنها صغيرة ويسهل تجاهلها، صادف وقوعها في المكان الخاطئ بالضبط.

مارينر 1: علامة الترقيم التي كلَّفت صاروخاً

في 1962، دُمِّر مسبار مارينر 1 التابع لناسا من قِبل التحكم الأرضي بعد أقل من خمس دقائق من الإطلاق، بعد أن بدأ برنامج توجيهه بإصدار أوامر توجيه خاطئة بشدة. عاد السبب الجذري إلى حرف واحد مفقود في معادلة توجيه مُنسوخة يدوياً — صيغة تنعيم كان من المفترض أن تُتوسِّط تباينات المستشعر الصغيرة عاملت بدلاً من ذلك كل تذبذب صغير كتصحيح مسار حقيقي وعاجل، مُرسِلةً الصاروخ خارج مساره المقصود.

لماذا تُسبِّب الأخطاء الصغيرة أكبر الكوارث

الخطأ الكبير والواضح يُلتَقَط عادةً بسرعة — يتعطل البرنامج فوراً، أو يُنتِج إجابة خاطئة بوضوح يلاحظها شخص ما في الاختبار. الأخطاء التي تُسبِّب ضرراً حقيقياً هي دائماً تقريباً تلك الدقيقة كفاية للنجاة من الاختبار والوصول إلى الإنتاج: خطأ انزياح بواحد في حلقة، افتراض تقريب لا ينكسر إلا عند قيمة غير عادية، شرط صحيح 99.9% من الوقت وخاطئ كارثياً بقية الوقت. كلما كان الخطأ أصغر وأهدأ، زادت الأماكن التي يمكنه الاختباء فيها.

ما الذي غيَّرته هذه الإخفاقات فعلياً

أصبح فشل مارينر 1 دراسة حالة معيارية في تعليم هندسة البرمجيات، وأثَّر مباشرةً على كيفية مراجعة الكود بالغ الأهمية للمهمة — فكرة أن خطأ نسخ واحد يمكن أن يصل إطلاقاً إلى نظام توجيه حي دون فحص ثانٍ هي بالضبط ما توجد مراجعة الكود الحديثة والاختبار الآلي والتحقق الرسمي لمنعه. كل خطأ تاريخي شهير هو، بمعنى حقيقي، السبب وراء وجود ضمانة هندسية محددة اليوم. إذا كان تصحيح الأخطاء أو الاختبار أو ممارسة هندسة البرمجيات تحتاج شرحاً كمهارة مهنية حقيقية بدلاً من مادة للامتحان فقط، فهذا بالضبط ما بُني حوله تدريسنا لعلوم حاسوب GCSE — انظر مسار التعلم الكامل هنا.