Оценка полноты тестирования реализации протокола TCP на основе конечно автоматных моделей

Сухоплюев, Максим Николаевич; Форостьянова, Мария Сергеевна

Оценка полноты тестирования реализации протокола TCP на основе конечно автоматных моделей

Сухоплюев, Максим Николаевич, Форостьянова, Мария Сергеевна

Дата публикации: 2014

Дата публикации в реестре: 2020-03-03T19:31:18Z

Ключевые слова:
TCP/IP, TCP-протокол, синтез проверяющих тестов, конечно-автоматные модели

Тип: статьи в сборниках

Источник: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 84

Оценка полноты тестирования реализации протокола TCP на основе конечно автоматных моделей

Связанные документы (рекомендация CORE)

Новости проекта

Новости

Партнеры

Индексация