Obtaining Unique Input/Output Sequences of Communication Protocols (Special Issue on Network Interworking)

概要

論文の詳細を見る
A Unique Input/Output (UIO) sequence for the state J of a protocol is a sequence of input/output pairs that is unique to state J. Obtaining UIO sequences from the protocol specification is a very important problem in protocol conformance testing. Let n and m be the total number of states and transitions of the protocol, respectively, and d_<max> be the largest outdegree of any state, W. Chun and P. D. Amer proposed an O(n^2(d_<max>)^<2n-1>) algorithm to obtain the minimum-length UIO sequences (where the length refers to the number of input/output pairs). However, n and m are normally very large for real protocols. In this paper, we propose an O(n^*m) algorithm for obtaining UIO sequences. In theory, our algorithm yields a UIO sequence which contains at most n+1 input/output pairs. In experimentation, ten protocol examples collected from recent papers, the ISO TP0 protocol, the ISDN Q.931 network-side protocol, and the CCITT X.25 protocol show that in average the obtained UIO sequences are only 11.8% longer than the minimum-length ones, and 97.4% of the existent UIO sequences can be found. And our algorithm is extended for minimizing the cost of UIO sequences and for obtaining synchronizable UIO sequences, which have not been achieved by any algorithm proposed earlier.
社団法人電子情報通信学会の論文
1997-10-25