CSEDays. Application 2010

База отдыха "Иволга", Екатеринбург, 12-14 ноября

News subscription
Share:

Reviews

Обязательно нужно сохранить традицию проведения "Что? Где? Когда?" или других интеллектуальных игр.
- / CSEDays. Application 2010
Home / CSEDays Application 2010 / Шабалдина Наталья /

Тестирование телекоммуникационных протоколов на основе моделей с конечным числом переходов

Author: Шабалдина Наталья

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

Посмотреть презентацию

Посмотреть видео лекции