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

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

0415U006183, Кандидатська дисертація

На здобуття

к.т.н.

Дата захисту

06-11-2015

Статус

Захищена

Назва роботи

Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм

Здобувач

Богдан Ірина Валентинівна,

Керівник Литвинов Віталій Васильович
Опонент Чеботарьов Анатолій Миколайович
Опонент Луцик Сергій Леонідович

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

Чернігівський національний технологічний університет

Опис

Об'єкт - процес верифікації моделей об'єктно-орієнтованого програмного забезпечення. Мета - створення методів та інструментальних засобів верифікації моделей об'єктно-орієнтованих програм, що дозволяють зменшити кількість помилок, що виникають в процесі розробки програмного забезпечення. Методи: абстрактно-логічний, теорії графів, об'єктно-орієнтованого аналізу, теорії автоматів. Наукова новизна: вперше запропоновано метод класифікації помилок розробників UML-діаграм, що дозволило використати його при розробці методів верифікації даних діаграм; дістав подальшого розвитку метод антипатернів верифікації діаграми класів за рахунок введення нових умов, що дало можливість знаходити помилки в описах абстрактних класів та помилки в описах вкладених класів на даній діаграмі; удосконалено алгоритм Брона-Кербоша для пошуку клік на графах шляхом введення нових обмежень, що дало можливість використати його при пошуку антипатернів на діаграмах класів; вперше запропоновано методи верифікації UML-діаграм: метод верифікації діаграми послідовності, який заснований на представленні даної діаграми у вигляді абстрактного цифрового автомату, і, на відміну від існуючих, дозволяє знаходити помилки в розгалуженнях на даній діаграмі; метод верифікації діаграми послідовності, який заснований на аналізі відношення сутність-зв'язок, і, на відміну від існуючих, дозволяє знаходити помилки відправки синхронних повідомлень та помилки відправки повідомлень не існуючим об'єктам на даній діаграмі; метод верифікації діаграми компонентів, який заснований на аналізі відношення сутність-зв'язок, і, на відміну від існуючих, дозволяє знаходити помилки зв'язку між компонентами на даній діаграмі. Сфера використання: інформаційні технології.

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

2015-12-01

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

2020-04-04 / 2026-06-29