面向协议一致性测试的测试序列生成方法研究

A test sequence generation method for protocol conformance testing

考虑到协议一致性测试中基于扩展有限状态自动机（EFSM）模型的测试序列生成仍然是一个尚无理想方法解决的开放性问题，提出了一种面向协议一致性测试的基于EFSM模型的测试序列生成方法。此方法将EFSM模型转换成确定化的EFSM（DEFSM）模型，并在转换过程中对EFSM模型中的条件和操作冲突进行检测并加以消除，此外，通过测试序列生成附加模块的协助，可将变量及其条件判定从DEFSM模型中分离出来，使得处理后的DEFSM模型等同于有限状态自动机（FSM）模型，从而将EFSM的描述优势和基于FSM模型的测试序列生成优势进行有效的结合。理论和实验分析结果显示了此方法的有效性。

In view of the fact that in protocol conformance testing, the test sequence generation based on the extended finite state machine （EFSM） model is still an open problem and there is no ideal solution to address it yet. This paper presents an EFSM-based test sequence generation method for protocol conformance testing. The proposed method can transform EFSM to deterministic EFSM （DEFSM） and the possible conditions and operation conflicts in the EFSM model are detected and removed in the transformation procedure. With the help of an additional module for test sequence generation, the variables and condition decisions are detached from the DEFSM model, which makes the modified DEFSM model be equal to the finite state machine （FSM） model. Therefore the proposed method can combine the EFSM＇ s descriptive advantages with the FSM＇ s advantages in test sequence generating. The theoretical and experimental analyses show that the proposed method is valid.