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

  Повний текст PDF - 629.028 Kb    Зміст випуску     Цитування публікації

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