期刊文献+

一种基于EFSM的一致性测试序列生成方法

在线阅读 下载PDF
导出
摘要 协议的一致性测试是用来检验协议实现是否符合协议规范,其关键技术就是测试序列的生成。本文提出了一种基于扩展的有限状态自动机EFSM的全面的可执行的测试序列生成方法。该方法使用UIOE方法对控制流进行分析,使用all-du-path标准对数据流进行分析。通过使用改进的转换可执行分析TEA和逆向判定性,用深度优先搜索的方法扩展出一棵转换可执行分析树,然后生成包含控制流和数据流的可执行测试序列。
出处 《电子制作》 2013年第21期31-31,共1页 Practical Electronics
  • 相关文献

参考文献4

二级参考文献4

  • 1庞其祥,刘云龙.通信协议的一致性测试[J].通信技术与发展,1995(6):3-8. 被引量:4
  • 2Huang C M,Computer Communications,1998年,21卷,1462页
  • 3ETSI.Methods For Testing AndSpecification (MTS)-The Testing And Test Control Notation Version 3,Part1:TTCN-3 Core Language. ETSI ES 201 563-1 V3.2.1-2007 . 2007
  • 4ETSI.Methods For Testing AndSpecification (MTS)-The Testing And Test Control Notation Version3,Part5:TTCN-3 Runtime Interface (TRI). ETSI ES 205 876-5 V3.2.1-207 . 2007

共引文献10

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部