CSEDays. Application 2010

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

News subscription
Share:

Reviews

Хочется еще раз поблагодарить организаторов и гостей школы за ту возможность общения с интересными людьми, которую они подарили!
Виктор Исаев / CSEDays. Application 2010
Home / CSEDays Application 2010 / Шабалдина Наталья /

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

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

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

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

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