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

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

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

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

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

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