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

       

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

ПРЕДИСЛОВИЕ

ПЕРЕЧЕНЬ УСЛОВНЫХ ОБОЗНАЧЕНИЙ
ВСТУПЛЕНИЕ
ВВЕДЕНИЕ В ПРОГРАММНУЮ ИНЖЕНЕРИЮ И ЖИЗНЕННЫЙ ЦИКЛ ПО

Анализ и характеристика областей знаний SWEBOK
Основы программных требований (Software Requirements)
Проектирование ПО (Software design)
Анализ и оценка качества проектирования ПО
Конструирование ПО (Software Construction)

Тестирование ПО (Software Testing)
Сопровождение ПО (Software maintenance)


Управление конфигурацией ПО (Software Configuration Management–SCM)
Управление инженерией ПО (Software Engineering Management)

Процесс инженерии ПО (Software Engineering Process)
Методы и средства инженерии ПО (Software Engineering Tools and Methods)
Качество ПО (Software Quality)
Введение в жизненный цикл ПО стандарта

ISO\IEC 12207
Обучение специальности – программная инженерия
Анализ системы знаний у ИТ–специалистов
Подходы к обучению программной инженерии

Анализ результатов дистанционного обучения
Контрольные вопросы и задания
Литература к теме
МОДЕЛИ ЖИЗНЕННОГО ЦИКЛА ДЛЯ РАЗРАБОТКИ ПРОГРАММНЫХ СИСТЕМ
Каскадная модель ЖЦ
Инкрементная модель ЖЦ

Спиральная модель
Эволюционная модель ЖЦ
Стандартизованная модель системы
Сопоставление модели ЖЦ стандарта ISO/IEC и областей –процессов SWEBOK
Характеристика процессов стандарта
Характеристика модели процессов в ядре SWEBOK
Задачи областей

МЕТОДЫ ОПРЕДЕЛЕНИЯ ТРЕБОВАНИЙ В ПРОГРАММНОЙ ИНЖЕНЕРИИ
Определение понятий и видов требований
Виды требований
Анализ и сбор требований
Инженерия требований ПО

Верификация и формализация требований
Объектно-ориентированная инженерия требований
Метод инженерии требований А Джекобсона

Модель анализа требований Определение объектов
Классификация требований
Трассирование требований

МЕТОДЫ АНАЛИЗА И ПОСТРОЕНИЯ МОДЕЛЕЙ ПрО
Объектно–ориентированные методы анализа и построения моделей ПрО
Основные понятия анализа ПрО
Метод анализа и построения моделей СШлаер и СМеллора
Информационная модель

Модель состояний
Модель процессов
Методы проектирования архитектуры ПО
Стандартный подход к проектированию системы

Общесистемный подход к проектированию архитектуры системы
Техническое проектирование

МЕТОДЫ ПРОЕКТИРОВАНИЯ ПРОГРАММНЫХ СИСТЕМ
Методы систематического программирования
Структурный подход
Метод функционального моделирования SADT
Объектно–ориентированный метод проектирования
Метод моделирования UML

Компонентный подход к проектированию
Типы компонентных структур

Методология компонентной разработки систем
Аспектно–ориентированное программирование
Генерирующее (порождающее) программирование

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

Агентное программирование

Методы теоретического программирования
Алгебраическое программирование (АП)
Экспликативное программирование (ЭП)
Алгоритмика программ

Формальные методы

Введение
Инженерия ПИК
Спецификация ПИК

Репозитарий компонентов
Описание интерфейса объектов-компонентов в распределенной среде
Инженерия приложений и предметной области

Инженерия оценивания стоимости реализации ПрО из компонентов
МЕТОДЫ ВЕРИФИКАЦИИ И ТЕСТИРОВАНИЯ ПРОГРАММ И СИСТЕМ
Методы доказательства программ
Методы доказательства правильности программ
Общая характеристика формальных методов доказательства

 Модель формального доказательства конкретности программы
Техника символьного выполнения
Методы просмотра структуры программы

Верификация и аттестация программ
Методы верификации объектно–ориентированных программ
Методы тестирования программ
Статические методы тестирования
Динамические методы тестирования
Функциональное тестирование

Организационные аспекты процесса тестирования

Организация подготовки тестов
Команда тестировщиков
Организация процесса тестирования

КОМПОНЕНТОВ И ДАННЫХ
Методы интеграции (композиции) компонентов
Методы преобразования программ и данных
Парадигма преобразования данных
Формальное описание данных в ЯП и их преобразование

Средства стандарта ISO/IEC для преобразования данных
Преобразование данных БД и замена БД
Основные этапы преобразования данных в БД
Унифицированные файлы для передачи данных между разными БД
Методы внесения изменений в компоненты и в ПС
Реинженерия программных систем

Рефакторинг компонентов
Реверсная инжеиерия
МОДЕЛИ КАЧЕСТВА И НАДЕЖНОСТИ В ПРОГРАММНОЙ ИНЖЕНЕРИИ
Модель качества ПО

Метрики качества программного обеспечения
Стандартный метод оценки значений показателей качества

Управление качеством ПС
Модели оценки надежности
Основные понятия в проблематике надежности ПС
Классификация моделей надежности

Модели надежности Марковского и Пуассоновского типов
МЕТОДЫ УПРАВЛЕНИЯ ПРОЕКТОМ, РИСКОМ И КОНФИГУРАЦИЕЙ

Методы управления проектами
Методы управления программным проектом
Метод критического пути СРМ
Метод анализа и оценки PERT

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

Планирование

Организационные аспекты управления в проекте
Оценивание проекта
Методы управление рисками

Планирование управления рисками
Количественная оценка рисков
Планирование реагирования на риски
Мониторинг и контроль
Управление конфигурацией программной системы
Управление конфигурацией

Планирование УК
Определение стратегии идентификации
Управление версиями
Изменения в утвержденном КБ
Суть этого учета
Конфигурационный аудит

Языковые средства описания компонентов
Языковые средства описания компонентов и методов интеграции
Компоненты сеансов
ПИК сохраняется в архиве JAVA
Типы компонентов и средства их интеграции в JAVA
Шаблон развертывания
Базовые операция проекта

Формы
Система CORBA и средства описания объектов и компонентов
Сервлет – это небольшая программа
Язык описания интерфейсов в системе CORBA
Язык описания интерфейсов объектов
Интегратор объектов – брокер объектных запросов

Средства унифицированного процесса RUP
Энциклопедия инструментов создания ПС из объектов и компонентов

Средства и методы разработки архитектуры MSF
Перспективы производственной архитектуры
Словарь терминов программной инженерии

Формирование требований к автоматизированной системе

Стандарт разработки документации на АС – ГОСТ
Жизненный цикл компонентной разработки ПС
 Разработка требований – это формирование
Этап анализа поведения ПС
Этап спецификации интерфейсов и взаимодействия компонентов
Этап интеграции

Этап развертывания компонентов системы
Этап сопровождения
Кодекс этики программной инженерии
Литература
Стандарты программной инженерии

Клиенты NetWare далее
LANtastic 6.0 Руководство по установке и управлению далее