संशोधन टिपण
निर्मितीक्षम प्रतिमानांसह स्थानिकीकृत कोड बदल
निर्मितिक्षम प्रतिमानाला अपेक्षित कोड-बदल करण्याइतके स्वातंत्र्य राखून संपूर्ण फलनाचे अनावश्यक पुनर्लेखन कसे टाळावे.
थेट उत्तर
संपूर्ण फलन पुन्हा न लिहिता निर्मितिक्षम मॉडेल संकेतामध्ये बदल कसे करू शकते?
निर्मितीपूर्वी संरक्षित आणि संपादनक्षम प्रदेश निश्चित करा, संरक्षित निरूपणाचा पुनर्वापर करा किंवा त्यावर निर्बंध घाला, केवळ संभाव्य बदल निर्माण करा आणि संरक्षित कोड बदलणारी किंवा कार्य-विशिष्ट तपासण्यांत अपयशी ठरणारी निष्पन्ने नाकारा. स्थानिकता आणि कार्य-सफलता यांचे मापन एकत्र केले पाहिजे.
हा भेद महत्त्वाचा का आहे
पद्धत आणि दावा केलेली हमी यांसाठी समान निरीक्षणयोग्य सीमा आवश्यक आहे.
स्थानिकीकृत कोड बदल ही संपादनाची समस्या आहे; ती केवळ कोड निर्मितीसाठीची अधिक लहान सूचना नाही. निविष्टीत आधीपासूनच जतन करण्याजोगी कलाकृती असल्यामुळे, बदलास अनुमती असलेला प्रदेश आणि स्थिर राहणे आवश्यक असलेले गुणधर्म यांच्यात पद्धतीने स्पष्ट संरक्षण-सीमा आखली पाहिजे.
सीमा ही स्रोत-व्याप्ती, वाक्यरचना नोड, API स्वाक्षरी, चाचणी वर्तन, अवलंबित्व करार किंवा शिकलेले सुप्त स्थान असू शकते. हे पर्याय परस्परविनिमययोग्य नाहीत: प्रत्येक पर्याय वेगळा निरीक्षणयोग्य गुणधर्म संरक्षित करतो आणि त्याला अनुरूप सत्यापन टप्पा आवश्यक असतो.
व्यावहारिक कार्यपद्धती
जतन-करार नमूद करा
संपादनयोग्य प्रदेश तसेच अपरिवर्तित राहणे आवश्यक असलेला नेमका मजकूर, संरचना, अंतराफलक किंवा वर्तन ओळखा.
उपयुक्त ठरणारा सर्वांत मर्यादित नियंत्रण पृष्ठभाग निवडा
अपरिवर्तित स्रोत-खंडांचा पुनर्वापर करा, अंतर्भरण किंवा संपादनाभिमुख डीकोडिंग वापरा, औपचारिक बंधने लागू करा किंवा आवश्यक गुणधर्मानुसार निवडक सुप्त स्थाने कुलूपबंद करा.
बदलास परवानगी असलेल्या ठिकाणीच निर्मिती करा
कार्य सोडवण्यासाठी संपादनयोग्य प्रदेशात पुरेसे स्वातंत्र्य ठेवा; संपूर्ण निविष्ट प्रतिलिपित करणे स्थानिक असले, तरी त्यामुळे कोणतीही प्रगती होत नाही.
स्थानिकता आणि यश यांची एकत्र पडताळणी करा
संरक्षित भाग बदलणारे, पार्सिंग किंवा संकलनात अपयशी ठरणारे, संरचनात्मक न बदलणाऱ्या अटींचे उल्लंघन करणारे किंवा मागितलेला बदल पूर्ण न करणारे उमेदवार नाकारा.
आवश्यक पुरावा
निर्मिती किंवा विसंकेतनानंतर मोजलेल्या गुणधर्माइतकाच एखादा दावा सबळ असतो.
- क्षेत्राबाहेरील फरक किंवा संरक्षित क्षेत्राच्या स्थैर्याचे अन्य थेट मापन.
- संपादनयोग्य क्षेत्रातील कार्य-सफलता.
- लागू असेल त्यानुसार पार्सिंग, संकलन, चाचण्या, स्थिर तपासण्या किंवा कार्यविशिष्ट अपरिवर्तनीय गुणधर्म.
- प्रत बनवण्याला चुकून नियंत्रण समजले जाऊ नये म्हणून संपादनयोग्य भागातील बदलाचा दर.
- स्थानिकतेची मोड कोसळण्याशी गल्लत होऊ नये म्हणून उमेदवारांचे अद्वितीयत्व आणि पुनरावृत्त धावांतील परिवर्तनशीलता.
जोडलेला अभ्यास काय नोंदवतो
- संदर्भित प्रयोग 64-token Python फलने श्रेणीबद्ध विविक्त स्थानांत संक्षिप्त करतो आणि अंशतः निर्बंधांखाली निवडक सुप्त स्थाने पुन्हा निर्माण करतो.
- चार सर्वोच्च-स्तरीय कोड कुलूपबंद केल्याने विश्लेषण दर 0.453 वरून 0.591 झाला; कुलूपमुक्त स्थाने 0.936 दराने बदलली आणि सशर्त नमुने 0.998 अद्वितीय राहिले.
- ही मोजमापे टोकन स्तराच्या वरची स्थैर्य–स्वातंत्र्य तडजोड उघड करतात; ती अचूक स्रोत-खंड, AST, अर्थ किंवा वर्तनाचे जतन सिद्ध करत नाहीत.
व्याप्ती-सीमा
- कुलूपबंद सुप्त संकेतांक आपोआप AST नोड, संरक्षित स्रोत-खंड किंवा औपचारिक अपरिवर्तनीय राशी ठरत नाही.
- पार्सिंग दर वाक्यरचनात्मक सुगठितता सिद्ध करतो; कार्यात्मक अचूकता किंवा यशस्वी दुरुस्ती नव्हे.
- नोंदवलेला पुरावा पूर्वप्रक्रिया केलेल्या लघु Python फलनांमधून मिळाला असून तो रिपॉझिटरी-स्तरीय वर्तन प्रस्थापित करत नाही.
प्राथमिक आणि संबंधित स्रोत
मूळ पद्धती, मोजमापे आणि नमूद मर्यादांसाठी जोडलेले शोधनिबंध पाहा.
- Inspectable Control for Structure-Preserving Software Regeneration
मुख्य शोधलेख आणि मर्यादित श्रेणीबद्ध-सुप्त प्रयोग.
- EfficientEdit: Accelerating Code Editing via Edit-Oriented Speculative Decoding
न बदललेले स्रोत-भाग पुन्हा वापरणारे संपादनाभिमुख विसंकेतन.
- PAFT: Preservation Aware Fine-Tuning for Minimal-Edit Program Repair
प्रोग्राम-दुरुस्ती प्रशिक्षणात संरक्षण आणि किमान बदल स्पष्ट करते.