E-Synchronizable Test Sequence for the Protocol Data Portion
スポンサーリンク
概要
- 論文の詳細を見る
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.
- 一般社団法人電子情報通信学会の論文
- 2000-07-25