Курс «Технологии разработки программного обеспечения»
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 с.: ил.