TY - JOUR AU - Богдан, Ирина Валентиновна PY - 2018/02/26 Y2 - 2024/03/28 TI - ВЕРИФІКАЦІЯ МОДЕЛЕЙ ОБ’ЄКТНО-ОРІЄНТОВАНИХ ПРОГРАМ: ПЕРЕВІРКА НА НЕСУПЕРЕЧЛИВІСТЬ ТА УЗГОДЖЕНІСТЬ JF - Технічні науки та технології JA - ТНТ VL - IS - 2(8) SE - ІНФОРМАЦІЙНО-КОМП’ЮТЕРНІ ТЕХНОЛОГІЇ DO - UR - http://tst.stu.cn.ua/article/view/113051 SP - 110-116 AB - <p><em><strong>Актуальність теми дослідження.</strong></em> Якість є найважливішою характеристикою будь-якого програмного забезпечення. Для забезпечення високої якості створюваної програми необхідне виконання ряду процедур, однією з основних серед яких є верифікація.</p><p><em><strong>Постановка проблеми.</strong></em> Верифікації підлягає як саме програмне забезпечення, так і його модель, яка у випадку з об'єктно-орієнтованим програмним забезпеченням представлена безліччю UML-діаграм.</p><p><em><strong>Аналіз останніх досліджень і публікацій.</strong></em> Практично всі з існуючих на даний момент методів верифікації моделей об'єктно-орієнтованих програм дозволяють виконати верифікацію виключно окремих діаграм, не перевіряючи при цьому всю модель в цілому на несуперечливість її складових.</p><p><em><strong>Виділення невирішених раніше частин загальної проблеми.</strong></em> Таким чином, актуальною є задача перевірки на несуперечливість і узгодженість всіх UML-діаграм, що входять до складу створюваного об'єктно-орієнтованого програмного забезпечення.</p><p><em><strong>Постановка задачі.</strong></em> Головною метою даної статті є опис умов і обмежень, виконання яких дозволить забезпечити узгодженість і несуперечність між UML-діаграмами всередині моделі об'єктно-орієнтованого програмного забезпечення.</p><p><em><strong>Виклад основного матеріалу.</strong></em> Так як діаграма варіантів використання описує вимоги до програмного забезпечення, то несуперечливість переходу від даної діаграми до діаграми класів перевірити не можна. діаграми взаємодії і поведінки будуються на основі діаграми класів, тому необхідно перевірити узгодженість і несуперечність переходу від діаграми класів до даних діаграм. Діаграма компонентів також створюється на підставі діаграми класів, таким чином слід перевірити коректність переходу від діаграми класів до діаграми компонентів, а потім - від діаграми компонентів до діаграми розгортання.</p><p><em><strong>Висновки.</strong></em> У статті запропоновані умови і обмеження, перевірка і виконання яких дозволить забезпечити узгодженість і несуперечність між UML-діаграмами всередині конкретної моделі об'єктно-орієнтованого програмного забезпечення.</p> ER -