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

摘要：

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

关键词：协议一致性测试、扩展有限状态自动机(EFSM)、有限状态自动机(FSM)、测试序列生成、模型转换

所属期刊栏目：21

分类号：TP3;TH1

资助基金：863计划2009AA01Z145;973计划2009CB320502;国家自然科学基金61070039

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1034-1041