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

• 作者: 张新常 杨美红 罗万明 耿光刚
• 来源期刊: 高技术通讯
• 学科: 工学
• 关键词: 协议一致性测试 扩展有限状态自动机(EFSM) 有限状态自动机(FSM) 测试序列生成 模型转换
• 年，卷（期）: 2011,（10）
• 所属期刊栏目: 计算机与通信
• 页码范围: 1034-1041
• 分类号: TP393
• 字数: 8794字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2011.10.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗万明	中国科学院计算机网络信息中心	20	741	8.0	20.0
2	张新常	山东省科学院计算中心	2	23	2.0	2.0
3	杨美红	山东省科学院计算中心	2	23	2.0	2.0
4	耿光刚	中国科学院计算机网络信息中心	5	30	3.0	5.0