Skip to main content
SpringerLink
Log in

A formal approach to protocol interoperability testing

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

Protocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products. In this paper, we proposed a formal approach to protocol interoperability testing based on the operational semantics of Concurrent TTCN. We define Concurrent TTCN’s operational semantics by using Labeled Transition System, and describe the interoperability test execution and test verdict based on Concurrent TTCN. This approach is very helpful for the formation of formal interoperability testing theory and construction of general interoperability testing system.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Hogrefe D, Status report on FMCT project. InInternational Workshop of Protocol Test System, IFIP, 1994, pp.165–180.

  2. Tretmans Gerrit Jan. A Formal Approach to Conformance Testing. Ph.D. Thesis, University of Twente, Neither Land, 1992.

    Google Scholar 

  3. Huang C M, Lin Y C, Jang M Y. An executable protocol test sequence generation method for EFSM-specified protocols. InInternational Workshop of Protocol Test System, 1995.

  4. Hao R B, Wu J P, Shi M L. Toward formal TTCN-based test executing. InINFOCOM’97, Osaka, Japan.

  5. Sungwon Kang, Kim Myungchul. Test sequence generation for adaptive interoperability testing. InInternational Workshop of Protocol Test System, 1994.

  6. Castanet R, Kone O. Deriving Coordinated Testers for Interoperability, Protocol Test Systems. VI. Elsevier Science Publishers, North-Holland, 1994.

    Google Scholar 

  7. Takahashi K, Suzuki S, Sawai K. Design and implementation of an interoperability testing system-AICTS. InInternational Workshop of Protocol Test System, VII, IFIP, 1994, pp. 119–135.

  8. Vermeer G S, Bilk H. Interoperability Testing: Basis for the Acceptance of Communication Systems, Protocol Test Systems. VI. Elsevier Science Publishers, North-Holland, 1994.

    Google Scholar 

  9. Bonnes G. IBM OSI interoperability verification services. InInternational Workshop of Protocol Test System, 1990.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Tsinghua University, 100084, Beijing, P.R. China

    Hao Ruibing & Wu Jianping

Authors
  1. Hao Ruibing
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wu Jianping
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hao Ruibing.

Additional information

This Research is supported by the National Natural Science Foundation of China under Grant No.69473011.

Hao Ruibing received his B.S. and Ph.D. degrees in computer science from Tsinghua University in 1993 and 1997, respectively. Now he is a Lecture of Department of Computer Science at Tsinghua University. His research interests indude computer networks and communications, high-speed network, protocol testing.

Wu Jianping received his Ph.D. degree in computer science from Tsinghua University in 1997. He is a Professor of the Department of Computer Science at Tsinghua University. He also serves as the Director of CERNET Experts Committee. His current research interests include computer networks and protocol Engineering.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hao, R., Wu, J. A formal approach to protocol interoperability testing. J. of Comput. Sci. & Technol. 13, 79–90 (1998). https://doi.org/10.1007/BF02946617

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02946617

Keywords

Search

Navigation