Model-based testing of internet e-mail protocols

Authors:
N. V. Pakulin;A. N. Tugaenko;V. Z. Shnitman
Affiliations:
Institute for System Programming, Russian Academy of Sciences, Moscow, Russia 109004;Institute for System Programming, Russian Academy of Sciences, Moscow, Russia 109004;Institute for System Programming, Russian Academy of Sciences, Moscow, Russia 109004
Venue:
Programming and Computing Software
Year:
2012

Citing 8
Cited 0

Model-based testing in practice

Proceedings of the 21st international conference on Software engineering
Java Specification Extension for Automated Test Development

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
UniTesK Test Suite Architecture

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
The use of contract specifications for representing requirements and for functional testing of hardware models

Programming and Computing Software
Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols

Programming and Computing Software
Model-Based Software Testing and Analysis with C#

Model-Based Software Testing and Analysis with C#
Practical approach to specification and conformance testing of distributed network applications

ISAS'05 Proceedings of the Second international conference on Service Availability

Quantified Score

Hi-index	0.00

Visualization

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.