Разработка прикладных приложений

Бакалавриат 2019/2020

Статус: Курс обязательный (Прикладная математика и информатика)

Направление: 01.03.02. Прикладная математика и информатика

Кто читает: Кафедра прикладной математики и информатики (Нижний Новгород)

Где читается: Факультет информатики, математики и компьютерных наук (Нижний Новгород)

Когда читается: 4-й курс, 1 модуль

Формат изучения: без онлайн-курса

Преподаватели: Сметанин Олег Владимирович

Язык: русский

Кредиты: 2

Контактные часы: 28

Полная версия программы учебной дисциплины

Аннотация

В процессе освоения дисциплины студент приобретает способности описывать проблемы и ситуации профессиональной деятельности, используя язык и аппарат математических и компьютерных наук. В результате освоения дисциплины студент должен: Знать: Основные понятия и определения; Основные фазы процесса разработки. Уметь: Иллюстрировать свои теоретические знания конкретными примерами; Ориентироваться в различных методах разработки; Свободно применять основные алгоритмы. Владеть: Иметь навыки (приобрести опыт) применения различных паттернов для разработки

Цель освоения дисциплины

Целями освоения дисциплины «Разработка прикладных приложений» являются изучение основных вопросов, связанных с процессом разработки прикладных приложений, начиная с теоретических основ, заканчивая программными продуктами, которые являются помощниками при разработке

Планируемые результаты обучения

Уметь применять принципы программирования при разработке ПО
Уметь анализировать и тестировать ПО
Уметь применять метрики качества при анализе качества ПО
Уметь применять UML технологии при разработке ПО

Содержание учебной дисциплины

Принципы программирования
Основы программных требований (Software Requirements. Проектирование ПО (Software design). Конструирование ПО (Software Construction). Тестирование ПО (Software Testing). Сопровождение ПО (Software maintenance. Управление конфигурацией ПО (Software Configuration Management–SCM). Управление инженерией ПО (Software Engineering Management) . Методы и средства инженерии ПО (Software Engineering Tools and Methods)
Тестирование
Методы доказательства правильности программ. Общая характеристика формальных методов доказательства. Модель формального доказательства конкретности программы. Техника символьного выполнения. Методы просмотра структуры программы. Верифика-ция и аттестация программ. Методы верификации объектно–ориентированных программ. Методы тестирования программ. Статические методы тестирования. Динамические методы тестирования. Функциональное тестирование. Организационные аспекты процесса тестирования.
Контроль качества
Метрики качества программного обеспечения. Стандартный метод оценки значений показателей качества. Управление качеством программного продукта. Модели оценки надежности. Классификация моделей надежности
UML технологии
Стереотипы. Диаграммы классов. Диаграммы сценариев. Диаграммы моделирования по-ведения системы. Диаграммы реализации. Пакеты

Элементы контроля

Домашнее задание №1
Домашнее задание №2
Экзамен

Промежуточная аттестация

Промежуточная аттестация (1 модуль)
0.25 * Домашнее задание №1 + 0.25 * Домашнее задание №2 + 0.5 * Экзамен

Программа дисциплины