AG — Alexey Gavrilov home

ΕΡΕΥΝΗΤΙΚΟ ΣΗΜΕΙΩΜΑ

Εντοπισμένη τροποποίηση κώδικα με παραγωγικά μοντέλα

Πώς αποτρέπεται η περιττή επανεγγραφή ολόκληρης της συνάρτησης, διατηρώντας παράλληλα αρκετή ελευθερία ώστε ένα παραγωγικό μοντέλο να επιφέρει τη ζητούμενη αλλαγή στον κώδικα.

Δημοσιευμένο

Κοινοποιήστε αυτή την ερευνητική σημείωσηΚοινοποίηση

ΑΜΕΣΗ ΑΠΑΝΤΗΣΗ

Πώς μπορεί ένα παραγωγικό μοντέλο να τροποποιεί κώδικα χωρίς να επανεγγράφει ολόκληρη τη συνάρτηση;

Ορίστε τις προστατευόμενες και τις επεξεργάσιμες περιοχές πριν από την παραγωγή, επαναχρησιμοποιήστε ή περιορίστε την προστατευόμενη αναπαράσταση, παράγετε μόνο υποψήφιες αλλαγές και απορρίψτε εξόδους που μεταβάλλουν τον προστατευόμενο κώδικα ή αποτυγχάνουν στους ειδικούς ελέγχους του έργου. Η τοπικότητα και η επιτυχία του έργου πρέπει να μετρώνται από κοινού.

Γιατί έχει σημασία η διάκριση

Η μέθοδος και η προβαλλόμενη εγγύηση χρειάζονται το ίδιο παρατηρήσιμο όριο.

Η εντοπισμένη τροποποίηση κώδικα αποτελεί πρόβλημα επεξεργασίας και όχι απλώς μια συντομότερη προτροπή παραγωγής κώδικα. Η είσοδος περιέχει ήδη ένα τεχνούργημα που αξίζει να διατηρηθεί· επομένως, η μέθοδος χρειάζεται ένα ρητό όριο διατήρησης ανάμεσα στην περιοχή που επιτρέπεται να αλλάξει και στις ιδιότητες που πρέπει να παραμείνουν σταθερές.

Το όριο μπορεί να είναι ένα απόσπασμα πηγαίου κώδικα, ένας συντακτικός κόμβος, μια υπογραφή API, μια συμπεριφορά δοκιμής, μια σύμβαση εξάρτησης ή μια εκμαθημένη λανθάνουσα θέση. Οι επιλογές αυτές δεν είναι εναλλάξιμες: καθεμία προστατεύει διαφορετική παρατηρήσιμη ιδιότητα και απαιτεί αντίστοιχο βήμα επαλήθευσης.

Μια πρακτική διαδικασία

  1. Διατυπώστε τη σύμβαση διατήρησης

    Προσδιορίστε την επεξεργάσιμη περιοχή και το ακριβές κείμενο, τη δομή, τη διεπαφή ή τη συμπεριφορά που πρέπει να παραμείνει αμετάβλητη.

  2. Επιλέξτε τη στενότερη χρήσιμη επιφάνεια ελέγχου

    Επαναχρησιμοποιήστε αμετάβλητα τμήματα του πηγαίου κώδικα, εφαρμόστε συμπλήρωση κενών ή αποκωδικοποίηση προσανατολισμένη στην επεξεργασία, επιβάλετε τυπικούς περιορισμούς ή κλειδώστε επιλεγμένες λανθάνουσες θέσεις ανάλογα με την απαιτούμενη ιδιότητα.

  3. Παραγάγετε περιεχόμενο μόνο όπου επιτρέπεται αλλαγή

    Διατηρήστε αρκετή ελευθερία εντός της επεξεργάσιμης περιοχής ώστε να επιλυθεί η εργασία· η αντιγραφή ολόκληρης της εισόδου είναι τοπική, αλλά δεν επιφέρει καμία πρόοδο.

  4. Επαληθεύστε από κοινού την τοπικότητα και την επιτυχία

    Απορρίψτε τις υποψήφιες λύσεις που μεταβάλλουν προστατευόμενες περιοχές, αποτυγχάνουν κατά τη συντακτική ανάλυση ή τη μεταγλώττιση, παραβιάζουν δομικά αναλλοίωτα ή δεν ικανοποιούν τη ζητούμενη αλλαγή.

