KZ

Верификация программных продуктов

  • Изучаемые вопросы: теория семантики и верификация программ; модели вычислительных процессов; верификация моделей и теория автоматов; циклы, стратегии и метрики, критерии тестирования; основные методы и технологии тестирования. Формируемые компетенции: знание о методах и подходах верификации программных продуктов, освещение преимуществ и ограничений, присущих методам верификации; знания в области обеспечения качества программного обеспечения, адресуемого к проблемам построения корректных и надежных программ; навыки формирования теоретических подходов к верификации программного обеспечения для проведения исследований.
  • Образовательная программа 7M06103 Информатика и компьютерные науки
  • ВУЗ Университет «Мирас»
  • Кредитов 6
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 1
Top