Specification based conformance testing for email protocols

Authors:
Nikolay Pakulin;Anastasia Tugaenko
Affiliations:
Institute for System Programming, Russian Academy of Sciences, Moscow, Russia;Institute for System Programming, Russian Academy of Sciences, Moscow, Russia
Venue:
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Year:
2010

Citing 4
Cited 0

Model-based testing in practice

Proceedings of the 21st international conference on Software engineering
The UniTesK Approach to Designing Test Suites

Programming and Computing Software
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
Model-Based Software Testing and Analysis with C#

Model-Based Software Testing and Analysis with C#

Quantified Score

Hi-index	0.00

Visualization

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.