Верификация, аттестация и качество программного обеспечения
Определение качества программного обеспечения (ПО). Эволюция понятия качества программного обеспечения. Идентификация и классификация характеристик качества. Основные характеристики качества ПО по модели ISO 9126. Метрики и модели качества. Метрическая оценка качества объектно-ориентированных ПС (ОО ПС). Верификация и аттестация(валидация) ПС. Оценка корректности программ. Использование верификации и аттестации на различных этапах жизненного цикла. Дефекты, ошибки и риски ПО. Тестирование как средство обеспечения корректности. Тестирование объектно-ориентированных ПС. Тестирование Web-приложений. Тестирование удобства использования ПС. Понятие автоматизации функционального тестирования. Основные понятия надежности и работоспособности ПС. Модели прогнозирования и анализа надежности и работоспособности ПС. Методы обеспечения и повышения надежности и работоспособности ПС. Аттестация ПС по требованиям информационной безопасности. Обеспечение качества и управление качеством ПО.
-
Содержание
- «Санкт-Петербургский государственный электротехнический университет “лэти” им.В.И. Ульянова (Ленина)» (сПбГэту)
- 230155.68 "Технологии разработки программных систем"
- Содержание программы
- Архитектура распределенных систем
- Моделирование и анализ инженерных данных
- Сетевое Web-программирование
- Технологии распределенных баз данных и баз знаний
- Верификация, аттестация и качество программного обеспечения
- Сервисно-ориентированное информационное и программное обеспечение
- 230155.68 – " Технологии разработки программных систем "