Ivannikov Institute for System Programming of the RAS

Model-Based Testing of E-Mail Protocols of the Internet.


N. Pakulin, A. Tugaenko, V. Shnitman.


This paper considers Model-Based Testing of e-mail protocols: a method for modeling mail protocols is proposed, specific features of mail protocols are considered in the context of testing, and results of testing of popular open-source mail servers are presented. As an example, test suites for the SMTP and POP3 protocols developed in JavaTESK (a Java extension for testing with formal methods) are presented. The test suites consist of two parts: independent conformance tests for protocols and a joint test imitating the operation of mail protocols in a network.


Programming and Computer Software, 2012, Vol. 38, No. 5, pp. 268-275. Pleiades Publishing, Ltd., 2012.


Research Group

Software Engineering

All publications during 2012 All publications