KZ

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

  • Цель дисциплины состоит в формировании способности осуществлять процессы тестирования и верификации программного обеспечения для построения корректных и отказоустойчивых программных систем. В рамках дисциплины рассматриваются следующие аспекты: Введение в дисциплину. Моделирование последовательных систем как меток с переходными системами (структуры Крипке).
  • Образовательная программа 6B06104 Компьютерные науки
  • ВУЗ Казахский национальный университет имени аль-Фараби
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 4
  • Семестр 7
Top