Ivannikov Institute for System Programming of the RAS

Test suite development for conformance testing of email protocols.


A. Tugaenko, N. Pakulin.


The method for testing electronic mail protocols in the Internet to conform to the standards based on formal specifications is presented. The method is based on automated testing technology UniTESK in which functional requirements are formalized as pre- and postconditions and test sequence is generated on-the-fly from finite state machine (test state machine) traversal. The method is illustrated by the test suite development for SMTP and POP3 protocols using JavaTESK – a specification extension of Java language.

Full text of the paper in pdf


formal specifications; model based testing; protocols testing; conformance testing.


Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 87-91.

DOI: 10.15514/SYRCOSE-2010-4-16

ISBN 978-5-91474-015-0

Research Group

Software Engineering

All publications during 2010 All publications