أثبت اللاعبون جدارتهم في التحقق من البرمجيات

هل يمكن للألعاب الممتعة عبر الإنترنت حل المشكلات المعقدة المتعلقة بالتحقق من البرامج ، والتي يتم إجراؤها عادةً بواسطة خبراء برمجة محترفين؟ وبعبارة أخرى ، هل سيكون جيش من اللاعبين غير المتعلمين أفضل من عملية احترافية؟ ويثق الباحثون في وكالة مشاريع البحوث الدفاعية المتقدمة (DARPA) بالولايات المتحدة في أن هذا هو الحال.

أظهرت التجارب الأولى أن التعهيد الجماعي أكثر فعالية مما كان متوقعًا. بدأ برنامج يسمى Crowd Sourced Formal Verification (CSFV) في ديسمبر 2013 ، ثم تم فتح بوابة Verigames مع خمس ألعاب تحقق مجانية عبر الإنترنت.

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

بالإضافة إلى Paradox ، هناك أيضًا لغز الفضاء Dynamakr لطي لغز من مولد نمط الفضاء ؛ معركة مع الغزاة الفضائيين Ghost Map Hyperspaceمن أجل سرقة شقوقهم (التي يعبر من خلالها الأوغاد نسيج الزمكان) ورحلة عبر أرض القرون الوسطى من وحوش إثبات الوحش مع حل عابر للألغاز من أجل الإثراء.



في اللعبة الخامسة الأخيرة من Binary Fission ، تحتاج إلى فرز الجسيمات الذرية في أقل عدد ممكن من الخطوات.



في الأسبوع الماضي ، أعلنت DARPA عن نجاح المرحلة الأولى من البرنامج وستضيف قريباً خمس ألعاب أخرى إلى الموقع.

من مشاركة مدونة DARPA: "تبث هذه الألعاب [2013] تصرفات اللاعبين في التعليقات التوضيحية للبرامج وساعدت خبراء التحقق الرسميين في إنشاء برهان رياضيات تؤكد عدم وجود فئات أخطاء مهمة في لغات البرمجة C و Java. يظهر التحليل الأولي أن الهواة الذين لعبوا ألعاب CSFV قاموا بإنشاء آلاف الآلاف من التعليقات التوضيحية. "

بشكل عام ، كان مشروع الألعاب ناجحًا جدًا.

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