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

       

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

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

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

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

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

Репозитарий компонентов


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

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

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

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

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

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

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

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

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

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

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

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

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