Методы и средства инженерии программного обеспечения

В курсе представлено изложение ключевых понятий, методов и средств программной инженерии как деятельности, нацеленной на создание программных систем, отвечающих потребностям заказчиков, с соблюдением плановых сроков и бюджета.
Для специалистов
Записаться
Объём
36 час.
Длительность
30 дней
Нагрузка
6 час.
Формат обучения
Дистанционно (самостоятельно)
Описание Учебный курс охватывает полный цикл создания программного обеспечения. В материалах разбираются методы сбора требований, объектного моделирования, тестирования и формальной верификации программ. Особое внимание уделяется моделям жизненного цикла, инженерии предметной области, управлению проектами, рисками и конфигурациями. Курс предназначен для системных аналитиков, руководителей проектов и разработчиков программного обеспечения.
Цели
  • Сформировать системное представление о методологии программной инженерии.
  • Раскрыть принципы управления жизненным циклом программного обеспечения.
  • Подготовить к использованию методов объектного анализа и тестирования систем.
Чему я научусь?
  • Применять модели жизненного цикла для управления разработкой ПО.
  • Анализировать требования и строить модели предметных областей.
  • Использовать методы формальной спецификации и тестирования программного кода.

Авторы

Лаврищева Екатерина Михайловна
Профессор Киевского отделения МФТИ
Петрухин Владимир Алексеевич
Петрухин Владимир Алексеевич
Доктор физико-математических наук, доцент Киевского отделения МФТИ\n
Чему я научусь?
  • Применять модели жизненного цикла для управления разработкой ПО.
  • Анализировать требования и строить модели предметных областей.
  • Использовать методы формальной спецификации и тестирования программного кода.

Учебный план

