Целью этой магистерской диссертации является разработка процедуры автоматизированной миграции Java-программ на новый набор библиотек. Задача миграции (портирования) кода часто встречается в современных программных проектах. Например, такая задача может возникнуть, когда проект необходимо перенести на новую библиотеку или на новую платформу. В данной работе представлена процедура автоматизированной миграции, основанная на семантическом подходе. Для процедуры миграции была разработана метамодель библиотеки, использующая предложенный ранее формализм и предназначенная для описания библиотек на объектно-ориентированных языках. Процедура разбита на пять этапов, каждый этап подробно описан в тексте диссертации. Предложенная процедура реализована в прототипе инструмента миграции. Инструмент включает в себя модули извлечения трассы выполнения программ, визуализации моделей библиотек, взаимодействия с пользователем и непосредственно миграции. Для инструмента был разработан язык описания библиотек. Прототип инструмента был протестирован как на искусственных примерах, так и на существующем проекте. Результаты тестирования показали, что миграция кода может быть успешно автоматизирована, и разработанная процедура может использоваться для решения задачи миграции программного кода.

• ВВЕДЕНИЕ
• 1. Анализ подходов к миграции программ
  • 1.1. Основные особенности задачи миграции
  • 1.2. Критерии оценки подходов к миграции
  • 1.3. Трансляция вызовов
  • 1.4. Виртуализация уровня операционной системы
  • 1.5. Использование программ-оберток
  • 1.6. Синтаксический подход
  • 1.7. Семантический подход
  • 1.8. Выводы
• 2. Постановка задачи и выбор пути решения
  • 2.1. Решаемые задачи
  • 2.2. Формулирование требований к разрабатываемой системе
    • 2.2.1. Требования к процедуре миграции
    • 2.2.2. Требования к прототипу инструмента миграции
    • 2.2.3. Ограничения разрабатываемого прототипа и инструмента миграции
  • 2.3. Анализ задач и выбор пути решения
  • 2.4. Выводы
• 3. Проектирование автоматизированной системы миграции кода
  • 3.1. Построение метамодели
  • 3.2. Разработка процедуры миграции программного кода
    • 3.2.1. Извлечение трассы
    • 3.2.2. Отображение трассы на модель
    • 3.2.3. Поиск эквивалентной трассы
    • 3.2.4. Отображение трассы на АСД
    • 3.2.5. Трансформация программы
  • 3.3. Выводы
• 4. Разработка инструмента автоматизированной миграции Java-программ
  • 4.1. Средства разработки
  • 4.2. Выбор модели кода
  • 4.3. Реализация предложенной процедуры в инструменте миграции
    • 4.3.1. Структура инструмента миграции
    • 4.3.2. Процесс миграции
    • 4.3.3. Отображение трассы на модель библиотеки
    • 4.3.4. Поиск эквивалентной трассы
    • 4.3.5. Отображение трассы на AST
    • 4.3.6. Трансформация программы
  • 4.4. Разработка языка описания моделей библиотек
  • 4.5. Организация взаимодействия системы с пользователем
  • 4.6. Визуализация моделей библиотек
  • 4.7. Получение трассы выполнения
  • 4.8. Выводы
• 5. Тестирование инструмента автоматизированной миграции программ
  • 5.1. Программа тестирования
  • 5.2. Методика тестирования
    • 5.2.1. Написание моделей библиотек
    • 5.2.2. Разработка тестовых примеров
    • 5.2.3. Организация тестовой среды
  • 5.3. Протокол испытаний
  • 5.4. Выводы
• ЗАКЛЮЧЕНИЕ
• СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
• ПРИЛОЖЕНИЕ А. Фрагменты текста программы инструмента автоматизированной миграции
• ПРИЛОЖЕНИЕ Б. Фрагмент текста программы instragram-java-scraper до и после миграции