期刊文献+

基于UIO的协议一致性测试序列生成方法研究 被引量:2

Research on Protocol Conformance Test Sequence Generation Based on UIO
下载PDF
导出
摘要 测试序列的生成是协议一致性测试中重要的研究领域,怎样使生成的测试序列既具有较强的检错能力又具有较广的差错覆盖范围成为许多科研人员研究的重点。文章在介绍了有限状态机模型和唯一输入/输出序列后,对基于UIO的测试序列生成方法进行了分析,然后对该方法进行了优化研究。使用优化后的算法可以缩短测试序列的长度,提高了测试效率和差错覆盖率。 Test sequence generation is an important research field in protocol conformance test, how to generate test sequences which have higher testing capabilities and widely fault coverage becomes importance in research field. The paper analyses test sequence generation method based on UIO, after introducing FSM and UIO sequence, moreover the method is optimized. Test sequences generated by optimization method improve testing efficiency and fault coverage, and the length of test sequences has been shortened.
出处 《电脑与信息技术》 2011年第6期19-21,29,共4页 Computer and Information Technology
基金 内蒙古财经学院校级课题(项目编号:KY1002)
关键词 协议一致性测试 有限状态机 唯一输入/输出 测试序列 有向图 protocol conformance test FSM UIO test sequence directed graph
  • 相关文献

参考文献5

二级参考文献13

  • 1徐军委,赵保华,屈玉贵.一种新的UIO测试序列生成算法[J].中国科学技术大学学报,2004,34(6):710-715. 被引量:11
  • 2葛猛,赵保华.BGP-4协议一致性测试序列生成[J].计算机工程与应用,2005,41(22):108-110. 被引量:5
  • 3魏仰苏,孟兆航,舒挺.通信协议一致性测试序列自动生成算法研究[J].计算机工程与设计,2007,28(10):2312-2315. 被引量:9
  • 4ISO/IEC 9646-2.Information processing systems,open system interconnection,OSI conformance testing methodology and framework part 2:Abstract test suite specification[S].1994.
  • 5Kim C,Song J S.Test sequence generation methods for protocol conformance testing[C]//Proceedings 8th Annual International Computer Software and Application Conference,COMPSAC'94,1994,57 (7) : 169-174.
  • 6刘明业.计算机辅助逻辑设计理论[M].北京:科学出版社,1996.3-7.
  • 7Derderian K,Hierons R M,Harman M,et al.Automated unique input output sequence generation for conformance testing of FSMs[J].Computer Journal,2006,49(3):331-344.
  • 8Richard Laj.A survey of communication protocol testing[J].Journal of Systems and Software,2002,62(1):21-46.
  • 9SUN Hai ping,GAO Ming lun,LIANG Alei.Study on UIO sequence generation for sequential machine's functional test[A].Proceedings.4th International Conference[C].Beijing:IEEE Press and People's Posts and Telecommunications Publishing Office,2001.628-632.
  • 10曾成碧,陈光.时序系统的状态组区别序列测试方法[J].微电子学,2000,30(3):188-192. 被引量:4

共引文献20

同被引文献20

引证文献2

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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