Innopolis University के कर्मचारी को फेसबुक का अनुदान मिला

इन्नोपोलिस विश्वविद्यालय में औद्योगिक सॉफ्टवेयर विकास प्रयोगशाला के एसोसिएट प्रोफेसर जू योंग ली ने बग फिक्स के त्वरित स्वचालन के क्षेत्र में सर्वश्रेष्ठ शोध की पेशकश की और द फेसबुक टेस्टिंग एंड वेरिफिकेशन रिसर्च अवार्ड्स के दस विजेताओं में शामिल थे। कुल मिलाकर, दुनिया भर के 145 शोधकर्ताओं ने अनुदान के लिए आवेदन भेजे। वैज्ञानिक ने हमें अपने शोध पर काम करने के बारे में बताया।

अध्ययन के बारे में

मैं तुरंत स्पष्ट रूप से इंगित करना चाहूंगा कि सॉफ्टवेयर परीक्षण क्या है। इसका मुख्य लक्ष्य उस प्रोग्राम में त्रुटियों को खोजना है जो सॉफ्टवेयर डेवलपर्स द्वारा नहीं लिखे गए हैं। यदि परीक्षण सफल होते हैं, तो हम सुरक्षित रूप से कह सकते हैं कि आपका कार्यक्रम रिलीज के लिए तैयार है।

ऐसा लगता है कि सॉफ़्टवेयर में बग ढूंढना इतना मुश्किल नहीं है, खासकर अगर डेवलपर को पहले से ही बग का उपयोग करने का अनुभव है। हां, ऐसी त्रुटियां हैं जिन्हें आसानी से देखा जा सकता है और पाया जा सकता है, लेकिन डेवलपर्स अक्सर कमजोरियों को नहीं देखते हैं कि उनके सावधानीपूर्वक काम के बाद भी हैकर्स का पता लगाया जा सकता है। परीक्षण के माध्यम से, हम सुरक्षा उल्लंघनों और कार दुर्घटनाओं के कारण दुर्घटनाओं का शिकार होने से पहले त्रुटियों को ढूंढना चाहते हैं। द एसोसिएटेड प्रेस के अनुसार, टोयोटा कारों में सॉफ्टवेयर त्रुटियों के कारण वर्ष 2000-2010 में 89 लोगों की मौत हो गई।

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

तकनीकी बगों के लिए स्वचालित फिक्स का परीक्षण मेरे सहित कई शोधकर्ताओं द्वारा किया गया है। पहले परिणाम उद्योग द्वारा स्वीकार किए गए थे, और फ़ेसबुक जैसी कंपनियों ने पहले से ही दोषपूर्ण बिंदुओं जैसे कीड़े के स्वत: उन्मूलन का उपयोग करना शुरू कर दिया है, जो एक गैर-मौजूद सेल का संकेत देते हैं।

यह क्या तय करता है

सबके अपने-अपने हित हैं। मुझे प्रोग्रामिंग भाषाओं, सॉफ्टवेयर सत्यापन और परीक्षण में दिलचस्पी है, यह सब कंप्यूटर प्रोग्राम की समझ के साथ अटूट है। अभी कुछ समय पहले, मेरे लिए अनुसंधान के लिए एक अलग विषय में स्वचालित त्रुटि सुधार हो गया है। मुझे लगता है कि भविष्य में, सॉफ्टवेयर कृत्रिम बुद्धिमत्ता द्वारा बनाया जाएगा, जो डेवलपर्स को प्रमुख सॉफ्टवेयर घटकों पर काम करने के लिए अधिक समय देने की अनुमति देगा।

