Курс знакомит слушателей с основными проблемами проверки качества сложных программных систем и современными подходами к их решению на основе тестирования. Рассматриваются система понятий области методов контроля качества и тестирования, формальные модели поведения, их роль в процессе фиксации требований и подготовке тестов, критерии полноты тестирования и техники их выбора в конкретном проекте, методы построения тестов, проблемы организации сложных тестовых наборов. Представлены традиционные техники построения тестов на основе классов эквивалентности и экстремальных значений, более формализованные, использующие конечные автоматы и комбинаторные схемы, а также интегрированные подходы, более пригодные для систем реальной сложности.
Слушатели получат хорошее представление о тестировании на основе моделей - новой, динамично развивающейся области на границе между теоретической информатикой и программной инженерией, и о ее практических приложениях.
В весеннем семестре 2025 г. курс проходит
на ФКН ВШЭ
по пятницам
в январе-марте 14:40-16:00 с 17.01.2025
в ауд. R204
в апреле-мае 11:10-12:30
в ауд. R404
В весеннем семестре 2025 г.
Экзаменационный тест: где-то в конце мая-начале июня
Результаты будут выложены