Математическое моделирование верификации процесса разработки программного обеспечения

• Автор: Григорьев, Михаил Викторович
• Шифр специальности: 05.13.18
• Научная степень: Кандидатская
• Год защиты: 2009
• Место защиты: Тюмень
• Количество страниц: 135 с. : ил.

Оглавление
Введение

Глава Т Обзор методов и алгоритмов верификации программной инженерии

Методологии разработки программного обеспечения.

Верификация процесса разработки программного обеспечения.

Описание семантики процесса разработки.

Комплексы поддержки программной инженерии

Выводы.

1 лава II Математическая модель верификации процесса программной инженерии

Модель разработки программного обеспечения.

Динамическая модель процесса разработки программного обеспечения

Выводы.
Глава III Модель семантических отношений между артефактами проекта
Метод оценки корректности рабочих продуктов
Язык определения семантических отношений артефактов
Компилятор языка семантических отношений артефактов
Выводы.
Глава IV Программный комплекс поддержки разработки программного обеспечения
Архитектура программного комплекса.
Описание модулей программного комплекса
Выводы.
Глава V Апробация программного комплекса
Модификация унифицированного процесса разработки программного обеспечения.
1 Доведение эксперимента
Правила верификации процесса разработки программного обеспечения .
Практика использования программного комплекса в учебных проектах
Выводы по диссертационной работе.
Список источников


Научно-методические семинары кафедры информационных систем Тюменского государственного университета (- гг. Публикации. Основное содержание работы отражено в публикациях, из которых 3 свидетельства о государственной регистрации программы для ЭВМ и 1 статья, опубликованная в журнале из списка ВАК. Структура н объем работы. Диссертация состоит из введения, пяти глав, заключения и списка литературы. Объем диссертации составляет 9 страниц, содержит рисунка, 3 приложения. В библиофафии представлено 3 наименований работ российских и зарубежных авторов. В литературе известен широкий круг методологий, которые предоставляют набор методов* разработки программного обеспечения, описанных в соответствии с определенной инфраструктурой [, , , ]. Структурные методы предполагают каскадную разработку. Основу этих методологий составляет последовательный переход между деятельностями и передача результатов очередного этапа участникам следующего. Все эти методологии предполагают достаточно высоко формализованный подход []. Наиболее перспективными из современных методов программной инженерии признаны, гибкие (agile) методы, основной целью которых является результат разработки, т. В литературе описаны итеративные и каскадные методологии, с высокой и низкой степенью формализма []. Каскадные методологии разработки ПО подразумевают деление на фазы процесса разработки ПО, каждая из которых характеризуется своим набором работ. В отличие от них, итеративный подход разбивает разработку на несколько итераций, в ходе каждой из которых выполняются практически все типы работ, и создается реальная работающая система, функциональные возможности которой эволюционируют с каждой итерацией. При каскадном подходе сначала происходит выявление всех требований к проекту и их анализ. Следующим этапом выступает проектирование системы (чаще всего используется принцип декомпозиции). После этого начинается разработка кода и модульное тестирование. Завершающим этапом выполняется сборка и системное тестирование. Методологии могут существенно различаться по степени документирования, так, например, eXtreme Programming (ХР) пропагандирует принцип, в соответствии с которым основная документация по проекту - это хорошо документированный код, а для планирования достаточно использовать карточки с краткими описаниями задач []. С другой стороны - распределенная разработка, в которой материалы проекта передаются в виде предварительно отрецензированных и утвержденных бумажных документов. Еще одной важной характеристикой методологии является уровень влияния на скорость и трудоемкость разработки. Детальная документация, выполненная даже с использованием современных CASE-средств, требует много трудозатрат. Также может существенно увеличиваться стоимость последующего сопровождения продукта, поскольку внесение каких-либо изменений в него потребует очень больших усилий. В литературе описаны различные стандарты и процессы, представляющие методологии соответствующих типов. Самыми распространенными являются: eXtreine Programming (ХР), Crystal Clear, Feature Driven Development (FDD), ГОСТы, CMM, Rational Unified Process (RUP), OpenUP, и другие, среди которых наибольшее предпочтение отдается agile-методам [ПО]. Методология. ХР, разработанная К. Beck, W. Cunningham, и R. Jeffries, является наиболее известной из гибких методологий. При использовании ХР тщательное предварительное проектирование пршраммного обеспечения заменяется, с одной стороны, постоянным присутствием в команде заказчика, готового ответить на любой вопрос и оценить любой прототип, с другой стороны, регулярными переработками кода (рефакторинг). Основой проектной документации считается тщательно прокомментированный код. Очень большое внимание в методологии уделяется тестированию. Как правило, для каждой новой функции сначала пишется тест, а потом уже разрабатывается собственно код, до тех пор, пока тест не начнет выполняться успешно []. Семейство методологий Crystal (А. Коберн) определяют необходимую степень формализации процесса разработки в зависимости от количества участников и критичности задач [].