KZ

Верификация и анализ программ

  • Курс дает представление о современных технологиях верификации программного обеспечения, применяемых при разработке сложных и отказоустойчивых программных систем. Курс основан на методиках тестирования программных систем. Он охватывает вопросы построения тестового окружения, планирования системы тестов, анализа и обнаружения дефектов программного кода тестируемой системы, интеграционного и системного тестирования, общих аспектов тестирования пользовательских интерфейсов.
  • Образовательная программа 7M06102 Вычислительная техника и программное обеспечение
  • ВУЗ Восточно-Казахстанский технический университет имени Даулета Серикбаева
  • Кредитов 7
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 2
Top