Рефакторинг объектно-ориентированных программ на основе теории LP-структур

  • Сергей Дмитриевич Махортов Воронежский государственный университет
  • Александр Алексеевич Ногих Воронежский государственный университет
Ключевые слова: рефакторинг, ООП, иерархия типов, LP-структуры, автоматизация, инструментальные средства разработки

Аннотация

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

Скачивания

Данные скачивания пока не доступны.

Биографии авторов

Сергей Дмитриевич Махортов, Воронежский государственный университет

д-р физ.-мат. наук, заведующий кафедрой программирования и информационных технологий, Воронежский государственный университет

Александр Алексеевич Ногих, Воронежский государственный университет

магистрант 2 года обучения кафедры программирования и информационных технологий факультета компьютерных наук Воронежского государственного университета

Литература

1. Фаулер, М. Рефакторинг: улучшение существующего кода / М. Фаулер. – Пер. с англ. – СПб. : Символ-Плюс, 2003. – 432 с.
2. Mens, T. A survey of software refactoring / T. Mens, T. Tourwe // Software Engineering IEEE Transactions. – 2005. – Vol. 30. – P. 126–139.
3. Махортов, С. Д. LP-структуры на решетках типов и некоторые задачи рефакторинга / С. Д. Махортов // Программирование. – 2009. – Т. 35, No 4. – C. 5–14.
4. Godin, R. Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development / R. Godin, P. Valtchev // Formal Concept Analysis / еds. B. Ganter, G. Stumme, R. Wille // Lecture Notes In Com-puter Science. – Springer Berlin/Heidelberg. – 2005. – Vol. 3626. – P. 304–323.
5. Kosowski, A. Classical coloring of graphs / Adrian Kosowski, Krzysztof Manuszewski // Contemporary Mathematics. – 2004. – Vol. 352. – P. 1–19.
Опубликован
2019-03-25
Как цитировать
Махортов, С. Д., & Ногих, А. А. (2019). Рефакторинг объектно-ориентированных программ на основе теории LP-структур. Вестник ВГУ. Серия: Системный анализ и информационные технологии, (2), 75-83. https://doi.org/10.17308/sait.2019.2/1291
Раздел
Современные технологии разработки программного обеспечения