Protocol Conformance Testing — A Survey

Testing is an integral part of protocol development cycle. In this paper, we will briefly discuss the protocol conformance testing methodologies and framework proposed by the International Standards Organization. Many efficient test sequence generation methods have been proposed to check the conformance of an implementation of a protocol to its standards. We will discuss these methods briefly. Finally, we will compare different test methodologies based on their fault coverage and the length of the test sequence.

Chapter PDF

Similar content being viewed by others

The Study and Application of Protocol Conformance Testing Based on TTCN-3

Testing Distributed Communication Protocols by Formal Performance Monitoring

Combinatorial Methods for Testing Communication Protocols in Smart Cities

Key words

• Black Box Testing
• Fault Detection Methods
• Fault Diagnosis Methods
• Finite State Machine
• Protocol Conformance Testing
• Test Sequence
• Test Suite Design.

References

• Aho A.V., Anton T. Dahbura, David Lee, and M. Umit Uyar (1991) An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours. IEEE Trans. on Communication, 39: 11, 1604–1615. ArticleGoogle Scholar
• Bochmann G V, R. Dssouli, A. Das, M. Dubuc, A. Ghedamsi, and G. Luo (1991) Fault models in testing. In Protocol Test Systems, pages 17–32. Google Scholar
• Bochmann G.V., and A. Ghedamsi (1993) Multiple Fault Diagnostic Tests,for Finite State Machines. In IEEE Infocom93, pages 782–791. Google Scholar
• Bosik B.S. and Uyar M.U. (1991) FSM based formal methods in protocol conformance testing: from theory to implementation. CN and ISDN Systems, 22: 7–33. ArticleGoogle Scholar
• Boyd S.C. and Hasan Ural (1991) On the complexity of generating optimal test sequences. IEEE Transactions on Software Engineering, 17: 976–979. ArticleMathSciNetGoogle Scholar
• Chen M, Choi Y., and Kershenbaum A. (1990) Approaches utilizing segment overlap to minimise test sequences. In Protocol Spec. Testing, and Verification X, pages 85–98. Google Scholar
• Chow T. S. (1978) Testing software design modeled by finite state machines. IEEE Transactions of Software Engineering, SE-4: 178–187. Google Scholar
• Chan W. Y. L., S. T. Vuong, and M. R. Ito (1989) An improved protocol test generation procedure based on UIOS. In SIGCOMM’89, pages 283–294. Google Scholar
• Fujiwara S., G. V. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi (1991) Test selection based on finite state models. IEEE Trans. on Software Engineering, 17. Google Scholar
• Gonenc G. (1970) A method for the design of fault detection experiments. IEEE Transactions of computers, 19: 551–558. ArticleGoogle Scholar
• ISO (1989) Information technology -OSI conformance testing methodology and frame-work - Part 1: General concepts. International Organization for Standardization. Google Scholar
• ISO (1989) Information technology -OSI conformance testing methodology and frame-work - Part 2: Abstract test suite specification. International Organization for Standardization. Google Scholar
• ISO (1989) Information technology -OSI conformance testing methodology and framework - Part S: The Tree and Tabular Combined Notation. International Organization for Standardization. Google Scholar
• ISO (1989) Information technology -OSI conformance testing methodology and frame-work - Part 4: Test realization. International Organization for Standardization. Google Scholar
• ISO (1989) Information technology -OSI conformance testing methodology and framework - Part 5: Requirements on test laboratories and clients for the conformance assessment process. International Organization for Standardization. Google Scholar
• Linn R J. (1989) Conformance evaluation methodology and protocol testing. IEEE Journal on selected areas in communications, 7 (7): 1143–1158. ArticleGoogle Scholar
• Kohavi Z. (1978) Switching and Finite Automata Theory. McGraw Hill. Google Scholar
• Kripanandan R. S. and S. V. Raghavan (1994) Multilevel approach to protocol conformance testing. to appear in CN and ISDN Systems. Google Scholar
• Kripanandan R. S. (1990) Multi-level approach to protocol conformance testing. Master’s thesis, Department of Computer Science, Indian Institute of Technology Madras. Google Scholar
• Lombardi F. and Y.N. Shen (1992) Evaluation and improvement of fault coverage of conformance testing by UIO sequences. IEEE transactions on communications, 40, 8: 1288–1293. Google Scholar
• Miller R.E. and Sanjoy Paul (1992) Structural analysis of a protocol specification and generation of a maximal fault coverage conformance test sequence. Technical report, University Of Maryland. Google Scholar
• Miller R.E. and Sanjoy Paul (1993) On the generation of minimal length conformance tests for communication protocols. IEEE transactions on networking, 1: 116–129. ArticleGoogle Scholar
• Neelakantan B. and S.V. Raghavan (1994) Scientific Approach to Multilevel Method. Communiated to IEEE transactions on networking. Google Scholar
• Naito S. and M. Tsunoyama (1981) Fault detection for sequential machines by Transition tours. In Proceedings of Fault tolerant computing systems, pages 238–243 Google Scholar
• Rayner D. (1987) OSI conformance testing. CN and ISDN Systems, 14: 79–98 ArticleGoogle Scholar
• Ramalingam T., Anindya Das, and K. Thulasiraman (1992) On conformance test and fault resolution of protocols based on FSM model. In Networks92, pages 435–475. Google Scholar
• Sarikaya B. and G.V. Bochmann (1982) Some experience with test sequence generation for protocols. In Protocol Specification, Testing, and Verification II, pages 555–567. Google Scholar
• Sabnani K. and Anton Dahbura (1988) A protocol test generation procedure. CN and ISDN Systems, 15: 285–297. ArticleGoogle Scholar
• Sidhu D.P. (1990) Protocol testing: The first ten years, the next ten years. In Protocol Specification, Testing, and Verification X, pages 47–68. Google Scholar
• Sidhu D.P. and Tingkau Leung (1989) Formal methods for protocol testing: A detailed study. IEEE Transactions of Software Engineering, 15 (4): 413–426. ArticleGoogle Scholar
• Shen Y. N., F. Lombardi, and A. T. Dabhura (1989) Protocol Conformance Testing us-ing MUIO sequences. In Protocol Spec., Testing, and Verification IX, pages 131–143. Google Scholar
• Sidhu D.P. and Raghu Vallurupalli (1990) On arbitrariness in protocol conformance test generation. Technical report, University Of Maryland. Google Scholar
• Ural H. and K Zhu (1993) Optimal length test sequence generation using distinguishing sequences. IEEE transactions on networking, 1: 358–371. ArticleGoogle Scholar
• Vuong S.T. and Kai C. Ko (1990) A novel approach to protocol test sequence generation. In Globalcom’90, pages 1880–1884. Google Scholar
• Yao M., A. Petrenko, and G V Bochmann (1993) Conformance testing of protocol machines without reset. Technical report, University Of Montreal. Google Scholar
• Yang Bo and Hasan Ural (1990) Protocol conformance test generation using multiple UIO sequences with overlapping. In SIGCOMM’90, pages 118–125. Google Scholar
• Zeng H. X., S. T. Chanson, and B. R. Smith (1989) On Ferry clip approaches protocol testing. CN and ISDN Systems, 17: 77–88. ArticleGoogle Scholar

