E-Synchronizable Test Sequence for the Protocol Data Portion

Wen-Huei CHEN  

IEICE TRANSACTIONS on Communications   Vol.E83-B   No.7   pp.1580-1583
Publication Date: 2000/07/25
Online ISSN: 
Print ISSN: 0916-8516
Type of Manuscript: LETTER
Category: Network
protocol,  conformance testing,  synchronization,  

Full Text: PDF>>
Buy this Article

A new technique is proposed to generate the executable and synchronizable (i. e. , e-synchronizable) test sequence for the protocol implementation to be conformable to its data portion specification. The protocol's control portion is specified as a finite state machine (FSM), and its data portion is specified as a set of rules. The technique involves converting the FSM and the rules into the DuplexSelect digraph, from which we can generate test sequences which are both synchronizable (i. e. , encounter no synchronization problems) and executable (i. e. , associated with parameter values which do not violate the rules). The Selecting Chinese Postman Algorithm is then used for minimizing the cost of the e-synchronizable test sequence that verifies each rule at least once.