Back to Search
Start Over
Synchronization paradigm for protocol testing under multiparty configuration
- Source :
- Computers & Mathematics with Applications. 37:125-135
- Publication Year :
- 1999
- Publisher :
- Elsevier BV, 1999.
-
Abstract
- 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: 1. (a) a zero cost assigned to each synchronization-problem-free crossing from one transition to another transition, and 2. (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.
- Subjects :
- Synchronization problem
Sequence
Correctness
Basis (linear algebra)
Protocol testing
Computer science
Synchronizable test sequence
Distinguishing sequence
Digraph
Preamble
Computational Mathematics
Transformation (function)
Computational Theory and Mathematics
Modelling and Simulation
Modeling and Simulation
Synchronization (computer science)
State (computer science)
Protocol (object-oriented programming)
Algorithm
Multiparty configuration
Subjects
Details
- ISSN :
- 08981221
- Volume :
- 37
- Database :
- OpenAIRE
- Journal :
- Computers & Mathematics with Applications
- Accession number :
- edsair.doi.dedup.....b5529c4475125129472e6843f5f1ad3d