Дисертація доктора філософії. Керницький Олег Богданович. Інформаційна технологія розроблення специфікації при реінжинірингу ІТ-проєктів

Реєстраційний номер

0826U003747, Дисертація доктора філософії

На здобуття

Доктор філософії

Дата захисту

14-08-2026

Статус

Захищена

Назва роботи

Інформаційна технологія розроблення специфікації при реінжинірингу ІТ-проєктів

Здобувач

Керницький Олег Богданович,

Керівник Теслюк Василь Миколайович
Керівник Опотяк Юрій Володимирович
Опонент Гнатчук Єлизавета Геннадіївна
Опонент Булах Богдан Вікторович
Рецензент Пукач Андрій Ігорович
Рецензент Сенів Максим Михайлович

Установа, організація, у вченій раді якої відбудеться/відбувся захист

Національний університет "Львівська політехніка"

Опис

Дисертаційна робота присвячена розробленню інформаційної технології підвищення ефективності розроблення та валідації специфікацій вимог ІТ-проєктів у процесі реінжинірингу архаїчних ІТ-систем. Актуальність дослідження зумовлена зростанням кількості задач модернізації застарілих ІТ-систем, для яких характерні неповна або застаріла документація, складна логіка бізнес-процесів, висока взаємозалежність компонентів та ризики втрати функціональної відповідності під час міграції. У першому розділі проведено аналіз сучасних методів, моделей та засобів розроблення специфікацій вимог ІТ-проєктів, методи реінжинірингу програмних систем, типи ІТ-проєктів реінжинірингу та практики формування специфікацій у задачах модернізації архаїчних ІТ-систем. Виявлено основні обмеження існуючих підходів, зокрема залежність від неповної документації та експертних знань, недостатню формальність текстових описів, складність побудови повних моделей великих систем і високу обчислювальну складність їх формальної перевірки. Обґрунтовано необхідність інтегрованого підходу, що поєднує поведінковий аналіз, формалізацію бізнес-процесів і масштабовану статистичну валідацію специфікацій. У другому розділі розроблено моделі та методи інформаційної технології розроблення специфікацій при реінжинірингу архаїчних ІТ-систем. Сформовано метод декомпозиції та аналізу архаїчних ІТ-систем, метод синтезу вимог і специфікацій на основі реверс-інжинірингу та моделі «чорного ящика», метод формалізації бізнес-процесів на основі мереж Петрі та метод статистичної валідації специфікацій. Отримані методичні результати забезпечують структуроване відновлення логіки функціонування системи, синтез вимог за умов неповної документації, формальне подання паралельних, альтернативних і відновлювальних сценаріїв, а також масштабовану перевірку моделей без повного перебору простору станів. У третьому розділі сформовано алгоритмічне забезпечення інформаційної технології. Побудовано алгоритм методу реінжинірингу ІТ-проєктів, алгоритм прийняття рішень і документування розбіжностей, алгоритм формалізації процесів та побудови моделей, а також алгоритм статистичної валідації специфікацій. Це створило алгоритмічну основу перетворення результатів реверс-інжинірингу у формалізовані специфікації, підтримку ітеративного паралельного тестування та забезпечення контрольованого рівня достовірності результатів валідації. У четвертому розділі розроблено структуру інформаційної технології розроблення специфікацій при реінжинірингу архаїчних ІТ-систем, описано особливості розробленого програмного забезпечення, проведено постановку експериментального дослідження та наведено опис експериментальних моделей і процесів. Подано результати статистичної валідації моделей і порівняльний аналіз ефективності запропонованого підходу. Показано, що розроблена інформаційна технологія інтегрує підсистеми реверс-інжинірингу та поведінкового аналізу, формалізації процесів і статистичної валідації специфікацій. За результатами експериментів встановлено, що статистична валідація забезпечує стабілізацію характеристик моделі без повного перебору простору станів і дає змогу зменшити обчислювальні витрати перевірки у 1,5–4 рази порівняно з традиційною формальною верифікацією за збереження необхідного рівня достовірності. У результаті дослідження розроблено інформаційну технологію розроблення специфікацій при реінжинірингу архаїчних ІТ-систем, що охоплює метод декомпозиції та аналізу архаїчних ІТ-систем, метод синтезу вимог на основі реверс-інжинірингу та моделі «чорного ящика», метод формалізації бізнес-процесів на основі мереж Петрі та метод статистичної валідації специфікацій. Крім того, сформовано алгоритми реалізації цих методів, структуру інформаційної технології, програмні засоби автоматизації побудови моделей і статистичної перевірки специфікацій, а також проведено експериментальне дослідження, результати якого підтвердили ефективність розробленого підходу для задач реінжинірингу ІТ-систем. Практичне значення одержаних результатів полягає у побудові структури інформаційної технології розроблення та валідації специфікацій ІТ-проєктів, розробленні алгоритмів і програмних засобів її реалізації, а також в експериментальному підтвердженні ефективності запропонованого підходу на реальних прикладах реінжинірингу ІТ-систем. Застосування розробленої технології дає змогу підвищити якість специфікацій, зменшити ризик функціональних невідповідностей і скоротити трудомісткість етапів аналізу та валідації.

Дата реєстрації

2026-07-17

Додано/оновлено в НРАТ

2026-07-17 / 2026-08-18