Skip to main content
SpringerLink
Log in

A formal approach to protocol performance testing

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

Abstract

This paper proposes a formal approach to protocol performance testing based on the extended concurrent TTCN. To meet the needs of protocol performance testing, concurrent TTCN is extended, and the extended concurrent TTCN's operational semantics is defined in terms of Input-Output Labeled Transition System. An architecture design of protocol performance test system is described, and an example of test cases and its test result are given.

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. Hao Ruibing, Wu Jianping. Toward formal TTCN-based test execution. InProceedings of IEEE IN-FOCOM'97, 1997.

  2. Thomas Walter, Bernhard Plattner. An operational semantics for concurrent TTCN. InProceedings of IFIP IWTCS V, 1992.

  3. Conformance Testing Methodology and Framework Part 3 — The Tree and Tabular Combined Notation. ISO, November, 1991.

  4. Tretmans Jan. Testing Labeled Transition Systems with Inputs and Outputs. InProceedings of IFIP IWTCS VIII, 1995.

Download references

Author information

Authors and Affiliations

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

    Xu Mingwei & Wu Jianping

Authors
  1. Xu Mingwei
    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 Xu Mingwei.

Additional information

This research is supported by National Natural Science Foundation of China under Grant No. 69682002.

XU Mingwei received the B.A. and Ph.D. degrees in computer science from Tsinghua University. His research interests include computer network, protocol testing and ATM.

WU Jianping is a Professor of Dept. of Computer Science, Tsinghua University, and Director of China Education & Research Network (CERNET). His research interests include computer network, protocol engineering and distributed system.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Xu, M., Wu, J. A formal approach to protocol performance testing. J. Comput. Sci. & Technol. 14, 81–87 (1999). https://doi.org/10.1007/BF02952491

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation