Inspectable Control for Structure-Preserving Software Regeneration

Русское вспомогательное название: «Проверяемое управление регенерацией ПО с сохранением структуры»

Исследовательский вопрос: Как генеративная модель может изменять выбранные части программы, сохраняя заданные элементы структуры верхнего уровня?

Аннотация: Рабочие процессы разработки ПО — ограниченное исправление, поэтапное уточнение и модификация с сохранением структуры — требуют контролировать, что меняется, а что остается неизменным. Генерация на уровне токенов слабо подходит для такого управления: она ограничивает локальный поверхностный текст, а не структурные инварианты верхнего уровня, которые обычно требуется сохранить. Мы рассматриваем иерархические дискретные латентные переменные как проверяемое промежуточное представление программных артефактов: иерархический VQ-VAE сжимает функцию Python из 64 токенов в дискретные коды верхнего и нижнего уровней, а маскированная дискретная генерация обновляет только выбранные позиции при частичных ограничениях. На 2000 предварительно обработанных функциях Python фиксация четырех кодов верхнего уровня повышает долю синтаксически разбираемых результатов с 0,453 до 0,591, сохраняя значительные изменения в незаблокированных позициях (свобода редактирования 0,936) и почти максимальную уникальность образцов (разнообразие 0,998). При фиксированном контексте верхнего уровня уточнение нижнего уровня слабее, но остается монотонным, что соответствует интерпретации иерархии от общего к детальному. Результаты дают первые свидетельства существования практического слоя управления для ограниченной регенерации программных артефактов с сохранением структуры над уровнем токенов.

Ключевой результат: Фиксация латентных кодов верхнего уровня повышает синтаксическую стабильность, не подавляя изменения в редактируемой области; результат демонстрирует управление структурой, но не гарантирует функциональную эквивалентность.

Границы доказательств: Исследование ограничено короткими функциями Python, усеченными до 64 токенов. При оценке используется декодирование argmax и синтаксические или структурные прокси, а не тесты функциональной эквивалентности. Точное сохранение подписи остается слабым. Контроль нижнего уровня слабее контроля верхнего уровня. Скрытые позиции еще не согласованы с семантическими областями, такими как диапазоны AST, сигнатуры или структура потока управления. Результаты не подтверждают правильность практического ремонта, рефакторинга или изменений на уровне репозитория.

Русская страница: https://aogavrilov.com/ru/publications/inspectable-control/
Официальная английская страница: https://aogavrilov.com/publications/inspectable-control/
Полный текст статьи на английском: https://aogavrilov.com/publications/inspectable-control/full-text/
Официальный PDF на английском: https://aogavrilov.com/publications/inspectable-control/paper.pdf
DOI: https://doi.org/10.1145/3803437.3807386