Proceedings of ISP RAS

Automation of conformance testing for communication protocols.

Nikolay Pakulin, Victor Shnitman, Alexey Nikeshin.


This article summarizes the experience gained by the UniTESK team in development of model-based test suites for conformance testing of Internet protocols. Here we call “Internet protocols” the protocols of TCP/IP stack starting network level. We performed testing of network-level protocols IPv6 and Mobile IPv6, security protocols , IPsec v2 and TLS/SSL, mail protocols SMTP, POP3 and IMAP. The projects described in this article used the UniTESK technology as a base for test construction: we modeling protocol under test as a state machine with implicitly defined transitions, and the tests are constructed as traversal of test state machine. During the development of test suites we identified certain features of the protocols that make it difficult to apply UniTESK unmodified to protocol conformance testing, as well as some limitations of UniTESK toolkits. Nevertheless all these obstacles were successfully overcome without going beyond UniTESK concepts.


conformance testing, UniTESK, formal methods, test automation, Model-based testing, protocol testing, formal specification, protocol models


Proceedings of the Institute for System Programming, vol. 26, issue 1, 2014, pp. 109-148.

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

DOI: 10.15514/ISPRAS-2014-26(1)-4

Full text of the paper in pdf Back to the contents of the volume