Skip to main content
SpringerLink
Log in

An approach to concurrent TTCN test generation

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

Abstract

The basis of distributed system conformance testing is to test the conformance of each entity with its standard. This paper addresses the approach to entity conformance testing based on concurrent TTCN. First a preliminary framework for entity conformance testing is introduced and a specification model CEBE is presented. Then a test generation method, which could directly derive concurrent TTCN test suite from CEBE, is proposed.

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. Farooqui K, Logrippo L, de Meer Jan. The ISO model for open distributed processing.Computer Networks & ISDN Systems, 1995, 27: special issue.

  2. Loureiro A A Fet al. Checking unstable properties in distributed testing of communication protocols. In9th International Workshop on Testing of Communicating Systems, IFIP, 1996.

  3. Kim M,et al. An approach for testing asynchronous communicating systems. In9th International Workshop on Testing of Communicating Systems, IFIP, 1996.

  4. Wong A C Yet al. A framework for distributed object-oriented testing. In10th International Conference on Formal Description Techniques for Distributed Systems, IFIP, 1997.

  5. Wu J, Chanson S T. Testing sequence derivation based on external behavior expression. In2nd International Workshop on Protocol Test Systems, IFIP, 1989.

  6. Wu J, Chanson S T. Translation from LOTOS and Estelle specifications to extended transition system and its verification. In2nd International Conference on Formal Description Techniques for Distributed Systems, IFIP, 1989.

  7. Derrick Jet al. Supporting ODP—Translating LOTOS to Z. In1st International Workshop on Formal Methods for Open Object-Based Distributed Systems, IFIP, 1996.

  8. Bi J, Wu J, Chen X. Towards the formal model and testing of distributed systems. In10th International Conference on Parallel and Distributed Systems, IASTED, 1998.

  9. Wang J, Hao R, Wu J. TUGEN: An automatic test suite generator integrating data-flow and control-flow methods. InInternational Conference on Communications, IEEE, 1998.

Download references

Author information

Authors and Affiliations

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

    Bi Jun & Wu Jianping

Authors
  1. Bi Jun
    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

Additional information

Supported by the National Natural Science Foundation of China, Grants No. 69473011 and No.69682002.

BI Jun received his B.S., M.S. and Ph.D. degrees from Tsinghua University. He is a lecturer at Dept. of Computer Science and Technology, Tsinghua University. His research interests include high-speed networks and Internet, formal methods, network protocols, and network routing.

WU Jianping received his B.S., M.S. and Ph.D. degrees from TsinghuaUniversity. He is a Professor at Dept. of Computer Science and Technology, Tsinghua University. He is also the director of the CERNET Technical Board. His research interests include high-speed networks and Internet, protocol engineering, network management, and network security.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bi, J., Wu, J. An approach to concurrent TTCN test generation. J. Comput. Sci. & Technol. 14, 614–618 (1999). https://doi.org/10.1007/BF02951883

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation