Одной из самых популярных парадигм при создании программного обеспечения является объектно-ориентированная. Создание качественного объектно-ориентированного программного обеспечения начинается с создания его модели, представленной в виде множества UML-диаграмм, и дальнейшей верификации данной модели. Существует множество различных методов верификации: одни позволяют находить отдельные группы ошибок, другие же выполняют верификацию модели в целом. Однако, для эффективного исследования этих методов необходимо прежде всего определить, какие ошибки позволяют найти те или иные методы. Наличие классификации ошибок, которые могут присутствовать на диаграммах, существенно ускорит процесс идентификации ошибок. Предложена классификация ошибок на UML-диаграммах, которая позволяет эффективно исследовать, а также оценивать достоинства и недостатки существующих методов верификации моделей объектно-ориентированного программного обеспечения, тем самым повышая качество создаваемой программы.

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Задорожний Андрій Іванович ()
• Задорожний Андрій Михайлович (медичні науки)
• Задорожний Андрій Анатолійович (юридичні науки)
• Задорожний Андрій Вітальович (технічні науки)
• Задорожний Андрій Олексійович (технічні науки)

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