Модифікація життєвого циклу мережевих протоколів

Abstract

Розглянуто проблему перевірки конформності реалізації мережевих протоколів. Показано необхідність модернізації життєвого циклу протоколу. Дано підхід до моделювання мережевих протоколів з використанням теорії кінцевих автоматів. Запропонований підхід може бути використано для вирішення завдання побудови автоматизованих діагностичних систем перевірки мережевих протоколів. Анализируя состояние дел в области сетевых телекоммуникаций, мы видим большое количество и разнообразие сетевых протоколов, использующихся сегодня в локальных и глобальных сетях. Более того, сейчас происходит переход от использования стека протоколов ТСР/IP версия 4 к стеку TCP/IP версия 6. Это ведет, с одной стороны, к модификации существующих и созданию новых протоколов, с другой стороны, к необходимости проверки на совместимость новых реализаций протоколов с существующими протоколами.