Верификация, аттестация и качество программного обеспечения

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

6. Содержание

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