Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397

Номер 6 2012 год

УДК: 004.4'242, 004.4'23
Автоматизированная трансформация программ при миграции на новые библиотеки
В. М. Ицыксон, канд. техн. наук, доц., А. В. Зозуля, ассистент, СПбГПУ, e-mail: vlad@ftk.spbstu.ru

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

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