Конференции ИВТ СО РАН

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

27 - 29 ноября 2007 года, Новосибирск

Тезисы докладов

Информационные технологии

Валидация экранных портов в программах на языке COBOL

Бульонков М.А., Тарабухина Н.К.

Институт систем информатики им. А.П. Ершова СО РАН (Новосибирск)

Существенная часть используемых сегодня зарубежных бизнес-приложений написана на старых языках COBOL, PL/I, Natural и др. Для сопровождения или переноса этих приложений на современные языки [1] возникает необходимость понимания их бизнес-логики. Зачастую документация оказывается недостаточно подробной, поэтому приходится восстанавливать логику программы, основываясь на ее коде. Данный процесс является довольно трудоемким, но, несмотря на необходимое участие специалиста по предметной области, некоторая часть процесса может быть автоматизирована [2].

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

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

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

Описанная функциональность реализована в инструменте Business Rule Manager системы Relativity Modernization Workbench( коммерческий продукт компании Relativity Technologies, Inc.).

Литература
1. Автоматизированный реинжиниринг программ / Под ред. проф. А.Н. Терехова и А.А. Терехова. - СПб.: Издательство С.-Петербургского университета, 2000. - 332 с.
2. Вольхина Н. К. Автоматическое восстановление бизнес-логики программ // Молодая информатика. Выпуск 2. - Новосибирск, 2006. - С. 90-102.

Дополнительные материалы: Полный текст доклада
Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии
Обратная связь

[Головная страница]
[Конференции]