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