पिछले एक दशक में, स्वचालित त्रुटि सुधार ने मेरा सहित डेवलपर्स के प्रयासों के लिए काफी बड़ी छलांग लगाई है। मैंने ऑटो-जनरेट पैच और ऑटो-फिक्सिंग बग्स को बेहतर बनाने पर काम किया। मुझे लगता है कि अगली सफलता जो हमें चाहिए वह है तेज गति। अब तक, यह माना जाता था कि स्वचालित त्रुटि सुधार का उपयोग बैच मोड में किया जाएगा, इसलिए गति का मुद्दा पहले स्थान पर नहीं था। डेवलपर्स स्वचालित त्रुटि सुधार शुरू करते हैं और घर जाते हैं। और अगली सुबह तक, रात भर स्वचालित रूप से डिबग किए गए क्षेत्र देखने के लिए तैयार हैं। लेकिन अनुभव बताता है कि बग प्रोग्राम लिखने के तुरंत बाद त्रुटियों को ठीक करना सबसे अच्छा है, जबकि डेवलपर को अभी भी याद है कि उसने वहां क्या लिखा था। इसलिए, मैंने उच्च गति वाले स्वचालित त्रुटि सुधार का अध्ययन प्रस्तावित किया।

प्रतियोगियों

यह एक अंतरराष्ट्रीय अनुदान था और शोध दुनिया भर के शोधकर्ताओं द्वारा प्रस्तुत किया गया था। फेसबुक ने 145 आवेदन प्राप्त किए और मेरे सहित 10 विजेताओं का चयन किया। यह संख्या (6.9%) दिखाती है कि शीर्ष सम्मेलनों में अनुदान प्राप्त करने के लिए प्रतियोगिता की तुलना किस प्रकार की गई थी, जहाँ स्वीकृत आवेदनों का प्रतिशत आमतौर पर 20% है।

सभी 10 पुरस्कार विजेता और उनके शोध फेसबुक रिसर्च पर प्रकाशित होते हैं। विजेता प्रतिष्ठित विश्वविद्यालयों से अपने क्षेत्रों में प्रसिद्ध शोधकर्ता थे: कार्नेगी मेलन विश्वविद्यालय, यूनिवर्सिटी कॉलेज लंदन, बर्कले में कैलिफोर्निया विश्वविद्यालय और बर्लिन के हम्बोल्ट विश्वविद्यालय।

आगे की योजना

स्वचालित त्रुटि पुनर्प्राप्ति अभी भी एक युवा क्षेत्र है, और काम करने लायक कई चीजें हैं। हमें एक ऐसी विधि की आवश्यकता है जो अधिक त्रुटियों को अधिक सटीक और जल्दी से ठीक कर सके, और मैं इस दिशा में काम करने की योजना बना रहा हूं। भविष्य में, मैं यह देखना चाहूंगा कि कृत्रिम बुद्धिमत्ता न केवल त्रुटियों को ठीक करने में सक्षम होगी, बल्कि संपूर्ण प्रक्रिया के दौरान डेवलपर्स की मदद भी करेगी।

कई अन्य शैक्षणिक अध्ययनों की तरह, तकनीकी त्रुटियों के स्वत: उन्मूलन के क्षेत्र में परियोजनाओं को एक अध्ययन द्वारा हल नहीं किया जा सकता है। विचार के व्यावहारिक होने के लिए कई आयामों को ध्यान में रखा जाना चाहिए। जैसा कि मैंने कहा, मैं तकनीकी त्रुटियों को दूर करने की गति पर ध्यान केंद्रित करता हूं, लेकिन समस्या को हल करने के लिए गति केवल एक आयाम है। अन्य मापों में त्रुटि पहचान सफलता दर, समस्या निवारण सटीकता, आदि शामिल हैं। विज्ञान और प्रौद्योगिकी में, एक आयाम में सुधार दूसरे के विकास में मदद करता है, और यही मैं भविष्य में करने की योजना बना रहा हूं - विभिन्न आयामों में तकनीकी समस्याओं के स्वचालित समाधान की सीमाओं का विस्तार करना जारी रखने के लिए।

इस तरह की तकनीक की प्रयोज्यता के लिए, मैंने पहले छात्रों द्वारा लिखे गए कार्यक्रमों के लिए प्रतिक्रिया के स्वत: गठन में इसका उपयोग किया था। यह तथाकथित स्मार्ट ट्यूटरिंग सिस्टम उन क्षेत्रों में से एक है जहां शोध परिणाम लागू किए जा सकते हैं।