Model-Based Testing of E-Mail Protocols of the Internet.
Model-Based Testing of E-Mail Protocols of the Internet.
Authors
Abstract
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.
Edition
Programming and Computer Software, 2012, Vol. 38, No. 5, pp. 268-275. Pleiades Publishing, Ltd., 2012.
0361-7688
Research Group
All publications during 2012
All publications