We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 13 Issue 1
January  1998
Turn off MathJax
Article Contents
Abstract
References
Hao Ruibing, Wu Jianping. A Formal Approach to Protocol Interoperability Testing[J]. Journal of Computer Science and Technology, 1998, 13(1): 79-90.
Citation: Hao Ruibing, Wu Jianping. A Formal Approach to Protocol Interoperability Testing[J]. Journal of Computer Science and Technology, 1998, 13(1): 79-90.
shu

A Formal Approach to Protocol Interoperability Testing

  • Department of Computer Science; Tsinghua University; Beijing 100084; P.R. China E-mail: hrb@csnetl.cs.tsinghua.edu.cn; jianping@cernet.edu.cn;

More Information
  • Published Date: January 09, 1998
    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 intero…
    • FullText(HTML)
    • References (3)
  • [1]
    Hogrefe D. Status report on FMCT project. In International 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.
    [3]
    Huang C M, Lin Y C, Jang M Y. An executable protocol test sequence generation method for EFSM-specified protocols. In International Workshop of Protocol Test System, 1995. ……….
    • Relative Articles
  • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (20) PDF downloads (1234) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return