高技术通讯2011，Vol.21Issue(10)：1034-1041,8.DOI:10.3772/j.issn.1002-0470.2011.10.007
面向协议一致性测试的测试序列生成方法研究
A test sequence generation method for protocol conformance testing
摘要
Abstract
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.关键词
协议一致性测试/扩展有限状态自动机(EFSM)/有限状态自动机(FSM)/测试序列生成/模型转换Key words
protocol conformance testing/ extended finite state machine ( EFSM)/ finite state machine ( FSM)/ test sequence generation/ model transformation引用本文复制引用
张新常,杨美红,罗万明,耿光刚..面向协议一致性测试的测试序列生成方法研究[J].高技术通讯,2011,21(10):1034-1041,8.基金项目
863计划(2009AA01Z145),973计划(2009CB320502)和国家自然科学基金(61070039)资助项目. （2009AA01Z145）
