期刊文献+

基于UIO序列的测试方法及UIO生成算法研究 被引量:7

On Conformance Testing Methods and a New Algorithm for Generating UIO
在线阅读 下载PDF
导出
摘要 测试序列生成是协议一致性测试的一个重要方面,好的测试序列应该有较大的错误覆盖率且长度越短越好。测试序列构成中的第三部分通常称为状态识别序列,通过比较几种以UIO序列为状态识别序列的协议一致性测试方法,提出了一个更好的UIO序列生成算法,该算法能产生更短的UIO序列。 Generating test sequence is a focus point in protocol conformance testing.Better test sequence should be larger in error coverage and shorter in its length.A test sequence is composed by three test subsequences.The 3rd subsequence is an important part,which is called State Identify Sequence.In this paper,some generation methods based on UIOS for finite state machine are reviewed,and an improved generation algorithm of UIO is proposed,which will produce much shorter UIOS than the old one.
出处 《计算机工程与应用》 CSCD 北大核心 2005年第17期46-49,共4页 Computer Engineering and Applications
基金 广西自然科学基金项目(桂科基0141046)支持
关键词 一致性测试 UIO序列 测试序列生成 有限状态机 protocol conformance testing,UIO sequence,generation of testing sequence,finite state machine
  • 相关文献

参考文献11

  • 1兰海涛,马玉祥.INAP协议一致性测试生成的形式化方法[J].微电子学与计算机,2003,20(1):57-58. 被引量:6
  • 2倪群,苏彤,程时端.用于协议一致性测试序列生成的状态规范化算法[J].通信学报,1997,18(2):75-82. 被引量:4
  • 3孙海平,张溯,高明伦.UIO序列的启发式算法[J].合肥工业大学学报(自然科学版),2001,24(4):486-492. 被引量:1
  • 4K Sabnani,A Dahbura.A Protocol Test Generation Pmcedure[J].Computer networlm and ISDN Systems, 1988;15(4):285-297.
  • 5田野,屈玉贵,赵保华.基于UIO的协议测试序列生成方法的改进[J].计算机工程与应用,2000,36(12):153-155. 被引量:12
  • 6A V Aho,A T Dahbura,D Lee et aLAn Optimization Technique for Protocol Conformance Test Generation Baaed on UIO sequences and Rural Chinese Postman Tours[C].ln:Pmceedings of the 8th Sympceium on Protocol SDecitlcation.Testing.and Verification.IFIP.1988-06:75--86.
  • 7Y N Shen,F I.zmbanii,A T Dahbura.Protocol Conformance Testing Using Multiple UIO Sequences[C].In:Proceedings of the 9^th Symposium on Protocol Speclfication,Testing and veriflcation,IFIP,1989.
  • 8B Yang,H UraLProtocol Confommnce Test Generation Using Multiple UIO Sequences with Overlapping[C].In:Pmceedlngs of SIGCOMM 90,Philadelphia, PA, 1990-09:118-125.
  • 9X Shen,S Scoggins,A Tang.An Improved RCP-Method for Protocol Test Generation Using Backward UIO Sequences[C].In:Proceedings of Symposium on Applied Computing,ACM,1991-04:284-293.
  • 10Xiaojun shen,C, uogang Li.A new protocol conformance test generation method and experimental resuhs[C].In:Proeeedings of ACM Symposium on Applied Computing,1992:75-84.

二级参考文献7

  • 1龚正虎,计算机网络协议工程,1993年
  • 2Chan W Y L,Proc.ACM SIGCOMM’89,283页
  • 3Sun D C,Special Interest Group Design Automation 35th Design Automation Conference,1998年,619页
  • 4Lee D,Proc IEEE,1996年,84卷,8期,1090页
  • 5Lee D,IEEE Trans Computers,1994年,43卷,3期,306页
  • 6傅京孙,人工智能及其应用,1987年,19页
  • 7曾成碧,陈光.时序系统的状态组区别序列测试方法[J].微电子学,2000,30(3):188-192. 被引量:4

共引文献17

同被引文献50

引证文献7

二级引证文献15

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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