Automation of conformance testing for communication protocols

This article summarizes the experience gained while developing test suites for conformance testing of implementations of Internet protocols. The projects described in this article used the UniTESK technology as a base for constructing tests. During the development of test suites we identified certai...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Authors:	Nikolay Pakulin, Victor Shnitman, Alexey Nikeshin
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	тестирование соответствия unitesk формальные методы автоматизация тестирования тестирование основанное на моделях тестирование протоколов формальные спецификации моделирование протоколов
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/769