Author information

Authors and Affiliations

1. Department of Computer Science and Engineering, Indian Institute of Technology Madras, Madras, 600 036, India B. Neelakantan & S. V. Raghavan

1. B. Neelakantan

Editor information

Editors and Affiliations

1. Department of Computer Science and Engineering, Indian Institute of Technology, Madras, India S. V. Raghavan ( Co-Chairs ) ( Co-Chairs )
2. Department of Computer Science and Engineering, Indian Institute of Technology, Delhi, India Bijendra N. Jain ( Co-Chairs ) ( Co-Chairs )

Rights and permissions

Copyright information

© 1995 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Neelakantan, B., Raghavan, S.V. (1995). Protocol Conformance Testing — A Survey. In: Raghavan, S.V., Jain, B.N. (eds) Computer Networks, Architecture and Applications. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34887-2_11

Download citation

• .RIS
• .ENW
• .BIB

• DOI : https://doi.org/10.1007/978-0-387-34887-2_11
• Publisher Name : Springer, Boston, MA
• Print ISBN : 978-1-4757-9804-3
• Online ISBN : 978-0-387-34887-2
• eBook Packages : Springer Book Archive

Share this chapter

Anyone you share the following link with will be able to read this content:

Get shareable link

Sorry, a shareable link is not currently available for this article.

Copy to clipboard

Provided by the Springer Nature SharedIt content-sharing initiative