Нужно много различных протоколов связи Каждый из них может реализовываться на разных платформах Современные сети Много устройств, компьютеров и сетей Разные виды связи в разных сетях мобильность и слабая связанность

Задачи верификации Разные реализации протокола должны корректно обмениваться данными Дополнительные функции – Защита от потерь и ошибок в сетях – Защита от несанкционированного доступа – Мобильность – Передача мультимедийных данных –…–…

Стандарты Интерфейс Стандарт определяет Состав интерфейса Правила его использования Реализуемые функции При соблюдении ограничений стандарта всеми сторонами гарантируется корректная связь Сервер Клиент

Проверка соответствия стандарту Используются тестовые наборы, работающие через стандартный интерфейс – Подходят для любой реализации – Для их создания не нужно знать особенности кода и прочие коммерческие секреты Тестовый набор

Тестирование на основе моделей Тесты строятся как результат автоматического обхода автомата, моделирующего работу протокола A A инициализация таймаут отправление 0 (первое или таймаут) доставка 0 доставка 1 подтверждение 0 послано подтверждение 1 послано подтверждение 0 принятоподтверждение 1 принято подтверждение 0 послано отправление 1 подтверждение 1 послано отправление 0