Автоматическая проверка целостности моделей программного обеспечения, разрабатываемого по унифицированному процессу / Consistency сhecking in models of software developed under Unified Processдипломная работа (Бакалавр)
Аннотация:В выпускной квалификационной работе рассматривается проблема автоматизации проверки целостности моделей, составленных на языке UML. Решение ищется для специфического подмножества UML-моделей со специальными ограничениями целостности – моделей, создаваемых в ходе разработки программного обеспечения (ПО) по технологии Unified Process (Унифицированный процесс).
В UP-моделях используется достаточно широкое подмножество UML. Технология предписывает включать в модель разрабатываемого ПО разные типы диаграмм. Получается, что палитра средств UML, задействованных в UP-моделях, шире чем обычно. Целостность для UP-моделей определяется с нескольких точек зрения: стандарта UML, самой технологии, дициплины конкретного проекта.
Следовательно, решение задачи, поставленной в работе, не просто, так как нет возможности ограничиться узким подмножеством UML, и так как приходится иметь дело с ограничениями разного рода.