Знайдено документів: 1
Інформація × Реєстраційний номер 0415U006183, Кандидатська дисертація На здобуття к.т.н. Дата захисту 06-11-2015 Статус Запланована Назва роботи Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм Здобувач Богдан Ірина Валентинівна, Керівник Литвинов Віталій Васильович Опонент Чеботарьов Анатолій Миколайович Опонент Луцик Сергій Леонідович Опис Об'єкт - процес верифікації моделей об'єктно-орієнтованого програмного забезпечення. Мета - створення методів та інструментальних засобів верифікації моделей об'єктно-орієнтованих програм, що дозволяють зменшити кількість помилок, що виникають в процесі розробки програмного забезпечення. Методи: абстрактно-логічний, теорії графів, об'єктно-орієнтованого аналізу, теорії автоматів. Наукова новизна: вперше запропоновано метод класифікації помилок розробників UML-діаграм, що дозволило використати його при розробці методів верифікації даних діаграм; дістав подальшого розвитку метод антипатернів верифікації діаграми класів за рахунок введення нових умов, що дало можливість знаходити помилки в описах абстрактних класів та помилки в описах вкладених класів на даній діаграмі; удосконалено алгоритм Брона-Кербоша для пошуку клік на графах шляхом введення нових обмежень, що дало можливість використати його при пошуку антипатернів на діаграмах класів; вперше запропоновано методи верифікації UML-діаграм: метод верифікації діаграми послідовності, який заснований на представленні даної діаграми у вигляді абстрактного цифрового автомату, і, на відміну від існуючих, дозволяє знаходити помилки в розгалуженнях на даній діаграмі; метод верифікації діаграми послідовності, який заснований на аналізі відношення сутність-зв'язок, і, на відміну від існуючих, дозволяє знаходити помилки відправки синхронних повідомлень та помилки відправки повідомлень не існуючим об'єктам на даній діаграмі; метод верифікації діаграми компонентів, який заснований на аналізі відношення сутність-зв'язок, і, на відміну від існуючих, дозволяє знаходити помилки зв'язку між компонентами на даній діаграмі. Сфера використання: інформаційні технології. Дата реєстрації 2015-11-06 Додано в НРАТ 2020-04-03 Закрити
Дисертація кандидатська
1
Богдан Ірина Валентинівна. Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм : к.т.н. : спец.. 05.13.06 - Інформаційні технології : дата захисту 2015-11-06; Статус: Захищена; Чернігівський національний технологічний університет. – , 0415U006183.
Знайдено документів: 1

Оновлено: 2026-03-15