Αναγκαία τεκμηρίωση

Η ισχύς ενός ισχυρισμού περιορίζεται από την ιδιότητα που μετράται μετά την παραγωγή ή την αποκωδικοποίηση.

  • Diff εκτός περιοχής ή άλλη άμεση μέτρηση της σταθερότητας της προστατευμένης περιοχής.
  • Επιτυχία της εργασίας εντός της επεξεργάσιμης περιοχής.
  • Συντακτική ανάλυση, μεταγλώττιση, δοκιμές, στατικοί έλεγχοι ή αναλλοίωτες ιδιότητες ειδικές για την εργασία, κατά περίπτωση.
  • Ποσοστό μεταβολής της επεξεργάσιμης περιοχής, ώστε η αντιγραφή να μη συγχέεται με τον έλεγχο.
  • Μοναδικότητα υποψηφίων και μεταβλητότητα μεταξύ επαναλαμβανόμενων εκτελέσεων, ώστε η τοπικότητα να μη συγχέεται με την κατάρρευση τρόπων.

Τι αναφέρει η σχετική μελέτη

  • Το σχετικό πείραμα συμπιέζει συναρτήσεις Python 64 διακριτικών σε ιεραρχικές διακριτές θέσεις και παράγει εκ νέου επιλεγμένες λανθάνουσες θέσεις υπό μερικούς περιορισμούς.
  • Το κλείδωμα τεσσάρων κωδίκων ανώτατου επιπέδου αύξησε το ποσοστό συντακτικής ανάλυσης από 0.453 σε 0.591, ενώ οι μη κλειδωμένες θέσεις άλλαξαν με ρυθμό 0.936 και η μοναδικότητα των υπό συνθήκη δειγμάτων παρέμεινε 0.998.
  • Οι μετρήσεις αυτές αναδεικνύουν μια αντιστάθμιση σταθερότητας–ελευθερίας πάνω από το επίπεδο των λεκτικών μονάδων· δεν αποδεικνύουν την ακριβή διατήρηση τμήματος πηγαίου κώδικα, AST, σημασιολογίας ή συμπεριφοράς.

Διαβάστε την επισκόπηση της δημοσίευσης Αναζήτηση στο πλήρες κείμενο της εργασίας

Όριο πεδίου εφαρμογής

  • Ένας κλειδωμένος λανθάνων κώδικας δεν συνιστά αυτομάτως κόμβο AST, προστατευμένο εύρος πηγαίου κώδικα ή τυπική αναλλοίωτη ιδιότητα.
  • Το ποσοστό επιτυχούς συντακτικής ανάλυσης τεκμηριώνει τη συντακτική ορθότητα, όχι τη λειτουργική ορθότητα ή την επιτυχή επιδιόρθωση.
  • Τα αναφερόμενα τεκμήρια προέρχονται από σύντομες προεπεξεργασμένες συναρτήσεις Python και δεν θεμελιώνουν συμπεριφορά σε κλίμακα αποθετηρίου.
Συγκρίνετε επιφάνειες ελέγχου τοπικής επεξεργασίας

Πρωτεύουσες και συναφείς πηγές

Ανατρέξτε στις συνδεδεμένες εργασίες για τις αρχικές μεθόδους, τις μετρήσεις και τους δηλωμένους περιορισμούς.

  1. Inspectable Control for Structure-Preserving Software Regeneration

    Κύρια εργασία και πείραμα οριοθετημένης παραγωγής με ιεραρχικές λανθάνουσες αναπαραστάσεις.

  2. EfficientEdit: Accelerating Code Editing via Edit-Oriented Speculative Decoding

    Αποκωδικοποίηση προσανατολισμένη στην επεξεργασία, η οποία επαναχρησιμοποιεί τις αμετάβλητες περιοχές της πηγής.

  3. PAFT: Preservation Aware Fine-Tuning for Minimal-Edit Program Repair

    Καθιστά ρητές τη διατήρηση και την ελάχιστη αλλαγή κατά την εκπαίδευση για επιδιόρθωση προγραμμάτων.