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

• Богдан Іван Віталійович (економічні науки)
• Богдан Ірина Валентинівна (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"