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 14 Issue 1
January  1999
Turn off MathJax
Article Contents
Abstract
References
Related Articles
XU Mingwei, WU Jianping. A Formal Approach to Protocol Performance Testing[J]. Journal of Computer Science and Technology, 1999, 14(1): 81-87.
Citation: XU Mingwei, WU Jianping. A Formal Approach to Protocol Performance Testing[J]. Journal of Computer Science and Technology, 1999, 14(1): 81-87.
shu

A Formal Approach to Protocol Performance Testing

  • Department of Computer Science; Tsinghua University; Beijing 100084; P.R. China;

More Information
  • Published Date: January 09, 1999
    Abstract
  • This paper proposes a formal approach to protocol performance test- ing based on the extended concurrent TTCN. To meet the needs of protocol perfor- mance testing, concurrent TTCN is extended, and the extended concurrent TTCN's operational semantics is defined in terms of input-Output Labeled Thansition Sys- tem. An architecture design of protocol performance test system is described, and an example of test cases and its test result are given.
    • FullText(HTML)
    • References (4)
  • [1]
    Hao Ruibing, Wu Jianping. Toward formal TTCN-based test execution. In Proceedings of IEEE INFOCOM'97, 1997.
    [2]
    Thomas Walter, Bernhard Plattner. An operational semantics for concurrent TTCN. In Proceedings of IFIP IWTCS V, 1992.
    [3]
    Conformance Testing Methodology and Framework Part 3-The Tree and Tabular Combined Notation. ISO, November, 1991.
    [4]
    Tretmana Jan. Testing Labeled Transition Systems with Inputs and Outputs. In Proceedings of IFIP IWTCS VIII, 1995.
    • Relative Articles

  • Related Articles

    [1]LI Wei, LUAN Shangmin. Operational and Complete Approaches to Belief Revision[J]. Journal of Computer Science and Technology, 2000, 15(3): 202-212.
    [2]BI Jun, WU Jianping. An Approach to Concurrent TTCN Test Generation[J]. Journal of Computer Science and Technology, 1999, 14(6): 614-618.
    [3]Shen Ningchuan, Li Wei. R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance[J]. Journal of Computer Science and Technology, 1997, 12(1): 17-28.
    [4]Zhang Yuping, Li Wei. An Operational Approach to Belief Revision[J]. Journal of Computer Science and Technology, 1996, 11(2): 97-107.
    [5]Xu Dianxiang, Zheng Guoliang. Towards a Declarative Semantics of Inheritance with Exceptions[J]. Journal of Computer Science and Technology, 1996, 11(1): 61-71.
    [6]Xu Manwu, Lu Jianfeng, Zeng Fancong, Dai Jinwn. A Formal Semantics for DAI Language NUML[J]. Journal of Computer Science and Technology, 1995, 10(3): 227-238.
    [7]Shao Zhiqing. A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs[J]. Journal of Computer Science and Technology, 1993, 8(2): 59-65.
    [8]Shen Yidong. A Fixpoint Semantics for Stratified Databases[J]. Journal of Computer Science and Technology, 1993, 8(2): 12-21.
    [9]Liu Zhiming. A Continuous Algebraic Semantics of CSP[J]. Journal of Computer Science and Technology, 1989, 4(4): 304-314.
    [10]Li Wei. A Structural Operational Semantics for an Edison Like Language(2)[J]. Journal of Computer Science and Technology, 1986, 1(2): 42-53.
    • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (22) PDF downloads (1372) 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