標題: Synchronization paradigm for protocol testing under multiparty configuration
作者: Lin, RS
Yuang, MC
資訊工程學系
Department of Computer Science
關鍵字: protocol testing;multiparty configuration;synchronization problem;synchronizable test sequence;preamble;distinguishing sequence
公開日期: 1-Apr-1999
摘要: Protocol testing leads to the synchronization problem should test sequences be applied to multiple distanced testers, namely under the multiparty configuration. This paper presents a novel synchronization paradigm which seamlessly unifies two synchronization techniques, self-synchroniable sequences and external synchronization operations, by means of the state expansion transformation. In the paradigm, the protocol specification is first transformed into a state expansion digraph with two pieces of datum augmented. They are: (a) a zero cost assigned to each synchronization-problem-free crossing from one transition to another transition, and (b) a weighted cost assigned to each external synchronization operation whenever the synchronization is deemed necessary. On the basis of the state expansion transformation, synchronizable, optimal sequences for testing can be efficiently derived. To demonstrate the viability of the proposed paradigm, we present the generations of two synchronizable sequences, namely the synchronizable preamble and the synchronizable distinguishing sequence, which have previously been used for the testing of the correctness of a protocol's transition. The paper also shows that the complexities of the two sequences generations are also polynomial-bounded, i.e., O((np(2))log(np)) and O((n(2)p(2)) log(np)), respectively, where n and p are the numbers of states and input symbols of the protocol specification. (C) 1999 Elsevier Science Ltd. All rights reserved.
URI: http://dx.doi.org/10.1016/S0898-1221(99)00093-0
http://hdl.handle.net/11536/31414
ISSN: 0898-1221
DOI: 10.1016/S0898-1221(99)00093-0
期刊: COMPUTERS & MATHEMATICS WITH APPLICATIONS
Volume: 37
Issue: 7
起始頁: 125
結束頁: 135
Appears in Collections:Articles


Files in This Item:

  1. 000079482100012.pdf

If it is a zip file, please download the file and unzip it, then open index.html in a browser to view the full text content.