Построения системы генерации тестовых последовательностей для сетевых протоколов

Abstract

Рассмотрена проблема построения системы генерации тестовых последовательностей для проверки сетевых протоколов. В качестве модели для отображения спецификации протокола предложено использование автоматной модели, или метода сетей Петри. Предложенный подход может быть использованной для решения поставленной задачи.