Курс «Технологии разработки программного обеспечения»

2011 год

Преподаватели

Лектор: Ицыксон В.М.

Ассистенты:

Лекции. Осень 2011

Дата Темы Слайды
1 05.09.2011 Введение. Жизненный цикл разработки ПО Вводная, Жизненный цикл
2 12.09.2011 Жизненные циклы разработки ПО. Классическая модель проектирования. Прототипирование. Инкрементная модель. Спиральная модель Жизненный цикл
3 19.09.2011 Жизненные циклы разработки ПО. RAD. Rational Unified Process Жизненный цикл
4 26.09.2011 Жизненные циклы разработки ПО. Экстремальное программирование. Методология SCRUM Жизненный цикл
5 03.10.2011 Инженерия требований. Выявление и анализ требований. Организация требований Инженерия требований
6 10.10.2011 Документирование требований. Изменение требований. Управление требованиями. Отслеживание требований Инженерия требований
7 17.10.2011 Трассировка требований. Управление ресурсами. Роли в программных проектах Инженерия требований, Управление проектами
8 24.10.2011 Управление проектами. Наблюдение за проектом Управление проектами
9 31.10.2011 Управление рисками. Управление изменениям и дефектами Управление рисками, Управление дефектами
10 07.11.2011 Управление версиями Управление версиями
11 14.11.2011 Системы контроля версий. Сборка и выпуск проектов Управление версиями, Сборка
12 28.11.2011 Непрерывная интеграция. Качество ПО Непрерывная интеграция, Качество ПО
13 05.12.2011 Оценка качества ПО. Программометрика. Аудит Качество ПО
14 12.12.2011 Методы обеспечения качества ПО. Верификация, проверка на модели, статический анализ Обеспечение качества ПО
15 19.12.2011 Методы обеспечения качества ПО. Динамические методы. Тестирование Обеспечение качества ПО

Лекции. Весна 2012

Дата Темы Слайды
1 8.02.2012 Документирование ПО Документирование
2 7.03.2012 Автоматизация документирования. Лицензирование ПО Документирование, Лицензирование ПО
3 21.03.2012 Открытые лицензии ПО. Качество процесса разработки Лицензирование ПО, Качество процесса
4 04.04.2012 Контрактное программирование (Б. Мейер)
5 18.04.2012 Контрактное программирование. Аспектно-ориентированное программирование Контрактное программирование, АОП
6 02.05.2012 Автоматное программирование Автоматное программирование
7 16.05.2012 Языки спецификаций Языки спецификаций

Экзамен

Вопросы к экзамену осеннего семестра расположены здесь

Вопросы к экзамену весеннего семестра расположены здесь

Курсовые проекты

Ключевые даты

  • 19.10.2011, 14-00. Представление разработанных технических заданий
  • 10.11.2011, 12-00. Представление первой версии ПО
  • 01.12.2011
  • 15.12.2011
Заказчик Преподаватель Менеджер Тема
1 Тимофеев Д.А. Ельцов А.А. Крикун Т. Программа обработки изображений
2 Баженов А.С. Ахин М.Х. Файловый сервис
3 Ахин М.Х. Баженов А.С. Псевдографический интерфейс к mercurial на основе ncurses
4 Захаров А.В. Тимофеев Д.А. Плагин к трак для экспорта в openoffice
5 Ельцов А.А. Захаров А.В. Ларионов П. Драйвер FUSE для Flickr

Информация о результатах курсовых проектов

Студент Результат Экзамен
1 Гагарский Кирилл Зачет Отлично
2 Галибин Андрей Зачет Отлично
3 Козин Георгий Зачет Отлично
4 Никонов Артем Реферат для зачета "Случайные методы тестирования ПО"
5 Петров Максим Зачет Отлично
6 Степашов Андрей Зачет Отлично
7 Головченко Алексей Реферат для зачета "Обзор и сравнение современных систем контроля версий" ++
8 Радзивиллович Мария Зачет Отлично
9 Абрамов Николай Зачет
10 Андрианова Алефтина Зачет Отлично
11 Анкудинова Инна Зачет Отлично
12 Баун Павел Зачет Отлично
13 Верт Татьяна Зачет Отлично
14 Иванов Станислав Реферат для зачета "Обзор и классификация современных программных метрик" +
15 Крикун Татьяна Зачет Отлично
16 Ларионов Павел Зачет Отлично
17 Светов Дмитрий Реферат для зачета "Современные средства верификации по методу Model Checking"
18 Фигурин Михаил Реферат для зачета "Обзор и сравнение систем непрерывной интеграции" +
19 Шутов Евгений Зачет
20 Яковлев Егор Зачет Отлично
21 Павел Глухов Зачет Отлично
22 Титов Дмитрий Реферат для зачета "Обзор и сравнение систем сборки проектов"
23 Тарасов Александр Реферат для зачета "Сравнение современных средств автоматизации тестирования приложений с ГПИ" +
24 Облеухов Олег Реферат для зачета "Сравнение современных гибких методологий проектирования ПО" +

Литература

Общая

  • Гецци К., Джазаейри М., Мандриоли Д. Основы инженерии программного обеспечения. 2-е изд.: Пер. с англ. – СПб.: БХВ-Петербург, 2005. – 832 с.: ил.
  • Орлов С. Технологии разработки программного обеспечения. Разработка сложных программных систем. Учебное пособие. СПб: Питер, 2003. 480 с, ил.
  • Благодатских В.А. Стандартизация разработки программных средств: учеб. пособие /В.А. Благодатских, В.А. Волнин, К.Ф. Поскакалов; под ред. О.С. Разумова. - М. : Финансы и статистика, 2006. - 288 с : ил.
  • Брукс Ф. Мифический человеко-месяц или как создаются программные системы. СПб: Символ-Плюс, 2006. – 304 с., ил.
  • Д. Кознов. Введение в программную инженерию: Учебный курс. М.: Интуит, 2008.

Жизненный цикл разработки ПО

  • Бек К. Экстремальное программирование. – СПб.: Питер, 2002. – 224 с., ил.
  • Якобсон А., Буч Г., Рамбо Дж. Унифицированный процесс разработки программного обеспечения. – СПб.: Питер, 2002. – 496 с.: ил.

Управление требованиями

  • Вигерс К. Разработка требований к программному обеспечению / Пер, с англ. — М.: Издательско-торговый дом «Русская Редакция», 2004. —576с.: ил.
  • Коберн А. Современные методы описания функциональных требований к системам. М: Издательство «Лори», 2002. 263 с.: ил.

Качество ПО

  • Фаулер М. Рефакторинг. Улучшение существующего кода. – Пер. с англ. – СПб: Символ-Плюс, 2003. – 432 с., ил.
  • Глухих М.И., Ицыксон В.М. Программная инженерия. Обеспечение качества программных средств методами статического анализа. Учебное пособие. СПб: Изд-во Политехн. ун-та. 2011, 150 с.

Тестирование

  • Бейзер. Б. Тестирование черного ящика. Технологии функционального тестирования ПО и систем. СПб: Питер, 2004. – 318 с, ил.
  • Калбертсон Р, Браун К., Кобб Г. Быстрое тестирование: Пер. с англ.. – М.: Издательский дом «Вильямс», 2002.– 384 с.: ил.