Specification Based Conformance Testing for Email Protocols

被引：0
|
作者：
Pakulin, Nikolay [1 ]
Tugaenko, Anastasia [1 ]
机构：
[1] Russian Acad Sci, Inst Syst Programming, Moscow, Russia
来源：
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II | 2010年 / 6416卷
关键词：
D O I：
10.1007/978-3-642-16561-0_35
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：371 / 381
页数：11
相关论文
共 50 条
  • [1] Conformance testing of DECT protocols
    Tarnay, K
    Rotter, CV
    [J]. EUROMICRO SUMMER SCHOOL ON MOBILE COMPUTING'98, 1998, 183 : 133 - 143
  • [2] CONFORMANCE TESTING FOR OSI PROTOCOLS
    LINN, RJ
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1990, 18 (03): : 203 - 219
  • [3] Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets
    Bishop, S
    Fairbairn, M
    Norrish, M
    Sewell, P
    Smith, M
    Wansbrough, K
    [J]. ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 2005, 35 (04) : 265 - 276
  • [4] Conformance testing of priority inheritance protocols
    Polock, D
    Zöbel, D
    [J]. SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 404 - 408
  • [5] CONFORMANCE TESTING METHODOLOGIES FOR OSI PROTOCOLS
    BUSH, M
    RASMUSSEN, K
    WONG, F
    [J]. AT&T TECHNICAL JOURNAL, 1990, 69 (01): : 84 - 100
  • [6] The conformance testing METhodology for mobile communication protocols
    Luo, H
    [J]. ICCC2004: Proceedings of the 16th International Conference on Computer Communication Vol 1and 2, 2004, : 1458 - 1463
  • [7] Conformance testing of time-dependent protocols
    Salinas, J
    Park, N
    Arunkumar, U
    Lombardi, F
    [J]. SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 257 - 264
  • [8] Standardization of formal methods in conformance testing of communication protocols
    Cavalli, AR
    Favreau, JP
    Phalippou, M
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 29 (01): : 3 - 14
  • [9] A Framework for Assuring the Conformance of Cloud-based Email
    Willett, Melanie
    Von Solms, Rossouw
    [J]. 2013 8TH INTERNATIONAL CONFERENCE FOR INTERNET TECHNOLOGY AND SECURED TRANSACTIONS (ICITST), 2013, : 168 - 173
  • [10] CONFORMANCE TESTING OF COMMUNICATIONS PROTOCOLS IN INFORMATION SYSTEMS.
    Halliwell, J.R.
    Holland, T.J.
    Freestone, D.
    [J]. 1600, (04):
12345