@article{Богдан_2018, title={ВЕРИФІКАЦІЯ МОДЕЛЕЙ ОБ’ЄКТНО-ОРІЄНТОВАНИХ ПРОГРАМ: ПЕРЕВІРКА НА НЕСУПЕРЕЧЛИВІСТЬ ТА УЗГОДЖЕНІСТЬ}, url={http://tst.stu.cn.ua/article/view/113051}, abstractNote={<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>}, number={2(8)}, journal={Технічні науки та технології}, author={Богдан, Ирина Валентиновна}, year={2018}, month={Лют}, pages={110–116} }