KZ

Верификация, стандартизация и сертификация ПО

  • Целью изучения дисциплины является получение знаний о верификации, стандартизации и сертификации ПО. Курс представлен разделами: основы верификации программного обеспечения, методы и техники верификации, формальные методы верификации, процессы стандартизации в разработке ПО, международные и национальные стандарты в области ПО, процедуры и процессы стандартизации, сертификация программного обеспечения, требования и критерии сертификации, процедуры и процессы сертификации, инструменты и техники тестирования ПО, автоматизированные инструменты тестирования, техники статического и динамического анализа, управление качеством программного обеспечения, системы управления качеством (QMS), метрики и оценка качества ПО, документирование и отчетность в процессе верификации и сертификации, подготовка технической документации, отчеты по результатам тестирования и сертификации.
  • Образовательная программа 6B06106 IT-инжиниринг
  • ВУЗ Карагандинский технический университет имени Абылкаса Сагинова
  • Кредитов 5
  • Год обучения 3
  • Семестр 5
Top