关键词: 协议一致性测试, 扩展有限状态机, 状态验证, 唯一输入输出序列

Abstract:

In a protocol conformance testing system specified in the extended finite state machine (EFSM) model, a novel method of executable state identification sequences (ESIS) generation is introduced to preferably solve the executability problem of state identification sequences (SIS). The approach, from the aspect of state identification demand and the EFSM configure projection subspace, adopts fractional-step computation to generate the shortest ESIS in the specific identification scene through searching a executability analysis tree (EAT) in bread-first-search way. As a result, the complexity of computing all state identification sequences using single-step method in the whole state configure space is reduced. The experiment results show that the proposed algorithm is effective to generate executable state identification sequences in EFSM model.

Key words: protocol conformance test；extended finite state machine；state identification, unique input/output sequence