Abstract
The paper presents a method for conformance testing of Internet electronic mail protocols. The method is based on formal specification of the standards following the approach of the contract specification, and designing tests as traversal of a state machine. The paper presents the implementation of the method for the most widely used e-mail protocols SMTP, POP3 and IMAP4 and is illustrated by the results of testing of popular e-mail servers. © 2010 Springer-Verlag.
Cite
CITATION STYLE
Pakulin, N., & Tugaenko, A. (2010). Specification based conformance testing for email protocols. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6416 LNCS, pp. 371–381). https://doi.org/10.1007/978-3-642-16561-0_35
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
