ARAŞTIRMA NOTU
Üretici modellerle yerelleştirilmiş kod değişikliği
Üretici modele istenen kod değişikliğini yapabilecek ölçüde serbestlik tanırken işlevin tamamının gereksiz yere yeniden yazılması nasıl önlenir?
DOĞRUDAN YANIT
Üretici bir model, işlevin tamamını yeniden yazmadan kodu nasıl değiştirebilir?
Üretimden önce korunan ve düzenlenebilir bölgeleri tanımlayın, korunan temsili yeniden kullanın veya kısıtlayın, yalnızca aday değişiklikleri üretin ve korunan kodu değiştiren ya da göreve özgü denetimlerden geçemeyen çıktıları reddedin. Yerellik ile görev başarısı birlikte ölçülmelidir.
Bu ayrım neden önemlidir?
Yöntem ile öne sürülen güvence aynı gözlemlenebilir sınıra dayanmalıdır.
Yerelleştirilmiş kod değişikliği, yalnızca daha kısa bir kod üretim istemi değil, bir düzenleme problemidir. Girdi hâlihazırda korunmaya değer bir yapıt içerdiğinden, yöntemin değişmesine izin verilen bölge ile kararlı kalması gereken özellikler arasında açık bir koruma sınırı tanımlaması gerekir.
Sınır; bir kaynak kod aralığı, sözdizimi düğümü, API imzası, test davranışı, bağımlılık sözleşmesi veya öğrenilmiş gizil konum olabilir. Bu seçenekler birbirinin yerine kullanılamaz: her biri gözlemlenebilir farklı bir özelliği korur ve buna uygun bir doğrulama adımı gerektirir.
Uygulamaya dönük bir yöntem
Koruma sözleşmesini belirtin
Düzenlenebilir bölgeyi ve kesinlikle değişmeden kalması gereken metni, yapıyı, arayüzü ya da davranışı belirleyin.
İşe yarayan en dar denetim yüzeyini seçin
Değişmemiş kaynak bölümlerini yeniden kullanın; boşluk doldurma veya düzenleme odaklı kod çözme uygulayın, biçimsel kısıtlar getirin ya da gerekli özelliğe göre seçili örtük konumları kilitleyin.
Yalnızca değişikliğe izin verilen yerlerde üretin
Görevi çözebilmek için düzenlenebilir bölgede yeterli serbestlik bırakın; girdinin tamamını kopyalamak yereldir, ancak hiçbir ilerleme sağlamaz.
Yerelliği ve başarıyı birlikte doğrulayın
Korunan bölgeleri değiştiren, ayrıştırma veya derlemede başarısız olan, yapısal değişmezleri ihlal eden ya da istenen değişikliği karşılamayan adayları reddedin.
Gerekli tutulacak kanıt
Bir iddianın gücü, üretim veya kod çözme sonrasında ölçülen özelliğin sağladığı kanıtla sınırlıdır.
- Bölge dışındaki fark veya korunan bölgenin kararlılığını doğrudan ölçen başka bir ölçüt.
- Düzenlenebilir bölge içindeki görev başarısı.
- Uygun olduğu ölçüde ayrıştırma, derleme, testler, statik denetimler veya göreve özgü değişmezler.
- Kopyalamanın denetim sanılmaması için düzenlenebilir bölgedeki değişim oranı.
- Yerelliğin mod çökmesiyle karıştırılmaması için adayların benzersizliği ve yinelenen çalıştırmalar arasındaki değişkenlik.
Bağlantısı verilen çalışmanın bildirdikleri
- Bağlantısı verilen deney, 64 belirteçli Python işlevlerini hiyerarşik ayrık konumlara sıkıştırır ve seçili gizil konumları kısmi kısıtlar altında yeniden üretir.
- Üst düzey dört kodun kilitlenmesi ayrıştırma oranını 0.453'ten 0.591'e yükseltirken kilidi açık konumlar 0.936 oranında değişti ve koşullu örneklerin 0.998'i benzersiz kaldı.
- Bu ölçümler, belirteç düzeyinin üzerinde bir kararlılık-serbestlik ödünleşimini görünür kılar; kaynak aralığının, AST'nin, anlamın veya davranışın tam olarak korunduğunu kanıtlamaz.
Kapsam sınırı
- Kilitli bir gizil kod kendiliğinden bir AST düğümü, korunan kaynak aralığı veya biçimsel değişmez değildir.
- Ayrıştırma oranı, işlevsel doğruluğu veya başarılı onarımı değil, sözdizimsel iyi biçimliliği ortaya koyar.
- Bildirilen kanıtlar, ön işlemden geçirilmiş kısa Python işlevlerinden gelmekte ve depo ölçeğindeki davranışı ortaya koymamaktadır.
Birincil ve yakın kaynaklar
Özgün yöntemler, ölçümler ve belirtilen sınırlılıklar için bağlantısı verilen makalelere başvurun.
- Inspectable Control for Structure-Preserving Software Regeneration
Temel makale ve sınırları belirlenmiş hiyerarşik gizil temsil deneyi.
- EfficientEdit: Accelerating Code Editing via Edit-Oriented Speculative Decoding
Kaynağın değişmeyen bölgelerini yeniden kullanan, düzenleme odaklı kod çözme.
- PAFT: Preservation Aware Fine-Tuning for Minimal-Edit Program Repair
Program onarımı eğitiminde korumayı ve asgari değişikliği açık hâle getirir.