مذكرة بحثية
تعديل الشيفرة موضعيًا باستخدام النماذج التوليدية
كيفية تجنّب إعادة كتابة الدالة كاملةً بلا داعٍ، مع الإبقاء على حرية كافية تتيح للنموذج التوليدي إجراء التغيير المطلوب في الشيفرة.
إجابة مباشرة
كيف يستطيع نموذج توليدي تعديل الشيفرة من دون إعادة كتابة الدالة بأكملها؟
حدّد المناطق المحمية والقابلة للتحرير قبل التوليد، وأعد استخدام التمثيل المحمي أو قيّده، وولّد التغييرات المرشحة وحدها، وارفض المخرجات التي تغيّر الشفرة المحمية أو تُخفق في فحوص المهمة. ويجب قياس الموضعية ونجاح المهمة معًا.
لماذا يهم هذا التمييز؟
يحتاج المنهج والضمان المدّعى إلى الحدود القابلة للملاحظة نفسها.
تعديل الشيفرة موضعيًا مسألة تحرير، وليس مجرد موجّه أقصر لتوليد الشيفرة. فالمدخل يتضمن أصلًا مصنوعًا جديرًا بالحفاظ عليه، ولذلك تحتاج الطريقة إلى حدّ حفاظ صريح يفصل بين المنطقة المسموح بتغييرها والخصائص التي يجب أن تظل مستقرة.
قد تتمثل الحدود في مقطع من المصدر، أو عقدة نحوية، أو توقيع API، أو سلوك اختبار، أو عقد اعتماد، أو موضع كامن متعلَّم. وهذه الخيارات غير قابلة للاستبدال فيما بينها: فكل منها يحمي خاصية مختلفة قابلة للملاحظة، ويتطلب خطوة تحقق ملائمة.
إجراء عملي
حدّد عقد الحفاظ
حدّد المنطقة القابلة للتحرير، والنص أو البنية أو الواجهة أو السلوك الذي يجب أن يظل دون تغيير على وجه الدقة.
اختر أضيق واجهة تحكم مفيدة
أعِد استخدام مقاطع المصدر غير المتغيرة، واستعمل ملء الفراغات أو فك الترميز الموجَّه نحو التحرير، وطبّق قيودًا صورية، أو ثبّت مواضع كامنة محددة وفق الخاصية المطلوبة.
ولّد فقط حيث يُسمح بالتغيير
أبقِ قدرًا كافيًا من الحرية داخل المنطقة القابلة للتحرير لحل المهمة؛ فنسخ المدخل كاملًا إجراء موضعي، لكنه لا يحرز أي تقدم.
تحقق من الموضعية والنجاح معًا
ارفض البدائل التي تغيّر المناطق المحمية، أو تفشل في التحليل النحوي أو التصريف، أو تنتهك ثوابت البنية، أو لا تحقق التغيير المطلوب.
الأدلة الواجب اشتراطها
لا تتجاوز قوة الادعاء قوة الخاصية المقيسة بعد التوليد أو فك الترميز.
- الفرق خارج المنطقة أو مقياس مباشر آخر لاستقرار المنطقة المحمية.
- نجاح المهمة داخل المنطقة القابلة للتحرير.
- التحليل النحوي، أو التصريف، أو الاختبارات، أو الفحوص الساكنة، أو الثوابت الخاصة بالمهمة، بحسب مقتضى الحال.
- معدل التغيير في المنطقة القابلة للتحرير، كي لا يُساء اعتبار النسخ تحكمًا.
- تفرّد الحلول المرشحة والتباين بين التشغيلات المتكررة، كي لا يُخلط بين الموضعية وانهيار الأنماط.
ما الذي تبلّغ عنه الدراسة المرتبطة؟
- تضغط التجربة المرتبطة دوال Python من 64 رمزًا إلى مواضع متقطعة هرمية، وتعيد توليد مواضع كامنة مختارة في ظل قيود جزئية.
- رفع تثبيت أربع شيفرات عليا معدل التحليل من 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
يجعل الحفاظ والتغيير الأدنى صريحين في تدريب إصلاح البرامج.