Немченко, В. П.Ізотов, А. С.Демидчук, М. А.2016-09-122016-09-122011Немченко В. П. Модифікація життєвого циклу мережевих протоколів /В. П. Немченко, А. Н. Зиарманд, Ю. А. Чепелев// Науково-технічний журнал : ІКС_ЗТ - 2011http://openarchive.nure.ua/handle/document/2394Розглянуто проблему перевірки конформності реалізації мережевих протоколів. Показано необхідність модернізації життєвого циклу протоколу. Дано підхід до моделювання мережевих протоколів з використанням теорії кінцевих автоматів. Запропонований підхід може бути використано для вирішення завдання побудови автоматизованих діагностичних систем перевірки мережевих протоколів. Анализируя состояние дел в области сетевых телекоммуникаций, мы видим большое количество и разнообразие сетевых протоколов, использующихся сегодня в локальных и глобальных сетях. Более того, сейчас происходит переход от использования стека протоколов ТСР/IP версия 4 к стеку TCP/IP версия 6. Это ведет, с одной стороны, к модификации существующих и созданию новых протоколов, с другой стороны, к необходимости проверки на совместимость новых реализаций протоколов с существующими протоколами.ruпротокол ТСРконформністьтестуваннякінцевий автоматмоделюванняArticle