
Старший научный сотрудник лаборатории тестирования
программного обеспечения систем радиофизического факультета Томского государственного университета.
Научные интересы: построение проверяющих тестов, конечные автоматы, временные автоматы, пассивное тестирование, тестирование взаимодействия.
-
Тестирование телекоммуникационных протоколов на основе моделей с конечным числом переходов
Длительность 1 часВ докладе рассказано о возможностях описания поведения телекоммуникационных протоколов при помощи моделей с конечным числом переходов.
Read more →