Моделювання мережних протоколів при побудові тестових послідовностей

Abstract

Розглянуто проблему побудови моделі мережевих протоколів для системи генерації тестових послідовностей. У якості моделі для відображення специфікації протоколів була показана можливість використання теорії кінцевих автоматів, а також методу мереж Петрі. Проведений аналіз показав, що обидва підходи можуть бути використані для розв'язання поставленої задачі. Вибір одного з методів залежить від наявності відповідного програмного симулятора й від складності специфікації протоколу.