No abstract

No abstract

No abstract

Abstract. Protocol conformance test is a procedure to validate whether the implementation of a communication protocol conforms to its specification. A modified transition tour protocol test method is proposed in this paper. The modified transition tour protocol test method is based on the executable rule-based specification and implementation that are realized by using the OPS5 production system. Instead of using some optimization algorithms to minimize test sequences, the new test method is based on modifying test architectures and enhancing Formal Description Techniques' (FDTs) functionalities so that they are powerful enough to be used in both the design phase and the test phase. The corresponding test architectures for local, distributed, coordinated, remote, and ferry control methods also need to be modified. In this paper, we will present the major concept and the test procedure of the modi fled transition tour method. Additionally, we also present the logical design of the corresponding coordinated test system.

No abstract