УДК: 004.4'242, 004.4'23

Автоматизированная трансформация программ при миграции на новые библиотеки

В. М. Ицыксон, канд. техн. наук, доц., А. В. Зозуля, ассистент, СПбГПУ, e-mail: vlad@ftk.spbstu.ru

Предлагается подход к автоматизированному портированию программ при переходе на использование новых библиотек. Определяются элементы библиотек, влияющие на взаимодействие с приложением. Описывается разработанный язык, позволяющий задавать частичные спецификации поведения библиотек. Проводится анализ семантической совместимости спецификаций двух библиотек. Формулируются правила преобразования программ в соответствии со спецификациями. Описывается разработанный прототип средства портирования.

Ключевые слова: портирование приложений, библиотечное окружение, спецификация библиотек, семантика поведения функций, реинжиниринг, трансформация программ

Стр. 8–14