Author: Шабалдина Наталья
В докладе рассказано о возможностях описания поведения телекоммуникационных протоколов при помощи моделей с конечным числом переходов, таких как конечные, временные, расширенные автоматы и др. Формальное описание позволяет применять методы построения проверяющих тестов с гарантированной полнотой. Обзор известных методов для перечисленных формальных моделей также представлен в докладе. Проведена демонстрация программы-тестера для активного и пассивного тестирования протоколов прикладного уровня.