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