Короткий опис(реферат):
В роботі сформульована проблема знаходження помилок в програмному
забезпеченні на максимально ранніх етапах його створення і необхідності
підвищення якості програм в цілому. Однак, для цього необхідна наявність такого
інструментального засобу, який би дозволив виявити і усунути всі групи помилок
при створенні UML-діаграм, а дослідження в даній області показали, що такого
інструментального засобу не існує на даний момент.
Запропонована класифікація помилок на UML-діаграмах, що дозволило
використати її при розробці методів верифікації даних діаграм.
Запропоновано метод верифікації діаграми послідовності, який заснований на
представленні даної діаграми у вигляді абстрактного цифрового автомату, і, на
відміну від існуючих, дозволяє знаходити помилки в розгалуженнях на даній
діаграмі.
Запропоновано метод верифікації діаграми послідовності, який заснований на
аналізі відношення сутність-зв’язок, і, на відміну від існуючих, дозволяє знаходити
помилки відправки синхронних повідомлень та помилки відправки повідомлень не
існуючим об’єктам на даній діаграмі.
Запропоновано метод верифікації діаграми компонентів, який заснований на
аналізі відношення сутність-зв’язок, і дозволяє знаходити помилки зв’язку між
компонентами на даній діаграмі.
Удосконалено метод антипатернів верифікації діаграми класів, що дало
можливість знаходити помилки в описах абстрактних класів та помилки в описах
вкладених класів на даній діаграмі.
Удосконалено шляхом введення нових обмежень алгоритм Брона-Кербоша
пошуку клік на графах, що дало можливість використати його при пошуку
антипатернів на діаграмах класів.
Розроблена автоматизована система верифікації моделей об’єктно-
орієнтованого програмного забезпечення, в якій комплексно використовуються
існуючі та запропоновані підходи і методи верифікації, що дозволяє знайти більшу
кількість помилок на UML-діаграмах.
Суть розробки, основні результати:
Богдан, І. В. Розробка методів та інструментальних засобів верифікації
моделей об’єктно-орієнтованих програм: автореф. дис. ... канд. техн. наук : 05.13.06 /
І. В. Богдан. - Чернігів, 2015.- 22 с.