गेमर्स ने सॉफ़्टवेयर सत्यापन में अपनी योग्यता साबित की है

क्या मजेदार ऑनलाइन गेम सॉफ्टवेयर सत्यापन के साथ जटिल समस्याओं को हल कर सकते हैं, जो आमतौर पर पेशेवर प्रोग्रामिंग विशेषज्ञों द्वारा किए जाते हैं? दूसरे शब्दों में, क्या अशिक्षित गेमर्स की सेना पेशेवर प्रक्रिया से बेहतर होगी? यूनाइटेड स्टेट्स डिफेंस एडवांस्ड रिसर्च प्रोजेक्ट्स एजेंसी (DARPA) के शोधकर्ताओं को विश्वास है कि वे हैं।

पहले प्रयोगों से पता चला कि भीड़भाड़ प्रत्याशित की तुलना में अधिक प्रभावी है। क्राउड सॉर्स्ड फॉर्मल वेरिफिकेशन (CSFV) नामक एक कार्यक्रम दिसंबर 2013 में शुरू हुआ, और फिर वेरिगम्स पोर्टल पांच मुफ्त ऑनलाइन सत्यापन खेलों के साथ खुला ।

उदाहरण के लिए, ऊपर दिया गया स्क्रीनशॉट गेम विरोधाभास दिखाता है , जिसमें आपको स्क्रीन वेरिएबल्स की स्थिति को बदलकर संघर्षों को समाप्त करने की आवश्यकता है। सेट परिणाम पर पहुंचने पर, खिलाड़ी को एक नया अनुकूलन कार्य दिया जाता है।

विरोधाभास के अलावा, एक अंतरिक्ष पैटर्न जनरेटर से एक पहेली को मोड़ने के लिए एक अंतरिक्ष पहेली डायनामैकर भी है ; विदेशी आक्रमणकारियों के साथ लड़ाई भूत नक्शा हाइपरस्पेसक्रम में उनके crevices (जिसके माध्यम से कमीनों ने अंतरिक्ष-समय के कपड़े को पार किया) चोरी करने के लिए और संवर्धन के लिए पहेली के लिए एक समाधान के साथ राक्षस प्रूफ राक्षसों के मध्ययुगीन भूमि के माध्यम से एक यात्रा । बाइनरी फिशन



के अंतिम पांचवें गेम में , आपको परमाणु कणों को न्यूनतम संभव चरणों में सॉर्ट करना होगा।



पिछले हफ्ते, DARPA ने कार्यक्रम के पहले चरण की सफलता की घोषणा की और जल्द ही साइट पर एक और पांच गेम जोड़े जाएंगे।

से DARPA ब्लॉग पोस्ट: "इन [2013] खेलों ने कार्यक्रमों के लिए एनोटेशन में खिलाड़ियों के कार्यों का प्रसारण किया और औपचारिक प्रमाणों में विशेषज्ञों को गणितीय प्रमाण बनाने में मदद की, जो सी और जावा प्रोग्रामिंग भाषाओं में महत्वपूर्ण त्रुटि वर्गों की अनुपस्थिति की पुष्टि करते हैं। एक प्रारंभिक विश्लेषण से पता चलता है कि CSFV गेम खेलने वाले शौकीनों ने हजारों हजारों एनोटेशन बनाए। "

सामान्य तौर पर, गेमिंग प्रोजेक्ट बहुत सफल रहा।

भविष्य के रोबोटिक समाज में अनिवार्य रूप से उच्च बेरोजगारी दर के बारे में चिंता नहीं करनी चाहिए। प्रोग्रामर हमेशा लोगों को दिलचस्प और उपयोगी गतिविधियों की पेशकश करेंगे।