Test execution method based on TTCN's operational semantics

Protocol conformance testing is the basic facility to ensure the interoperability between protocol implementations. It demands formal methods in protocol conformance testing for various protocols and testing methods. This paper gives an introduction of basic concepts and techniques of protocol conformance testing, and then an analysis of the application of formal methods in this field. We mainly focus our attention on test execution methods, which play an important role in system testing. We propose an approach to test execution based on the operational semantics of the TTCN, and use this method for our testing system's construction. We applied our testing system to the testing of different OSI protocols and got some satisfying results.

[1]  George A. Harvey.  The Routing Certification System , 1983, Protocol Specification, Testing, and Verification.

[2]  Richard J. Linn.  Conformance Testing for OSI Protocols , 1989, Comput. Networks ISDN Syst..

[3]  Tadanori Mizuno,et al.  Strategic Testing Environment with Formal Description Techniques , 1991, IEEE Trans. Computers.

[4]  Jianping Wu,et al.  An approach to TTCN-based test execution , 1995 .

[5]  Deepinder P. Sidhu,et al.  Semi-Automatic Implementation of OSI Protocols , 1989, Comput. Networks ISDN Syst..

[6]  Richard J. Linn,et al.  Some Experience with Testing Tools for OSI Protocol Implementations , 1983, Protocol Specification, Testing, and Verification.

[7]  Behçet Sarikaya.  Conformance Testing: Architectures and Test Sequences , 1989, Comput. Networks.

[8]  D. Rayner.  OSI Conformance Testing , 1987, Comput. Networks.

[9]  Gregor von Bochmann.  Usage of Protocol Development Tools: The Results of a Survey , 1987, PSTV.

[10]  Robert L. Probert,et al.  TTCN: The International Notation for Specifying Tests of Communcations Systems , 1992, Comput. Networks ISDN Syst..

[11]  Qin Li,et al.  The UBC Protocol Testing Environment , 1993, Protocol Test Systems.