文章摘要
张新常,杨美红,罗万明,耿光刚.面向协议一致性测试的测试序列生成方法研究[J].高技术通讯(中文),2011,21(10):
面向协议一致性测试的测试序列生成方法研究
A test sequence generation method for protocol conformance testing
  
DOI:
中文关键词: 协议一致性测试;扩展有限状态自动机(EFSM);有限状态自动机(FSM);测试序列生成;模型转换
英文关键词: 
基金项目:863计划,973计划,国家自然科学基金
张新常,杨美红,罗万明,耿光刚
1. 山东省科学院计算中心 济南250014
2. 中国科学院计算机网络信息中心 北京100190
摘要点击次数: 2742
全文下载次数: 0
中文摘要:
      考虑到协议一致性测试中基于扩展有限状态自动机( EFSM)模型的测试序列生成仍然是一个尚无理想方法解决的开放性问题,提出了一种面向协议一致性测试的基于EFSM模型的测试序列生成方法.此方法将EFSM模型转换成确定化的EFSM (DEFSM)模型,并在转换过程中对EFSM模型中的条件和操作冲突进行检测并加以消除,此外,通过测试序列生成附加模块的协助,可将变量及其条件判定从DEFSM模型中分离出来,使得处理后的DEFSM模型等同于有限状态自动机(FSM)模型,从而将EFSM的描述优势和基于FSM模型的测试序列生成优势进行有效的结合.理论和实验分析结果显示了此方法的有效性.
英文摘要:
      
查看全文   查看/发表评论  下载PDF阅读器
关闭

分享按钮