Сборники трудов ИСП РАН


Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов.

М.С. Форостьянова.

Аннотация

В статье предложен подход к тестированию программных реализаций телекоммуникационных протоколов на основе древовидных автоматов. Эффективность предложенного подхода иллюстрируется на примере протокола TCP (Windows).

Ключевые слова

telecommunication protocols, extended finite state machine, tcp, l-equivalent

Издание

Труды Института системного программирования РАН, том 26, вып. 6, 2014, стр. 67-76.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2014-26(6)-6

Полный текст статьи в формате pdf Вернуться к содержанию тома