هندسة البرمجيات cs.SE

يتكاثف الضباب فوق السطر «def max(a: Int, b: Int): Int». ماذا يفعل هذا السطر؟ يعيد أكبر رقمين، ولكن كيف يمكن التحقق من ذلك؟ يمكن كتابة عشرات الاختبارات بأزواج محددة: max(2,3)=3، max(5,5)=5، max(-1,0)=0. ومع ذلك يبقى القلق: ماذا لو تعطلت الدالة مع مليون وسالب مليون؟ بدلًا من التحديق في الضباب، يمكن للمطور أن يأخذ بوصلة، وهذه البوصلة تسمى خاصية. الخاصية هي عبارة عن البرنامج يجب أن تكون صحيحة لجميع المدخلات.

شتوتغارت، عام 2025. مهندس برمجيات يصل حاسوبه المحمول بسيارة اختبارية، ليس للتشخيص بل لتغيير «شخصية» السيارة، كما يُحدَّث هاتف ذكي. لكن بدلاً من تحديث سريع، يستقبله سيل من عدم التوافق. كل وحدة تحكم إلكترونية (ECU) تتحدث بلهجتها الخاصة المرتبطة بشريحة مورِّد معين. البرنامج المكتوب لنظام فرامل Bosch لن يفهم معالج Continental دون «مترجم» معقد.

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

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