KZ

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

  • Цель дисциплины состоит в формировании способности осуществлять процессы тестирования и верификации программного обеспечения для построения корректных и отказоустойчивых программных систем. Дисциплина направлена на изучение тем: Моделирование последовательных систем как меток с переходными системами (структуры Крипке).
  • Образовательная программа 6B06101 Информатика
  • ВУЗ Казахский национальный педагогический университет имени Абая
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 2
Top