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

Xinchang Zhang,Meihong Yang,Wanming Luo,Guanggang Geng

Gaojishu Tongxin/Chinese High Technology Letters（2011）

引用 0|浏览24

暂无评分

摘要

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

查看译文

关键词

Extended finite state machine (EFSM),Finite state machine (FSM),Model transformation,Protocol conformance testing,Test sequence generation

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要