DOI: 10.17587/prin.10.195-203

УДК: 004.4'2

Применение LP-структур для автоматизации рефакторинга объектно-ориентированных программ

С. Д. Махортов, д-р физ.-мат. наук, зав. каф., e-mail: msd_exp@outlook.com, А. А. Ногих, магистрант, e-mail: a.nogikh@yandex.ru, Воронежский государственный университет

Рассмотрены вопросы автоматизации рефакторинга программ, основанных на парадигме объектно-ориентированного программирования. В качестве математической основы подхода предложен специальный класс алгебраических систем — LP-структуры на решетках типов. Обоснован способ автоматизации рефакторинга, учитывающий свойства отдельных типов и их атрибутов. Описаны условия, достаточные для проведения практической оптимизации иерархии типов программной системы.

Ключевые слова: рефакторинг, объектно-ориентированное программирование, иерархия типов, LP-структуры, автоматизация, инструментальные средства разработки

Стр. 195–203

Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта № 19-07-00037.