Немченко, В. П.Зіарманд, А. Н.Чепелев, Ю. А.2016-09-122016-09-122011Немченко В. П. Моделювання мережних протоколів при побудові тестових послідовностей /В. П. Немченко, А. Н. Зиарманд, Ю. А. Чепелев// Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2011http://openarchive.nure.ua/handle/document/2387Розглянуто проблему побудови моделі мережевих протоколів для системи генерації тестових послідовностей. У якості моделі для відображення специфікації протоколів була показана можливість використання теорії кінцевих автоматів, а також методу мереж Петрі. Проведений аналіз показав, що обидва підходи можуть бути використані для розв'язання поставленої задачі. Вибір одного з методів залежить від наявності відповідного програмного симулятора й від складності специфікації протоколу.ruмережевий протоколтестова послідовністьграф переходів протоколумодель протоколу в виді мережі ПетріArticle