№ Занятия
Экзамен экстерном Внимание! Экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите подтвердить свои знания по данному курсу без его изучения или поверить свои знания по нему. Экзамен экстерном можно сдать только один раз.
1 Введение
2 Области знаний программной инженерии и стандарты ЖЦ программного обеспечения Дано определение программной инженерии, ее место в инженерной деятельности специалистов при создании компьютерных систем и общее... Дано определение программной инженерии, ее место в инженерной деятельности специалистов при создании компьютерных систем и общее описание десяти областей знаний профессионального ядра знаний SWEBOK. Изложен ЖЦ стандарта ISO/IEC 12207 и связь его процессов с областями знаний SWEBOK ещё
3 Модели жизненного цикла для разработки программных систем Описываются основные модели жизненного цикла, которые используются в практике проектирования программных систем. Рассмотрен стандарт ISO/IEC 12207... Описываются основные модели жизненного цикла, которые используются в практике проектирования программных систем. Рассмотрен стандарт ISO/IEC 12207 и подходы к формированию рабочих моделей жизненного цикла на его основе. Дана характеристика фундаментальных моделей ЖЦ (водопадной, спиральной, инкрементной, эволюционной) и стандартной модели ещё
Модели жизненного цикла для разработки программных систем тест для курса Методы и средства инженерии программного обеспечения 60 мин
4 Методы определения требований в программной инженерии Приведены методы и инженерия требований к системе. Рассмотрен процесс сбора, накопления и спецификации требований. Дана классификация... Приведены методы и инженерия требований к системе. Рассмотрен процесс сбора, накопления и спецификации требований. Дана классификация требований и характеристика функциональных и нефункциональных требований. ещё
Методы определения требований в программной инженерии тест для курса Методы и средства инженерии программного обеспечения 60 мин
5 Методы объектного анализа и построения моделей предметных областей Проведено рассмотрение и дана характеристика методов анализа предметной области и построения моделей. Рассмотрены объектно-ориентированные и стандартизованные,... Проведено рассмотрение и дана характеристика методов анализа предметной области и построения моделей. Рассмотрены объектно-ориентированные и стандартизованные, традиционные методы проектирования архитектуры системы ещё
Методы объектного анализа и построения моделей предметных областей тест для курса Методы и средства инженерии программного обеспечения 60 мин
6 Прикладные и теоретические методы программирования Изложены базовые основы методов прикладного, систематического (структурного, компонентного, аспектно-ориентированного и др.) и теоретического (алгебраического, композиционного, концепторного... Изложены базовые основы методов прикладного, систематического (структурного, компонентного, аспектно-ориентированного и др.) и теоретического (алгебраического, композиционного, концепторного и алгебро-алгоритмического) программирования для ознакомления студентов с теоретическими и прикладными аспектами методов программирования ещё
Прикладные и теоретические методы программирования тест для курса Методы и средства инженерии программного обеспечения 60 мин
7 Формальные спецификации, доказательство и верификация программ Дано описание формальных методов спецификаций (Z, VDM, RAISE), методов доказательства правильности программ с помощью утверждений, пред-... Дано описание формальных методов спецификаций (Z, VDM, RAISE), методов доказательства правильности программ с помощью утверждений, пред- и постусловий и верификации программ ещё
Формальные спецификации, доказательство и верификация программ тест для курса Методы и средства инженерии программного обеспечения 60 мин
8 Методы проверки и тестирования программ и систем Изложены методы и процессы тестирования (и верификации), сбора данных о дефектах и отказах, модели оценки надежности... Изложены методы и процессы тестирования (и верификации), сбора данных о дефектах и отказах, модели оценки надежности программ, использующие данные результатов тестирования ещё
Методы проверки и тестирования программ и систем тест для курса Методы и средства инженерии программного обеспечения 60 мин
9 Интерфейсы, взаимодействие и изменение программ и данных Рассмотрены основы интеграции и преобразования разноязыковых программ и данных, методы изменения (реинженерия, реверсная инженерия и рефакторинг)... Рассмотрены основы интеграции и преобразования разноязыковых программ и данных, методы изменения (реинженерия, реверсная инженерия и рефакторинг) компонентов и систем, дана характеристика стандарта о независимости типов и структур данных от языков программирования, а также рассмотрены принципы взаимодействия неоднородных компонентов в современных промежуточных средах ещё
Интерфейсы, взаимодействие и изменение программ и данных тест для курса Методы и средства инженерии программного обеспечения 60 мин
10 Инженерия приложений и предметной области Излагаются современные основы инженерии приложений и предметных областей (доменов), тенденции и направления их развития в плане... Излагаются современные основы инженерии приложений и предметных областей (доменов), тенденции и направления их развития в плане производства одиночных программных систем из повторных компонентов и целых семейств с многоразовым применением компонентов и одиночных программных систем ещё
Инженерия приложений и предметной области тест для курса Методы и средства инженерии программного обеспечения 60 мин
11 Модели качества и надежности в программной инженерии Глава посвящена представлению моделей качества ПС, метрикам и методам достижения и измерения качества ПС. Приведена характеристика... Глава посвящена представлению моделей качества ПС, метрикам и методам достижения и измерения качества ПС. Приведена характеристика и дана классификация математических моделей надежности Марковского и пуассоновского типов ещё
Модели качества и надежности в программной инженерии тест для курса Методы и средства инженерии программного обеспечения 60 мин
12 Методы управления проектом, риском и конфигурацией Проведен анализ и дано описание инженерии программирования, принципов и методов планирования и управления программным проектом, рисками... Проведен анализ и дано описание инженерии программирования, принципов и методов планирования и управления программным проектом, рисками и формированием версий программных систем ещё
Методы управления проектом, риском и конфигурацией тест для курса Методы и средства инженерии программного обеспечения 60 мин
13 Средства программной инженерии Дан обзор современных языковых средств и спецификации интерфейсов объектов программирования. Изложены средства разработки MSF фирмы Microsoft
Средства программной инженерии тест для курса Методы и средства инженерии программного обеспечения 60 мин
14 Малая энциклопедия инструментов ООП
15 Словарь терминов программной инженерии
16 Перечень стандартов программной инженерии
17 Список условных обозначений
Тренировочный экзамен Внимание! Тренировочный экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите проверить свои знания курса перед сдачей экзамена. Тренировочный экзамен можно сдавать сколько угодно один раз.
Экзамен
^