البوت المقنع كمبرمج يصحح الأخطاء في الكود

مبرمج المصلح الآلي جعل البقع جيدة بما يكفي لتضليل الناس

كتب بنجامين فرانكلين في عام 1789: "لا يمكن ذكر شيء نهائي في هذا العالم ، باستثناء حتمية الموت والضرائب" ، إذا عاش اليوم ، فإنه لا يزال بإمكانه إضافة أخطاء إلى قائمة البرامج.

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

لكن العثور على الأخطاء وكتابة الرقع هو عمل طويل ، ويستهلك موارد كبيرة. طور باحثون مختلفون برامج آلية لأتمتة هذه العملية ، لكنهم عادة ما يعملون ببطء أو ينتجون كودًا رديء الجودة لا يجتاز الفحص. لذلك ، يرغب المطورون حقًا في الاعتماد على روبوت سريع وعالي الجودة يقوم بالمسح بحثًا عن الأخطاء ويكتب لهم التصحيحات.



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

قام الرجال بتسمية روبوت Repairnator واختبروه بنجاح ، مما سمح لهم بالتنافس مع المبرمجين البشر في البحث عن الإصلاحات. ويقولون: "هذا معلم هام على طريق التنافس مع الناس في بحث التصحيح التلقائي للبرنامج".

يدرك علماء الكمبيوتر منذ فترة طويلة إمكانية أتمتة عملية كتابة التصحيحات. ليس من الواضح ما إذا كانت الروبوتات يمكنها القيام بهذه المهمة بسرعة وكفاءة مثل البشر.

لذلك ، قررت Monperas والشركة اختبار الروبوت الخاص بهم عن طريق إخفاءه كمطور بشري والسماح له بالتنافس مع الأشخاص في تطوير التصحيحات لـ GitHub ، وهو موقع للبرمجة مع التحكم في الإصدار. وقالوا: "إن الفكرة الرئيسية لـ Repairnator هي إنشاء تصحيحات تعمل تلقائيًا على إصلاح الأخطاء في التجميعات ، وإظهارها للأشخاص المطورين ، ومعرفة ما إذا كان المطورون سيقبلون هذه التصحيحات على أنها تستحق التضمين في الشفرة".

قام الفريق بتسجيل Luc Esape كمبرمج من مختبرهم على GitHub. ويقولون: "لوقا لديه صورة ملف شخصي ، يبدو أنه مطور صغير ، حريص على المساهمة في تطوير مصدر مفتوح على GitHub".

في الواقع ، لوقا هو مصلح متخفي. كان هناك حاجة للخداع ، لأن المشرفين يميلون إلى تقييم عمل الروبوتات والأشخاص بطرق مختلفة. قال مونبيراس من الشركة ، التي أبلغت بالفعل جميع المعنيين بما يحدث ، "السرية كانت ضرورية من أجل اختبار الفرضية العلمية لقدرة الناس التنافسية".

وضع الفريق نهجين للتحقق من Repairnator. ذهب الاختبار الأول من فبراير إلى ديسمبر 2017 ، عندما أطلقت Repairnator على قائمة دائمة من 14188 مشروعًا مع GitHub تبحث عن أخطاء. وقالوا "وجدنا أن نموذجنا الأولي قادر على القيام بنحو 30 محاولة تصحيح في اليوم".

خلال هذا الوقت ، حلل Repairnator أكثر من 11،500 مشروع مع وجود أخطاء. كان قادرا على إعادة إنتاج الأخطاء في أكثر من 3000 حالة. في 15 حالة ، كان قادرًا على تطوير رقعة.

ولكن لم يتم قبول أي من هذه التصحيحات في التجميع ، لأن Repairnator إما جعلها طويلة جدًا أو كتب تصحيحات ذات جودة غير مقبولة.

كان النهج الثاني أكثر نجاحًا. أرسل الفريق لوقا للعمل في خدمة تكامل ترافيس المستمر من يناير إلى يونيو 2018. على الرغم من أن الفريق لم يحدد بالضبط ما تغيروا في Repairnator ، في 12 يناير ، كتب التصحيح الأول الذي قبله المشرف في التجميع. ويقولون "بعبارة أخرى ، كان ريسناتور قادراً أولاً على الوصول إلى مستوى الإنسان". على مدى الأشهر الستة التالية ، أصدر Repairnator خمس تصحيحات قبلها المشرفون.

إنجاز مثير للإعجاب يمهد الطريق لجيل جديد من أساليب تطوير البرمجيات. كما أنه يثير أسئلة مثيرة للاهتمام. يلتفت المطورون إلى التصحيح الذي طوره Repairnator في 12 مايو لمشروع كسوف / ديتو.

بعد ذلك ، تلقى الفريق خطابًا من أحد مطوري المشروع: "نحن نقبل طلبات التجميع من المستخدمين الذين وقعوا على اتفاقية ترخيص Eclipse Foundation".

هذا يمثل مشكلة غير سارة لأن البوت لا يمكنه التوقيع على اتفاقية الترخيص. "من يملك الملكية الفكرية ، ومن المسؤول عن مساهمة الروبوت: مشغل الروبوت ، مؤلف الروبوت ، مصمم خوارزمية التصحيح؟" - يسأل فريق المطورين سؤالاً.

يجب حل هذه الأنواع من المشاكل قبل أن يتمكن الأشخاص والبوتات من العمل معًا بشكل أكبر. لكن مونبيراس وفريقه متفائلون بشأن المستقبل. "نعتقد أن Repairnator هو النموذج الأولي لتطوير البرامج في المستقبل حيث يتعاون البوتات والأشخاص بسلاسة ويصبحون شركاء في العثور على عيوب البرمجيات" ، كما يقولون.

من المؤكد أن فرانكلين ، المخترع الشهير نفسه ، سيُعجب بما يحدث.