ΕΡΕΥΝΗΤΙΚΟ ΣΗΜΕΙΩΜΑ
Αναδόμηση υποβοηθούμενη από ΤΝ: μέθοδοι και τεκμήρια
Πώς να αξιολογούνται οι πρόσφατες μέθοδοι αναδόμησης με υποστήριξη ΤΝ, χωρίς να συγχέεται μια εύλογη παραγόμενη διόρθωση με την επαληθευμένη διατήρηση της συμπεριφοράς.
ΑΜΕΣΗ ΑΠΑΝΤΗΣΗ
Ποιες μέθοδοι και ποια τεκμήρια έχουν σημασία για την υποβοηθούμενη από ΤΝ αναδόμηση με διατήρηση της συμπεριφοράς;
Διαχωρίστε την πρόταση μετασχηματισμού από την αξιόπιστη εκτέλεση και επαλήθευση. Όπου είναι δυνατόν, αφήστε το μοντέλο να εντοπίσει μια αναδόμηση και εφαρμόστε την μέσω μηχανής αναδόμησης· κατόπιν απαιτήστε μεταγλώττιση, δοκιμές, στατικούς ελέγχους και τεκμήρια ότι πραγματοποιήθηκε ο επιδιωκόμενος μετασχηματισμός.
Γιατί έχει σημασία η διάκριση
Η μέθοδος και η προβαλλόμενη εγγύηση χρειάζονται το ίδιο παρατηρήσιμο όριο.
Η αναδόμηση αναμένεται να διατηρεί την παρατηρήσιμη συμπεριφορά, βελτιώνοντας παράλληλα την εσωτερική δομή. Ένα γλωσσικό μοντέλο μπορεί να προτείνει μια πειστική επανεγγραφή χωρίς να τεκμηριώνει κανένα από τα δύο σκέλη αυτής της σύμβασης· συνεπώς, η επιφανειακή αληθοφάνεια δεν επαρκεί.
Πρόσφατες εργασίες διαχωρίζουν τους ρόλους με διαφορετικούς τρόπους: ένα μοντέλο μπορεί να προσδιορίζει έναν γνωστό μετασχηματισμό, ο οποίος εκτελείται από αξιόπιστη μηχανή, ή να παράγει μια ενημέρωση κώδικα που στη συνέχεια υποβάλλεται σε μεταγλώττιση, δοκιμές, στατική ανάλυση και ανίχνευση αναδόμησης. Η επιφάνεια επαλήθευσης έχει εξίσου μεγάλη σημασία με το μοντέλο.
Μια πρακτική διαδικασία
Καθορίστε την επιδιωκόμενη αναδόμηση
Προσδιορίστε τη δομική μεταβολή και τη συμπεριφορά που πρέπει να παραμείνει σταθερή, αντί να ζητήσετε έναν γενικό καθαρισμό.
Προτιμήστε αξιόπιστη εκτέλεση για γνωστούς μετασχηματισμούς
Όταν μια μηχανή αναδόμησης υποστηρίζει τη λειτουργία, χρησιμοποιήστε το μοντέλο για τον εντοπισμό ή την επιλογή παραμέτρων και τη μηχανή για την εφαρμογή της.
Επαληθεύστε τις παραγόμενες διορθώσεις σε επίπεδο αποθετηρίου
Μεταγλωττίστε, εκτελέστε τις σχετικές δοκιμές, εφαρμόστε στατικούς ελέγχους και επιβεβαιώστε ότι πραγματοποιήθηκε η επιδιωκόμενη αναδόμηση χωρίς άσχετες αλλαγές.
Έλεγχος υπολειπόμενου κινδύνου
Καταγράψτε συμπεριφορές που δεν καλύπτονται, ασταθείς δοκιμές, επιδράσεις μεταξύ αρχείων και περιπτώσεις στις οποίες δεν κατέστη δυνατό να επαληθευτεί μια εύλογη ενημέρωση κώδικα.
Αναγκαία τεκμηρίωση
Η ισχύς ενός ισχυρισμού περιορίζεται από την ιδιότητα που μετράται μετά την παραγωγή ή την αποκωδικοποίηση.
- Ο μετασχηματισμός προσδιορίζεται ρητά και δεν περιγράφεται απλώς ως βελτίωση της ποιότητας του κώδικα.
- Η μεταγλώττιση και οι σχετικές δοκιμές ολοκληρώνονται επιτυχώς μετά την αλλαγή.
- Οι στατικοί έλεγχοι και η ανίχνευση αναδόμησης υποστηρίζουν τον ισχυρισμό περί δομής.
- Οι άσχετες διαφορές εκτός του επιδιωκόμενου πεδίου μετρώνται ή εξετάζονται.
- Δηλώνονται τα συμφραζόμενα του αποθετηρίου και οι περιορισμοί της κάλυψης δοκιμών.
Τι αναφέρει η σχετική μελέτη
- Η εργασία του ιστότοπου για τον ιεραρχικό λανθάνοντα έλεγχο παρέχει συναφή τεκμήρια σχετικά με την οριοθετημένη παραγωγή και όχι ένα σύνολο αναφοράς για αναδόμηση με διατήρηση της συμπεριφοράς.
- Οι μετρήσεις του για το ποσοστό συντακτικής ανάλυσης, την ελευθερία επεξεργασίας και την ποικιλομορφία μπορούν να καθοδηγήσουν τον σχεδιασμό της επιφάνειας ελέγχου, αλλά δεν υποκαθιστούν τη μεταγλώττιση, τις δοκιμές ή την ανίχνευση αναδόμησης.
- Για τους ισχυρισμούς περί αναδόμησης, το συμβόλαιο τεκμηρίωσης πρέπει να εξακολουθεί να λαμβάνει υπόψη τόσο τη συμπεριφορά όσο και το αποθετήριο.
Διαβάστε την επισκόπηση της δημοσίευσης Αναζήτηση στο πλήρες κείμενο της εργασίας
Όριο πεδίου εφαρμογής
- Η επιτυχής ολοκλήρωση των διαθέσιμων δοκιμών δεν αποδεικνύει σημασιολογική ισοδυναμία για συμπεριφορές που δεν έχουν δοκιμαστεί.
- Ένα μικρότερο diff δεν αποτελεί αυτομάτως ορθή αναδόμηση.
- Το συνδεδεμένο πείραμα του ιστοτόπου καλύπτει σύντομες συναρτήσεις Python και δεν αξιολογεί αναδόμηση σε επίπεδο αποθετηρίου.
Πρωτεύουσες και συναφείς πηγές
Ανατρέξτε στις συνδεδεμένες εργασίες για τις αρχικές μεθόδους, τις μετρήσεις και τους δηλωμένους περιορισμούς.
- An Empirical Study on the Potential of LLMs in Automated Software Refactoring
Μελετά αναδομήσεις που προτείνονται από LLM και την αξιόπιστη επανεφαρμογή τους μέσω μηχανής αναδόμησης.
- SWE-Refactor: A Repository-Level Benchmark for Real-World LLM-Based Code Refactoring
Μεταγλώττιση, δοκιμές και αξιολόγηση προσανατολισμένη στην αναδόμηση σε επίπεδο αποθετηρίου.
- Inspectable Control for Structure-Preserving Software Regeneration
Συναφή τεκμήρια οριοθετημένης παραγωγής και ρητοί περιορισμοί.