Рефакторинг исходного кода на основе LLM и расширения UML

Труды Института системного программирования РАН. 2026. Т. 38. № 3. С. 67–94.

Караваева Е. А., Кулигин Л. А., Резуник Л., Александров Д. В.

В статье представлен метод рефакторинга исходного кода на основе интеграции большой языковой модели (LLM) и расширенной UML-модели программного кода. Предложенный подход позволяет выявлять проблемные участки кода с использованием функций тревожности и структурных метрик классов, а затем выполнять автоматизированный рефакторинг. Ключевой особенностью метода является использование LLM для генерации формальных спецификаций на языке OCL (Object Constraint Language), которые затем используются для автоматической верификации корректности преобразований через проверку инвариантов, пред- и постусловий. Расширение UML включает локальные переменные, действия методов и связи между ними, что обеспечивает низкоуровневый анализ и корректное преобразование кода. Экспериментальная проверка показала, что метод LLM + UML* обеспечивает высокую точность обнаружения дефектов, полное устранение функций тревожности, сохранение функциональности системы.

Ключевые слова: большая языковая модель, рефакторинг исходного кода, язык моделирования UML, расширение модели, функции тревожности, автоматизация анализа кода, объектный язык ограничений OCL