Registration Number
0415U006183, Candidate dissertation
Status
к.т.н.
Date
06-11-2015
popup.evolution
.
Title
Methods and verification model tools of object-oriented programs
Author
Bogdan Iryna Valentynivna,
popup.head Litvinov Vitaliy Vasylyovich
popup.opponent Чеботарьов Анатолій Миколайович
popup.opponent Луцик Сергій Леонідович
popup.rada
Chernigiv National University of Technology
Description
Об'єкт - процес верифікації моделей об'єктно-орієнтованого програмного забезпечення. Мета - створення методів та інструментальних засобів верифікації моделей об'єктно-орієнтованих програм, що дозволяють зменшити кількість помилок, що виникають в процесі розробки програмного забезпечення. Методи: абстрактно-логічний, теорії графів, об'єктно-орієнтованого аналізу, теорії автоматів. Наукова новизна: вперше запропоновано метод класифікації помилок розробників UML-діаграм, що дозволило використати його при розробці методів верифікації даних діаграм; дістав подальшого розвитку метод антипатернів верифікації діаграми класів за рахунок введення нових умов, що дало можливість знаходити помилки в описах абстрактних класів та помилки в описах вкладених класів на даній діаграмі; удосконалено алгоритм Брона-Кербоша для пошуку клік на графах шляхом введення нових обмежень, що дало можливість використати його при пошуку антипатернів на діаграмах класів; вперше запропоновано методи верифікації UML-діаграм: метод верифікації діаграми послідовності, який заснований на представленні даної діаграми у вигляді абстрактного цифрового автомату, і, на відміну від існуючих, дозволяє знаходити помилки в розгалуженнях на даній діаграмі; метод верифікації діаграми послідовності, який заснований на аналізі відношення сутність-зв'язок, і, на відміну від існуючих, дозволяє знаходити помилки відправки синхронних повідомлень та помилки відправки повідомлень не існуючим об'єктам на даній діаграмі; метод верифікації діаграми компонентів, який заснований на аналізі відношення сутність-зв'язок, і, на відміну від існуючих, дозволяє знаходити помилки зв'язку між компонентами на даній діаграмі. Сфера використання: інформаційні технології.
Registration Date
2015-12-01
popup.nrat_date
2020-04-04 / 2026-06-29
