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

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