Публікація: Моделювання мережних протоколів при побудові тестових послідовностей
Завантаження...
Дата
2011
Назва журналу
ISSN журналу
Назва тома
Видавництво
Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті
Анотація
Розглянуто проблему побудови моделі мережевих протоколів для системи генерації тестових послідовностей. У якості моделі для відображення специфікації протоколів була показана можливість використання теорії кінцевих автоматів, а також методу мереж Петрі. Проведений аналіз показав, що обидва підходи можуть бути використані для розв'язання поставленої задачі. Вибір одного з методів залежить від наявності відповідного програмного симулятора й від складності специфікації протоколу.
Опис
Ключові слова
мережевий протокол, тестова послідовність, граф переходів протоколу, модель протоколу в виді мережі Петрі
Бібліографічний опис
Немченко В. П. Моделювання мережних протоколів при побудові тестових послідовностей /В. П. Немченко, А. Н. Зиарманд, Ю. А. Чепелев// Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2011