Реєстраційний номер
0826U004821, Дисертація доктора філософії
На здобуття
Доктор філософії
Дата захисту
26-08-2026
Статус
Захищена
Назва роботи
Моделі та методи інтелектуальної інформаційної технології верифікації якості прикладного програмного коду
Здобувач
Паращенко Владислав Анатолійович,
Керівник Берест Олег Борисович
Опонент Плєхова Ганна Анатоліївна
Опонент Москаленко Валентина Володимирівна
Рецензент Кузіков Борис Олегович
Рецензент Парфененко Юлія Вікторівна
Установа, організація, у вченій раді якої відбудеться/відбувся захист
Сумський державний університет
Опис
Дисертаційна робота присвячена підвищенню якості прикладного програмного коду шляхом розроблення інтелектуальної інформаційної технології його оцінювання. Актуальність дослідження зумовлена зростанням складності програмних систем і потребою в автоматизованих засобах контролю якості, здатних забезпечувати достовірність, адаптивність та інтерпретованість результатів. Об’єктом дослідження є процес оцінювання якості програмного коду за умов апріорної невизначеності, інформаційних і ресурсних обмежень. Предметом дослідження є моделі і методи інформаційної технології оцінювання якості прикладного програмного коду.
Методи дослідження ґрунтуються на положеннях інтелектуального аналізу даних, інформаційно-екстремального машинного навчання, теорії інформації, математичної статистики та об’єктно-орієнтованої методології проектування комплексних систем. Для побудови моделей використано формування простору ознак на основі метрик програмного коду та оптимізацію параметрів навчання за інформаційним критерієм функціональної ефективності.
Проведений аналіз показав обмеженість традиційних засобів статичного аналізу, які використовують фіксовані набори правил і недостатньо враховують контекст програмних компонентів. Водночас методи машинного навчання часто потребують значних обсягів навчальних даних і не забезпечують достатньої пояснюваності. Для усунення цих недоліків запропоновано дворівневу гібридну модель, у якій первинна класифікація виконується на основі експертних правил, а уточнення рішень — із застосуванням інформаційно-екстремального навчання. Інформаційна модель передбачає формування еталонних векторів класів програмних компонентів у бінарному просторі ознак і максимізацію інформаційної спроможності системи в процесі навчання.
Розроблено правило-орієнтовану модель класифікації програмних компонентів за структурними та семантичними характеристиками, модель класифікації на основі інформаційно-екстремальної інтелектуальної технології та модель формування рекомендацій із використанням великих мовних моделей. Запропоновано методи формування й оптимізації словника ознак, бінаризації метрик, налаштування параметрів класифікаційної моделі та підвищення швидкодії навчання із застосуванням паралельних обчислень. Отримані результати спрямовані на підвищення точності класифікації та скорочення часу навчання.
Наукова новизна полягає у розробленні методу дворівневої гібридної технології оцінювання якості програмного коду, що поєднує детерміновані алгоритми статичного аналізу із семантичною валідацією та враховує архітектурний контекст проєкту, забезпечуючи зменшення кількості помилок першого роду. Удосконалено метод формування динамічних правил, який замість фіксованих порогових значень реалізує адаптивні вимоги до коду залежно від типу компонента та його ролі в ієрархії класів. Удосконалено також метод формування рекомендацій на основі структурованого запиту до великих мовних моделей, що поєднує метрики, результати інтелектуальної класифікації та фрагменти коду. Подальшого розвитку набула інформаційна технологія оцінювання якості програмного коду завдяки поєднанню правило-орієнтованої ідентифікації, інформаційно-екстремального навчання та модуля формування рекомендацій.
Практична цінність роботи полягає у створенні інтелектуальної системи підтримки прийняття рішень, яка може інтегруватися у процеси розроблення та безперервної інтеграції, автоматизувати аналіз якості коду і формування рекомендацій щодо його вдосконалення. Отримані результати впроваджено у процеси розроблення програмного коду та використано у навчальному процесі підготовки фахівців у галузі комп’ютерних наук.
Дата реєстрації
2026-08-24
Додано/оновлено в НРАТ
2026-08-24 / 2026-08-28
