Учебная программа для магистрантов специальности: 1
Вид материала | Программа |
- Учебная программа для поступающих в магистратуру по специальности 1-21 80 10 Литературоведение, 275.08kb.
- Учебно-методический комплекс Рабочая учебная программа для магистрантов направления, 426.55kb.
- Учебно-методический комплекс Рабочая учебная программа для магистрантов направления, 612.14kb.
- Учебно-методический комплекс Рабочая учебная программа для магистрантов направления, 733.42kb.
- Учебная программа для специальности 1-24 01 01 Правоведение (код, наименование специальности), 728.08kb.
- Рабочая учебная программа по детской хирургии для специальности педиатрия (1-79, 165.9kb.
- Учебная программа для специальности: 1-26 02 02, 1-26 02 03, 1-25 01 07, 1-25, 334.31kb.
- Учебная программа для специальности 1-240102 «Правоведение» Факультет юридический, 591.29kb.
- Рабочая учебная программа по дисциплине управление финансовыми рисками для магистрантов, 197.68kb.
- Рабочая учебная программа по дисциплине история и методология экономической науки, 419.43kb.
Учреждение образования
«Белорусский государственный университет
информатики и радиоэлектроники»
УТВЕРЖДАЮ
Проректор по учебной работе
и социальным вопросам
________________ А.А.Хмыль
« ___ » _____________ 2010г.
Регистрационный №
УД-_________/р.
Технология создания надежного программного обеспечения
Учебная программа для магистрантов специальности:
1-40 80 03 «Вычислительные машины и системы»
Кафедра Электронных вычислительных машин
Очное обучение Заочное обучение
Семестр (семестры) ____1,2_____ Семестр (семестры) _____1,2____
Лекции ___36___(количество часов) Лекции ___6____(количество часов)
Практические (семинарские) занятия Практические (семинарские) занятия
__нет__(количество часов) __нет__(количество часов)
Лабораторные занятия Лабораторные занятия
__40___(количество часов) __16___(количество часов)
Зачет_____1_____(семестр) Зачет____1______(семестр)
Экзамен___2____(семестр) Экзамен___2____(семестр)
Реферат ________(семестр) Реферат ________(семестр)
Контрольная работа______(семестр) Контрольная работа__1___(семестр)
Всего аудиторных часов Всего аудиторных часов
по дисциплине __76___ по дисциплине ___22__
Самостоятельная работа___76___ Самостоятельная работа___130__
Всего часов Всего часов
по дисциплине___152__ по дисциплине__152___
2010
Учебная программа составлена в соответствии с типовым учебным планом специальности 1-40 80 03 «Вычислительные машины и системы», утвержденным Министерством образования Республики Беларусь __________________, регистрационный № ТД – ___/тип и учебным планом специальности 1-40 80 03 «Вычислительные машины и системы», утвержденным ______________2010 г. № ________________.
Рассмотрена и рекомендована к утверждению на заседании кафедры Электронных вычислительных машин
протокол № ____ от «____»____________ 2010 г.
Заведующий кафедрой Р.Х.Садыхов
СОГЛАСОВАНО
Начальник УПНКВК______________Д.В.Лихачевский
« ___ » ___________ 2010 г.
ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
Цель преподавания дисциплины.
Цель преподавания дисциплины состоит в изучении:
- современных методов проектирования программного обеспечения;
- современных тенденций развития методологии разработки программного обеспечения (ПО);
- этапов жизненного цикла ПО;
- принципов и методов повышения надежности ПО;
- методов объектно-ориентированного проектирования; методов создания ПО при помощи САSЕ-систем.;
- современных средств поддержки проектирования надежного программного обеспечения.
Задачи изучения дисциплины.
Задачей курса является получение обучаемыми знаний о методах проектирования программного обеспечения.
В результате изучения курса обучаемый должен:
- знать методы проектирования ПО, области применения различных методов, современные тенденции и перспективы развития методологии разработки программного обеспечения;
- уметь проектировать ПО с использованием метода структурного проектирования;
- уметь проектировать ПО с использованием метода объектно-ориентированного проектирования (ООП);
- уметь проектировать ПО при помощи САSЕ-систем;
- владеть навыками использования современных средств поддержки проектирования, анализа, тестирования и документирования программных средств.
Перечень дисциплин, усвоение которых необходимо для изучения данной дисциплины.
Пример:
№ пп | Название дисциплины | Раздел, тема |
1. | Объектно-ориентированное проектирование и программирование | Все разделы |
2. | Системное программное обеспечение вычислительных машин | Все разделы |
СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
1. Название тем лекционных занятий, их содержание, объем в часах.
№ пп | Название темы | Содержание | Объем в часах |
1 | 2 | 3 | 4 |
Раздел 1. Основы проектирования программного обеспечения | |||
1. | Основы проектирования программного обеспечения. | Предмет и содержание курса. Цели проектирования программного обеспечения. | 2 |
2. | Сложность программного обеспечения. | Понятие и сущность сложности программного обеспечения. Концепции, используемые для решения проблемы сложности. | 2 |
3. | Методологии проектирования программных средств. | Современные тенденции в методологии проектирования программных средств. Классификация методологий и технологий программирования. | 2 |
4. | Жизненный цикл программного средства. | Жизненный цикл программного средства. Понятие качества, критерии качества при проектировании ПО. | 4 |
5. | Определение требований | Этап анализа. Определение требований к программной системе. Определение целей ПО: общие цели, цели продукта и цели проекта. | 4 |
6. | Анализ кода. | Анализ программного кода. Методы и средства статического и динамического анализа | 2 |
Итого: за 1 семестр | 16 | ||
Раздел 2. Методы и средства проектирования программного обеспечения | |||
7. | Архитектура программного обеспечения. | Проектирование архитектуры системы. Классификация архитектур. | 4 |
8. | Спецификация качества программного обеспечения. | Определение требований к программному средству. Спецификация качества программного средства. | 2 |
1 | 2 | 3 | 4 |
9. | Тестирование программных средств. | Методы тестирования ПО. Модульное, интеграционное, нагрузочное тестирование. Тестирование интерфейса. Средства автоматизации тестирования | 4 |
10. | Программная документация. | Документирование программного обеспечения. Аттестация программного средства и характеристика методов оценки качества программного средства | 4 |
11. | Автоматизация документирования. | Средства автоматического документирования программного кода | 2 |
12. | Средства поддержки проектирования | Понятие CASE-системы. Классификация CASE-систем. Методы спецификации программ в CASE-системах. | 4 |
Итого: за 2 семестр | 20 | ||
Всего за учебный год | 36 |
2. Перечень тем практических занятий, их наименование и объем в часах
Практические занятия по данной дисциплине не предусмотрены учебным планом.
3. Перечень тем лабораторных занятий, их наименование и объем в часах
Пример:
№ пп | Название темы | Содержание | Объем в часах |
1 | 2 | 3 | 4 |
1. | Модель программного обеспечения | Описание модели программной системы в виде диаграммы классов. | 4 |
2. | Автоматизация генерации кода | Генерация кодов программы в САSЕ-системе Rational Rose. Создание прототипа программы. | 4 |
3. | Реинжиниринг | Реинжениринг ПО с использованием САSЕ-системе Rational Rose. | 6 |
4. | Документирование проекта | Документирование программного средства с помощью Rational Rose. | 6 |
1 | 2 | 3 | 4 |
5. | Статический анализ кода | Изучение средств статического анализа программного кода. | 4 |
Итого: за 1 семестр | 24 | ||
6. | Динамический анализ кода | Изучение средств динамического анализа программного кода. | 6 |
7. | Автоматизация тестирования | Создание набора тестов для автоматизации модульного тестирования программного средства. | 6 |
8. | Автоматическое документирование | Изучение средств автоматизации документирования программного кода. | 4 |
Итого: за 2 семестр | 16 | ||
Всего за учебный год | 40 |
4. Реферат
Подготовка реферата по данной дисциплине не предусмотрена учебным планом.
5. Контрольная работа
Перечень тем контрольных работ:
1. Средства создания информационных моделей программного обеспечения.
2. Методы и стратегии составления тестов.
3. Обзор современных средств CASE.
4. Современные технологии разработки ПО.
5. Архитектура программных средств, аналитический обзор архитектур.
6. Организационные вопросы разработки ПО.
7. Обзор средств статического анализа программного кода.
8. Обзор средств динамического анализа программного средства.
9. Обзор средств автоматического документирования программного кода.
10. Обзор средств автоматизации процесса тестирования программного средства.
6. ЛИТЕРАТУРА
6.1.ОСНОВНАЯ
6.1.1. Майерс Г. Надежность программного обеспечения. М.: Мир, 1980
6.1.2. Буч Г. Объектно-ориентированное проектирование с примерами приложений. М.: Конкорд, 1992
6.1.3. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. 2-е издание, М.: Бином, 1998
6.1.4. Шлеер С., Меллор С. Объектно-ориентированный анализ: моделирование мира в состояниях. Киев: Диалектика, 1993
6.1.5. Соммервиль И. Инженерия программного обеспечения. 6 изд. - "Вильямс", 2002. – 624 с.
6.1.6. Каннер С., Фолк Дж. Тестирование программного обеспечения. М: ДиаСофт, 2000
6.1.7. Гамма Э., Хелм Р. и др. Приемы объектно-ориентированного проектирования. Паттерны проектирования. С.-П.: Питер, 2001.
6.1.8. Бейзер Б. Тестирование черного ящика. Технологии функционального тестирования программного обеспечения и системы. – С-Пб.: Питер, 2004. – 320 с.
6.1.9. Брауде Э. Технология разработки программного обеспечения. – С-Пб.: Питер, 2004. – 655 с.
6.1.10. Винниченко И. Автоматизация процессов тестирования. – С-Пб.: Питер, 2007. – 203 с.
6.1.11. Трофимов С.А. CASE-технологии. Практическая работа в Rational Rose. – Бином, 2001. – 272 с.
6.2. Дополнительная
6.2.1. В.Ш. Кауфман. Языки программирования. Концепции и принципы. - М.: Радио и связь, 1993.
6.2.2. В.В. Липаев, Е.Н Филиппов. Мобильность программ и данных в открытых информационных системах. - М.: Научная книга, 1997.
6.2.3. К. Зиглер. Методы проектирования программных систем. - М.: Мир, 1985.
6.2.4. Дж. Фокс. Программное обеспечение и его разработка. - М.: Мир, 1985.
6.2.5. Абельсон Х. Структура и интерпретация компьютерных программ. – Добросвет, 2006. – 608 с.
6.2.6. Котляров В. Основы тестирования программного обеспечения. - Бином, 2006. – 285 с.
6.2.7. Ларман К. Применение UML и шаблонов проектирования. - Вильямс, 2004. – 624 с.
6.2.8. Фаулер М., Скотт К. UML в кратком изложении. - М.: Мир, 1999.
7. ПЕРЕЧЕНЬ КОМПЬЮТЕРНЫХ ПРОГРАММ, НАГЛЯДНЫХ И ДРУГИХ ПОСОБИЙ, МЕТОДИЧЕСКИХ УКАЗАНИЙ И МАТЕРИАЛОВ И ТЕХНИЧЕСКИХ СРЕДСТВ ОБУЧЕНИЯ
7.1. Технические средства
ПЭВМ с конфигурацией не ниже: процессор Pentium IV, минимальный объем ОЗУ – 1024 Mb, рекомендуемый объем ОЗУ – 2048 Mb, объем пространства на жестком диске не менее 10 Gb, разрешение видеокарты не менее 1024х768.
7.2. Компьютерные программы
- Операционная система Microsoft Windows XP или Linux;
- Microsoft Visual Studio версии не ниже 8.0;
- IBM Rational Rose Enterprise
4. Учебно-методическая карта дисциплины
Номер недели | Номер темы (по п. 1) | Название вопросов, которые изучаются на лекциях | Практические (семинарские) занятия (по п. 2) | Лабораторные занятия (по п. 3) | Литература (номера) (по п.6) | Наглядные и методические пособия (номера) (по п.7) | Самостоятельная работа студентов (часы) | Форма контроля знаний студентов |
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
| 1 | Основы проектирования программного обеспечения. | | 1 | 6.1.1., 6.1.4 | | 6 | Текущий опрос |
| 2 | Сложность программного обеспечения. | | | 6.1.5, 6.1.9, 6.2.4. | | 6 | Текущий опрос |
| 3 | Методологии проектирования программных средств. | | 2 | 6.1.3., 6.1.4., 6.2.1. | | 6 | Текущий опрос |
| 4 | Жизненный цикл программного средства. | | 3 | 6.1.9., 6.2.3. | | 8 | Текущий опрос |
| 5 | Определение требований | | 4 | 6.1.9., 6.2.4. | | 6 | Текущий опрос |
| 6 | Анализ кода. | | 5 | 6.1.7, 6.2.1., 6.2.2. | | 8 | Текущий опрос |
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
| | Зачет 1 семестр | | | | | | Зачет |
| 7 | Архитектура программного обеспечения. | | 6 | 6.1.5., 6.2.7. | | 6 | |
| 8 | Спецификация качества программного обеспечения | | | 6.1.3., 6.1.5 | | 6 | Текущий опрос |
| 9 | Тестирование программных средств. | | 7 | 6.1.6., 6.1.8., 6.1.10 | | 6 | Текущий опрос |
| 10 | Программная документация. | | | 6.1.9, 6.2.3., 6.2.5. | | 6 | Текущий опрос |
| 11 | Автоматизация документирования. | | 8 | 6.1.7., 6.2.7., 6.2.8 | | 6 | Текущий опрос |
| 12 | Средства поддержки проектирования | | | 6.1.5., 6.1.11., 6.2.7., 6.2.8 | | 6 | Текущий опрос |
| | Экзамен 2 семестр | | | | | | Экзамен |
ДОПОЛНЕНИЯ И ИЗМЕНЕНИЯ К УЧЕБНОЙ ПРОГРАММЕ
ПО ДИСЦИПЛИНЕ «Технология создания надежного программного обеспечения»
на ______/_______ учебный год
№пп | Дополнения и изменения | Основание |
| | |
Учебная программа пересмотрена и одобрена на заседании кафедры ____________________________ _______ _______ , протокол №___ .
Заведующий кафедрой _______________
______________________Р.Х.Садыхов
УТВЕРЖДАЮ
Проректор по учебной работе
и социальным вопросам
______________________ А.А.Хмыль
СОГЛАСОВАНО
Начальник УПНКВК
______________________ Д.В.Лихачевский