Розробка та реалізація метода перевірки цілісності дизайну об’єктно-орієнтованої системи

Анотація

Для досягнення якості створення програмних продуктів, необхідно проводити різні заходи із тестування та верифікації на всіх етапах розробки, що є невід’ємним та одним з найважливіших етапів проектування ПЗ. У більшості моделей життєвого циклу програмного забезпечення (SDLC) даний етап є одним із перших, тож помилки, допущені при розробці дизайну приведуть до проблем у всіх наступних стадіях. Таким чином, через велику ціну помилки, важливою є перевірка цілісності розробленого дизайну на етапі проектування. У статті досліджується проблема пошуку протиріч у об’єктно-орієнтованому дизайні. Автори презентують набір протиріч, що можуть виникати у такому дизайні і ставлять за мету розробку методів виявлення та пошуку цих протиріч з метою покращення якості проектування, а також написання програмного забезпечення, що буде реалізовувати дані методи. Інструментом створення об’єктно-орієнтованого дизайну було обрано програму «diagrams.net», головною корисною рисою якої є можливість представлення створених діаграм у виді XML файлу у популярному форматі drawio. Автори пропонують метод за яким проводиться парсинг XML файлу діаграми і представлення її у виді набору об’єктів, таких як стрілки залежностей, класи, методи і т.д. Ці об’єкти повинні взаємодіяти за встановленими правилами. Порушення даних правил і є протиріччям об’єктно-орієнтованого дизайну. У результаті дослідження було представлено метод пошуку протиріч і реалізовано його на мові програмування Java.