A modified transition tour protocol test method

Chung Ming Huang, Jenq Muh Hsu, Huei Yang Lai

研究成果: Article

2 引文 斯高帕斯(Scopus)

摘要

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 tourprotocol 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 conresponding 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 modified transition tour method. Additionally, we also present the logical design of the corresponding coordinated test system.

原文English
頁(從 - 到)257-300
頁數44
期刊Journal of Systems Integration
4
發行號3
DOIs
出版狀態Published - 1994 九月 1

    指紋

All Science Journal Classification (ASJC) codes

  • Earth and Planetary Sciences(all)

引用此