Немченко, В. П.Изотов, А. С.2016-09-072016-09-072011Немченко В. П. Построения системы генерации тестовых последовательностей для сетевых протоколов/В. П. Немченко, А. С. Изотов// Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті- 2011http://openarchive.nure.ua/handle/document/2230Рассмотрена проблема построения системы генерации тестовых последовательностей для проверки сетевых протоколов. В качестве модели для отображения спецификации протокола предложено использование автоматной модели, или метода сетей Петри. Предложенный подход может быть использованной для решения поставленной задачи.ruтестсетевой протоколграфовая модельArticle