Skip to main content
SpringerLink
Log in
Book cover

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

ISoLA 2010: Leveraging Applications of Formal Methods, Verification, and Validation pp 371–381Cite as

Specification Based Conformance Testing for Email Protocols

  • Conference paper

  • 923 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6416))

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.

This work was supported by RFBR grant 10-07-00145-a and by Rosnauka grant 2009-04-1.4-00-01-006.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. IETF RFC 5321. J. Klensin. Simple Mail Transfer Protocol (2008)

    Google Scholar 

  2. IETF RFC 1939. J. Myers, M. Rosem, Post Office Protocol – Version 3 (1996)

    Google Scholar 

  3. IETF RFC 3501. M. Crispin. Internet Message Access Protocol – version 4rev1 (2003)

    Google Scholar 

  4. ISO/IEC 9646. Information technology – Open Systems Interconnection – Conformance testing methodology and framework – Part 1: General concepts. Geneva: ISO (1994)

    Google Scholar 

  5. Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, San Francisco (2007)

    Google Scholar 

  6. Blackburn, M., Busser, R., Nauman, A.: Why Model-Based Test Automation is Different and What You Should Know to Get Started. Software Productivity Consortium, NFP (2004)

    Google Scholar 

  7. Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J.M., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-Based Testing in Practice. In: Proceedings of the ICSE 1999 (May 1999)

    Google Scholar 

  8. ETSI ES 201 873-1 V3.1.1. Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language. Sophia-Antipolis, France: ETSI (2009)

    Google Scholar 

  9. Unit testing framework, http://www.junit.org

  10. Jacky, J., Veanes, M., Campbell, C., Schulte, W.: Model-based Software Testing and Analysis with C#. Cambridge University Press, Cambridge (2008)

    MATH  Google Scholar 

  11. http://research.microsoft.com/pubs/77383/bookChapterOnSE.pdf

  12. http://research.microsoft.com/en-us/projects/specexplorer/

  13. End-to-End Testing Automation in TTCN-3 environment using Conformiq Qtronic and Elvior MessageMagic (2009)

    Google Scholar 

  14. Kuliamin, V.V., Petrenko, A.K., Kossatchev, A.S., Burdonov, I.B.: The UniTesK Approach to Designing Test Suites. Programming and Computer Software 29(6), 310–322 (2003)

    Article  Google Scholar 

  15. http://www.unitesk.com

  16. Functional testing of list using JavaTESK. Moscow (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia

    Nikolay Pakulin & Anastasia Tugaenko

Authors
  1. Nikolay Pakulin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anastasia Tugaenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Informatics, University of Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Technical University of Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pakulin, N., Tugaenko, A. (2010). Specification Based Conformance Testing for Email Protocols. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2010. Lecture Notes in Computer Science, vol 6416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16561-0_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16561-0_35

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16560-3

  • Online ISBN: 978-3-642-16561-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation