Инженерия

  • 29 марта 2012 г.
  • 95766 Слова
Лаврищева Е.М. , Петрухин В.А.






МЕТОДЫ И СРЕДСТВА ИНЖЕНЕРИИ
ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

Учебное пособие































Москва 2006



УДК 681.03

Рецензенты:






Лаврищева Е.М. , Петрухин В.А. Методы и средства инженерии программного
обеспечения. – Учебник


В учебнике систематически изложеныметоды программирования , их теория и практика с учетом ядра знаний SWEBOK ( SoftWare Engineering of Body Knowledge ) и положений стандартов программной инженерии. Представлены методы прикладного и теоретического проектирования, методы доказательства, верификация и тестирование, а также методы интеграции и преобразования программ и данных. Определены основы инженерной дисциплины разработки –управление проектом, риском и качеством. Описана инженерия приложений и предметной области на основе повторного использования компонентов, определены подходы и методы их аннотации для накопления, выбора и оценки применимости в новых программных проектах.
Для студентов факультетов информатики, разработчиков и аспирантов в области программирования, желающих ознакомиться с систематизированнымизнаниями по современным методам анализа, проектирования, интеграции и тестирования, а также по методам инженерии программирования – управление проектом, рисками и качеством проектируемых систем.














ПРЕДИСЛОВИЕ 7
ПЕРЕЧЕНЬ УСЛОВНЫХ ОБОЗНАЧЕНИЙ 9
ВСТУПЛЕНИЕ 10
Тема 1 13
ВВЕДЕНИЕ В ПРОГРАММНУЮ ИНЖЕНЕРИЮ И ЖИЗНЕННЫЙ ЦИКЛ ПО 13
1. Анализ и характеристика областей знанийSWEBOK 17
1.1. Основы программных требований (Software Requirements) 17
1. 2. Проектирование ПО (Software design) 19
1.3. Конструирование ПО (Software Construction) 21
1.4. Тестирование ПО (Software Testing) 23
1.5. Сопровождение ПО (Software maintenance) 25
1. 6. Управление конфигурацией ПО (Software Configuration Management–SCM) 27
1.7. Управление инженерией ПО(Software Engineering Management) 28
1. 8. Процесс инженерии ПО (Software Engineering Process) 31
1. 9. Методы и средства инженерии ПО (Software Engineering Tools and Methods) 32
1. 10. Качество ПО (Software Quality) 33
2. Введение в жизненный цикл ПО стандарта ISO\IEC 12207 и связь его с ядром знаний программной инженерией SWEBOK 35
3. Обучение специальности – программнаяинженерия 40
3.1. Анализ системы знаний у ИТ–специалистов 42
3.2. Подходы к обучению программной инженерии 44
3.3. Анализ результатов дистанционного обучения 46
Контрольные вопросы и задания 47
Литература к теме 1: 47
Тема 2 49
МОДЕЛИ ЖИЗНЕННОГО ЦИКЛА ДЛЯ РАЗРАБОТКИ ПРОГРАММНЫХ СИСТЕМ 49
2.1. Каскадная модель ЖЦ 50
2.2. Инкрементная модель ЖЦ 51
2.3. Спиральная модель53
2.4.Эволюционная модель ЖЦ 54
2.5. Стандартизованная модель системы 55
2.6. Сопоставление модели ЖЦ стандарта ISO/IEC 12207 и областей –процессов SWEBOK 56
2.6.1. Характеристика процессов стандарта 57
2.6.2. Характеристика модели процессов в ядре SWEBOK 58
Контрольные вопросы и задания 60
Литература к теме 2 61
Тема 3 62
МЕТОДЫ ОПРЕДЕЛЕНИЯ ТРЕБОВАНИЙ В ПРОГРАММНОЙИНЖЕНЕРИИ 62
3.1 Определение понятий и видов требований 62
Виды требований 62
3.1.2. Анализ и сбор требований 63
3.1.3. Инженерия требований ПО 66
3.1.4. Верификация и формализация требований 67
3.2. Объектно-ориентированная инженерия требований 69
3.2.1. Метод инженерии требований А. Джекобсона 71
3.2.2. Модель анализа требований. Определение объектов 763.3. Классификация требований 78
3.4. Трассирование требований 80
Контрольные вопросы и задания 82
Литература к теме 3 82
Тема 4 83
МЕТОДЫ АНАЛИЗА И ПОСТРОЕНИЯ МОДЕЛЕЙ ПрО 83
4.1. Объектно–ориентированные методы анализа и построения моделей ПрО 83
4.1.1. Основные понятия анализа ПрО 84
4.1.2. Метод анализа и построения моделей С.Шлаер и С.Меллора 86...
tracking img