आटोमेटिक बग फिक्सिंग का स्रोत देखें

{{ख़राब अनुवाद|date=सितंबर 2020}}
आटोमेटिक बग फिक्सिंग :
स्वचालित बग-फिक्सिंग [[मानव]] प्रोग्रामर के हस्तक्षेप के बिना सॉफ़्टवेयर बग की स्वचालित मरम्मत है।<ref>{{cite journal |last1=Rinard |first1=Martin C. |year=2008 |title=Technical perspective ''Patching'' program errors |journal=Communications of the ACM |volume=51 |issue=12 |pages=86 |doi=10.1145/1409360.1409381 }}</ref><ref>{{cite journal |last1=Harman |first1=Mark |year=2010 |title=Automated patching techniques |journal=Communications of the ACM |volume=53 |issue=5 |pages=108 |doi=10.1145/1735223.1735248 }}</ref> इसे आमतौर पर स्वचालित पैच पीढ़ी, स्वचालित बग मरम्मत या स्वचालित प्रोग्राम मरम्मत के रूप में भी जाना जाता है। <ref name="Monperrus2018">{{cite journal |last1=Monperrus |first1=Martin |year=2018 |title=Automatic Software Repair |journal=ACM Computing Surveys |volume=51 |issue=1 |pages=1–24 |arxiv=1807.00515 |bibcode= |doi=10.1145/3105906 }}</ref><ref name="Gazzola2019">{{cite journal |last1=Gazzola |first1=Luca |last2=Micucci |first2=Daniela |last3=Mariani |first3=Leonardo |year=2019 |title=Automatic Software Repair: A Survey |journal=IEEE Transactions on Software Engineering |volume=45 |issue=1 |pages=34–67 |bibcode= |doi=10.1109/TSE.2017.2755013 |url=https://boa.unimib.it/bitstream/10281/184798/2/08089448_final.pdf |hdl=10281/184798 }}</ref> इस तरह की तकनीकों का विशिष्ट लक्ष्य सॉफ्टवेयर प्रोग्रामों में बगैर किसी बाधा के सॉफ्टवेयर प्रोग्राम में बग को खत्म करने के लिए स्वचालित रूप से सही पैच जेनरेट करना है। <ref>{{cite book |last1=Tan |first1=Shin Hwei |last2=Roychoudhury |first2=Abhik |date=2015 |chapter=relifix: Automated repair of software regressions |title=2015 IEEE/ACM 37th IEEE International Conference on Software Engineering |publisher=IEEE |pages=471–482 |doi=10.1109/ICSE.2015.65 |isbn=978-1-4799-1934-5 }}</ref>

विशिष्टता:
स्वचालित बग फिक्सिंग अपेक्षित व्यवहार के विनिर्देश के अनुसार किया जाता है जो उदाहरण के लिए एक औपचारिक विनिर्देश या परीक्षण सूट हो सकता है। <ref name="genprog2009">{{cite book|title=Proceedings of the 31st International Conference on Software Engineering|last1=Weimer|first1=Westley|last2=Nguyen|first2=ThanhVu|last3=Le Goues|first3=Claire|last4=Forrest|first4=Stephanie|date=2009|publisher=IEEE|isbn=978-1-4244-3453-4|pages=364–374|chapter=Automatically finding patches using genetic programming|citeseerx=10.1.1.147.8995|doi=10.1109/ICSE.2009.5070536}}</ref>
एक परीक्षण-सूट - इनपुट / आउटपुट जोड़े कार्यक्रम की कार्यक्षमता को निर्दिष्ट करते हैं, संभवतः खोज में ड्राइव करने के लिए एक परख के रूप में उपयोग किए जा सकते हैं। वास्तव में यह ओरण बग दोष के बीच विभाजित किया जा सकता है जो दोषपूर्ण व्यवहार को उजागर करता है, और प्रतिगमन ओरेकल, जो कार्यक्षमता को एन्क्रिप्ट करता है किसी भी कार्यक्रम की मरम्मत विधि को संरक्षित करना चाहिए। ध्यान दें कि एक परीक्षण सूट आमतौर पर अधूरा है और सभी संभावित मामलों को कवर नहीं करता है। इसलिए, एक मान्य पैच के लिए परीक्षण सूट में सभी इनपुट के लिए अपेक्षित आउटपुट का उत्पादन करना संभव है लेकिन अन्य इनपुट के लिए गलत आउटपुट। <ref name="kali">{{cite book|title=Proceedings of the 2015 International Symposium on Software Testing and Analysis|last1=Qi|first1=Zichao|last2=Long|first2=Fan|last3=Achour|first3=Sara|last4=Rinard|first4=Martin|date=2015|publisher=ACM|isbn=978-1-4503-3620-8|chapter=An Anlysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems|citeseerx=10.1.1.696.5616|doi=10.1145/2771783.2771791}}</ref> इस तरह के मान्य लेकिन गलत पैच का अस्तित्व उत्पन्न-और-मान्य तकनीकों के लिए एक बड़ी चुनौती है। हाल ही में सफल स्वचालित बग-फिक्सिंग तकनीक अक्सर परीक्षण सूट के अलावा अन्य अतिरिक्त जानकारी पर निर्भर करती है, जैसे कि पिछले मानव पैच से सीखी गई जानकारी, मान्य पैच के बीच सही पैच की पहचान करने के लिए। <ref name="prophet">{{cite book|title=Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages|last1=Long|first1=Fan|last2=Rinard|first2=Martin|date=2016|publisher=ACM|isbn=978-1-4503-3549-2|pages=298–312|chapter=Automatic patch generation by learning correct code|doi=10.1145/2837614.2837617}}</ref>
अपेक्षित व्यवहार को निर्दिष्ट करने का एक अन्य तरीका औपचारिक विनिर्देशों का उपयोग करना है <ref name="autofixe">{{cite journal|last1=Pei|first1=Yu|last2=Furia|first2=Carlo A.|last3=Nordio|first3=Martin|last4=Wei|first4=Yi|last5=Meyer|first5=Bertrand|last6=Zeller|first6=Andreas|date=May 2014|title=Automated Fixing of Programs with Contracts|journal= IEEE Transactions on Software Engineering|volume=40|issue=5|pages=427–449|arxiv=1403.1117|doi=10.1109/TSE.2014.2312918|ref=harv|bibcode=2014arXiv1403.1117P}}</ref><ref>{{cite journal|title=Contract-based Data Structure Repair Using Alloy|citeseerx=10.1.1.182.4390}}</ref> पूर्ण विनिर्देशों के खिलाफ सत्यापन जो कार्यात्मकताओं सहित पूरे कार्यक्रम के व्यवहार को निर्दिष्ट करता है, कम आम है क्योंकि ऐसे विनिर्देश आमतौर पर व्यवहार में उपलब्ध नहीं होते हैं और इस तरह के सत्यापन की गणना लागत है निषेधात्मक।<ref name="codephage" />

तकनीक:
जनरेट और मान्य:
जेनरेट-एंड-वैलिडेट प्रत्येक परीक्षित पैच को इकट्ठा करने के लिए प्रत्येक उम्मीदवार पैच का संकलन और परीक्षण करते हैं जो टेस्ट सूट में सभी इनपुट के लिए अपेक्षित आउटपुट उत्पन्न करते हैं।<ref name="genprog2009" /><ref name="kali" />इस तरह की तकनीक आम तौर पर कार्यक्रम के एक परीक्षण सूट के साथ शुरू होती है, अर्थात्, परीक्षण मामलों का एक सेट, जिसमें से कम से कम एक बग को उजागर करता है। <ref name="genprog2009" /><ref name="prophet" /><ref name="rsrepair">{{cite book |last1=Qi |first1=Yuhua |last2=Mao |first2=Xiaoguang |last3=Lei |first3=Yan |last4=Dai |first4=Ziying |last5=Wang |first5=Chengsong |date=2014 |chapter=The Strength of Random Search on Automated Program Repair |title=Proceedings of the 36th International Conference on Software Engineering |series=ICSE 2014 |location=Austin, Texas |publisher=ACM |pages=254–265 |isbn=978-1-4503-2756-5 |doi=10.1145/2568225.2568254 |ref=harv}}</ref><ref name="spr">{{cite book |last1=Long |first1=Fan |last2=Rinard |first2=Martin |date=2015 |chapter=Staged Program Repair with Condition Synthesis |title=Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering |series=ESEC/FSE 2015 |location=Bergamo, Italy |publisher=ACM |pages=166–178 |isbn=978-1-4503-3675-8 |doi=10.1145/2786805.2786811 |ref=harv|citeseerx=10.1.1.696.9059 }}</ref>बग-फिक्सिंग प्रणाली के आरंभिक और मान्य जेनरोग्रॉग हैं। <ref name="genprog2009" /> जेनरेट-एंड-वैलिड तकनीकों की प्रभावशीलता विवादास्पद बनी हुई है, क्योंकि वे आम तौर पर पैच शुद्धता की गारंटी नहीं देते हैं। <ref name="kali" /><ref name="criticalreview">{{cite book|title=Proceedings of the 36th International Conference on Software Engineering|last=Monperrus|first=Martin|date=2014|publisher=ACM|isbn=978-1-4503-2756-5|series=ICSE 2014|location=New York, New York|pages=234–242|chapter=A Critical Review of "Automatic Patch Generation Learned from Human-written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair|arxiv=1408.2103|doi=10.1145/2568225.2568324|ref=harv}}</ref> फिर भी, हाल ही में अत्याधुनिक तकनीकों के कथित परिणाम आम तौर पर आशाजनक हैं। उदाहरण के लिए, आठ बड़े सी सॉफ़्टवेयर प्रोग्रामों में व्यवस्थित रूप से 69 वास्तविक विश्व कीड़े एकत्र किए गए, अत्याधुनिक बग-फिक्सिंग सिस्टम पैगंबर 69 बगों में से 18 के लिए सही पैच उत्पन्न करता है। <ref name="prophet" />
उम्मीदवार पैच उत्पन्न करने का एक तरीका मूल कार्यक्रम पर म्यूटेशन ऑपरेटरों को लागू करना है। उत्परिवर्तन संचालक मूल कार्यक्रम में हेरफेर करते हैं, संभवतः इसके सार सिंटैक्स ट्री प्रतिनिधित्व के माध्यम से, या अधिक मोटे-दाने वाले प्रतिनिधित्व जैसे कि बयान-स्तर या ब्लॉक-स्तर पर काम करना। पहले आनुवांशिक सुधार के दृष्टिकोण बयान स्तर पर काम करते हैं और एक मौजूदा स्रोत को हटाने या एक ही स्रोत फ़ाइल में किसी अन्य कथन के साथ किसी मौजूदा कथन को बदलने के रूप में सरल हटा / प्रतिस्थापित संचालन करते हैं। <ref name=genprog2009 /><ref name="genprog2012">{{cite book|title=2012 34th International Conference on Software Engineering (ICSE)|last1=Le Goues|first1=Claire|last2=Dewey-Vogt|first2=Michael|last3=Forrest|first3=Stephanie|last4=Weimer|first4=Westley|date=2012|publisher=IEEE|isbn=978-1-4673-1067-3|pages=3–13|chapter=A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8 Each|citeseerx=10.1.1.661.9690|doi=10.1109/ICSE.2012.6227211}}</ref> हाल ही के दृष्टिकोण अभ्यर्थी पैच के अधिक विविध सेट उत्पन्न करने के लिए अमूर्त सिंटैक्स ट्री स्तर पर अधिक महीन दाने वाले ऑपरेटरों का उपयोग करते हैं। <ref name=prophet /><ref name=spr />
उम्मीदवार पैच उत्पन्न करने के लिए एक अन्य तरीका फिक्स टेम्प्लेट का उपयोग करना है। आमतौर पर बग्स के विशिष्ट वर्गों को ठीक करने के लिए फिक्स टेम्प्लेट पूर्वनिर्धारित परिवर्तन होते हैं। <ref name=par /> फिक्स टेम्प्लेट के उदाहरणों में यह जाँचने के लिए एक सशर्त विवरण सम्मिलित करना शामिल है कि क्या एक चर का मान शून्य पॉइंटर अपवाद को ठीक करने के लिए अशक्त है, या एक-एक कर त्रुटियों को ठीक करने के लिए एक पूर्णांक स्थिरांक को बदल रहा है। .<ref name="par" /> जनरेट-एंड-वेरिफ़ाइड एप्रोच के लिए स्वचालित रूप से खदानों को ठीक करना भी संभव है। <ref>{{Citation|last=Martinez|first=Matias|title=Ultra-Large Repair Search Space with Automatically Mined Templates: The Cardumen Mode of Astor|date=2018|work=Search-Based Software Engineering|pages=65–86|publisher=Springer International Publishing|language=en|doi=10.1007/978-3-319-99241-9_3|isbn=9783319992402|last2=Monperrus|first2=Martin|arxiv=1712.03854}}</ref><ref>{{Cite journal|last=Koyuncu|first=Anil|last2=Liu|first2=Kui|last3=Bissyandé|first3=Tegawendé F.|last4=Kim|first4=Dongsun|last5=Klein|first5=Jacques|last6=Monperrus|first6=Martin|last7=Le Traon|first7=Yves|date=2020|title=FixMiner: Mining relevant fix patterns for automated program repair|journal=Empirical Software Engineering|language=en|doi=10.1007/s10664-019-09780-z|arxiv=1810.01791}}</ref>
कई उत्पन्न-और-मान्य तकनीक अतिरेक अंतर्दृष्टि पर निर्भर करती हैं: पैच का कोड आवेदन में कहीं और पाया जा सकता है। यह विचार जेनप्रॉग प्रणाली में पेश किया गया था, जहां एएसटी नोड्स के दो ऑपरेटर, इसके अलावा और प्रतिस्थापन, कहीं और से लिए गए कोड पर आधारित थे (यानी एक मौजूदा एएसटी नोड को जोड़ना)। इस विचार को आनुभविक रूप से मान्य किया गया है, दो स्वतंत्र अध्ययनों से पता चला है कि एक महत्वपूर्ण अनुपात (3% -17%) मौजूदा कोड से बना है। <ref>{{Cite book|doi = 10.1145/2591062.2591114|chapter = Do the fix ingredients already exist? An empirical inquiry into the redundancy assumptions of program repair approaches|title = Proceedings of the 36th International Conference on Software Engineering|pages = 492–495|year = 2014|last1 = Martinez|first1 = Matias|last2 = Weimer|first2 = Westley|last3 = Monperrus|first3 = Martin|isbn = 9781450327688|arxiv = 1403.6322|chapter-url=https://hal.archives-ouvertes.fr/hal-00965410/document}}</ref><ref>{{Cite book|doi = 10.1145/2635868.2635898|chapter = The plastic surgery hypothesis|title = Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014|pages = 306–317|year = 2014|last1 = Barr|first1 = Earl T.|last2 = Brun|first2 = Yuriy|last3 = Devanbu|first3 = Premkumar|last4 = Harman|first4 = Mark|last5 = Sarro|first5 = Federica|isbn = 9781450330565|citeseerx = 10.1.1.646.9678}}</ref> इस तथ्य से परे कि पुन: उपयोग करने के लिए कोड कहीं और मौजूद है, यह भी दिखाया गया है कि संभावित मरम्मत सामग्री का संदर्भ उपयोगी है: अक्सर, दाता संदर्भ प्राप्तकर्ता के संदर्भ के समान है। <ref>{{cite book |doi=10.1109/SANER.2019.8668043 |arxiv=1707.04742 |isbn=978-1-7281-0591-8 |chapter=Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities |title=2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER) |pages=479–490 |year=2019 |last1=White |first1=Martin |last2=Tufano |first2=Michele |last3=Martinez |first3=Matias |last4=Monperrus |first4=Martin |last5=Poshyvanyk |first5=Denys }}</ref><ref name="capgen"/>

संश्लेषण-आधारित:
मरम्मत तकनीक मौजूद हैं जो प्रतीकात्मक निष्पादन पर आधारित हैं। उदाहरण के लिए, सेमीफिक्स <ref name="semfix">{{cite book|title=Proceedings of the 2013 International Conference on Software Engineering|last1=Nguyen|first1=Hoang Duong Thien|last2=Qi|first2=Dawei|last3=Roychoudhury|first3=Abhik|last4=Chandra|first4=Satish|date=2013|publisher=IEEE Press|isbn=978-1-4673-3076-3|series=ICSE '13'|location=San Francisco, California|pages=772–781|chapter=SemFix: Program Repair via Semantic Analysis|ref=harv}}</ref> मरम्मत की कमी को दूर करने के लिए प्रतीकात्मक निष्पादन का उपयोग करता है। एंजेलिक्स <ref name="angelix">{{cite book|title=Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, Texas, May 14-22, 2016|last1=Mechtaev|first1=Sergey|last2=Yi|first2=Jooyong|last3=Roychoudhury|first3=Abhik|date=2016|pages=691–701|chapter=Angelix: scalable multiline program patch synthesis via symbolic analysis|ref=harv}}</ref> ने बहुस्तरीय पैच से निपटने के लिए एंजेलिक वन की अवधारणा पेश की।
कुछ मान्यताओं के तहत, संश्लेषण समस्या के रूप में मरम्मत की समस्या का वर्णन करना संभव है। सेमीफिक्स <ref name="semfix"/> and Nopol<ref name="nopol" /> और नोपोल <ref name="nopol" /> घटक-आधारित संश्लेषण का उपयोग करता है। <ref>{{Cite book|last=Jha|first=Susmit|last2=Gulwani|first2=Sumit|last3=Seshia|first3=Sanjit A.|last4=Tiwari|first4=Ashish|date=2010-05-01|title=Oracle-guided component-based program synthesis|publisher=ACM|pages=215–224|doi=10.1145/1806799.1806833|isbn=9781605587196|url=http://techreports.lib.berkeley.edu/accessPages/EECS-2010-15.html}}</ref> डायनामोथ <ref>{{Cite book|last=Durieux|first=Thomas|last2=Monperrus|first2=Martin|date=2016-05-14|title=DynaMoth: dynamic code synthesis for automatic program repair|pages=85–91|chapter-url=https://hal.archives-ouvertes.fr/hal-01279233/document|doi=10.1145/2896921.2896931|chapter=DynaMoth|isbn=9781450341516|url=https://hal.archives-ouvertes.fr/hal-01279233/file/main.pdf}}
</ref> गतिशील संश्लेषण का उपयोग करता है। <ref>{{Cite book|last=Galenson|first=Joel|last2=Reames|first2=Philip|last3=Bodik|first3=Rastislav|last4=Hartmann|first4=Björn|last5=Sen|first5=Koushik|date=2014-05-31|title=CodeHint: dynamic and interactive synthesis of code snippets|publisher=ACM|pages=653–663|doi=10.1145/2568225.2568250|isbn=9781450327565}}</ref> S3 <ref>{{Cite book|last=Le|first=Xuan-Bach D.|last2=Chu|first2=Duc-Hiep|last3=Lo|first3=David|last4=Le Goues|first4=Claire|last5=Visser|first5=Willem|date=2017-08-21|publisher=ACM|pages=593–604|doi=10.1145/3106237.3106309|title=Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017|isbn=9781450351058}}</ref>  सिंटेक्स-निर्देशित संश्लेषण पर आधारित है। <ref>{{Cite book |doi=10.1109/fmcad.2013.6679385|isbn=9780983567837|citeseerx=10.1.1.377.2829|chapter=Syntax-guided synthesis|title=2013 Formal Methods in Computer-Aided Design|pages=1–8|year=2013|last1=Alur|first1=Rajeev|last2=Bodik|first2=Rastislav|last3=Juniwal|first3=Garvit|last4=Martin|first4=Milo M. K.|last5=Raghothaman|first5=Mukund|last6=Seshia|first6=Sanjit A.|last7=Singh|first7=Rishabh|last8=Solar-Lezama|first8=Armando|last9=Torlak|first9=Emina|last10=Udupa|first10=Abhishek}}</ref> सारचरेपइर <ref name="searchrepair">{{cite book|title=Proceedings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering|last1=Ke|first1=Yalin|last2=Stolee|first2=Kathryn|last3=Le Goues|first3=Claire|last4=Brun|first4=Yuriy|date=2015|publisher=ACM|isbn=978-1-5090-0025-8|series=ASE 2015|location=Lincoln, Nebraska|pages=295–306|chapter=Repairing Programs with Semantic Code Search|doi=10.1109/ASE.2015.60|ref=harv}}</ref> संभावित पैच को स म टी फॉर्मूले में परिवर्तित करता है और उम्मीदवार पैच को क्वेरी करता है जो पैच किए गए प्रोग्राम को सभी आपूर्ति किए गए परीक्षण मामलों को पास करने की अनुमति देता है।

डेटा-चालित:
मशीन सीखने की तकनीक स्वचालित बग-फिक्सिंग सिस्टम की प्रभावशीलता में सुधार कर सकती है। <ref name="prophet" />  ऐसी तकनीकों का एक उदाहरण गिटहब और सोर्स फोर्ज में खुले स्रोत रिपॉजिटरी से एकत्र मानव डेवलपर्स से पिछले सफल पैच से सीखता है। <ref name="prophet" /> इसके बाद सभी उत्पन्न उम्मीदवार पैच के बीच संभावित सही पैच को पहचानने और प्राथमिकता देने के लिए सीखा जानकारी का उपयोग करें। <ref name="prophet" /> वैकल्पिक रूप से, पैच को सीधे मौजूदा स्रोतों से खनन किया जा सकता है। उदाहरण के दृष्टिकोण में दाता अनुप्रयोगों से खनन पैच शामिल हैं <ref name="codephage" /> या क्यूए वेब साइटों से। <ref name="QAFix" />
सीक्वेंस र एक-पंक्ति पैच उत्पन्न करने के लिए स्रोत कोड पर अनुक्रम से अनुक्रम सीखने का उपयोग करता है। <ref>{{Cite journal|last=Chen|first=Zimin|last2=Kommrusch|first2=Steve James|last3=Tufano|first3=Michele|last4=Pouchet|first4=Louis-Noel|last5=Poshyvanyk|first5=Denys|last6=Monperrus|first6=Martin|date=2019|title=SEQUENCER: Sequence-to-Sequence Learning for End-to-End Program Repair|journal=IEEE Transactions on Software Engineering|pages=1|doi=10.1109/TSE.2019.2940179|issn=0098-5589|arxiv=1901.01808}}</ref> यह एक तंत्रिका नेटवर्क वास्तुकला को परिभाषित करता है जो स्रोत कोड के साथ अच्छी तरह से काम करता है, प्रतिलिपि तंत्र के साथ टोकन के साथ पैच का उत्पादन करने की अनुमति देता है जो कि सीखा शब्दावली में नहीं हैं। उन टोकन को मरम्मत के तहत जावा वर्ग के कोड से लिया गया है।

==सन्दर्भ==
{{reflist}}

[[श्रेणी:सॉफ़्टवेयर विकास]]