KZ

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

  • Целью дисциплины является формирование у обучающегося практических навыков по проверке или доказательству отсутствия ошибок в последовательных и параллельных алгоритмах, реализованных на объектно-ориентированного программных обеспечениях. В результате обучения магистрант будет способным качественно разрабатывать программные продукты, применять в профессиональной деятельности основные навыки, необходимыми для участия в верификации сложных программных обеспечений.
  • Образовательная программа 7M06101 Программная инженерия
  • ВУЗ Международный инженерно-технологический университет
  • Кредитов 4
  • Год обучения 2
  • Семестр 2
Top