期刊文献+

BUIO生成及测试序列生成算法研究 被引量:1

Research on BUIO generation and test sequences generation algorithms
下载PDF
导出
摘要 在通信协议的一致性测试中,生成较短的测试序列是一个重要问题。提出一种利用UIO生成BUIO(BackwardUIO)的方法,部分UIO直接转换成BUIO,可以降低BUIO的生成费用。对基于UIO和BUIO的启发式测试序列生成方法进行了分析,完善了该方法的生成算法,保证测试序列的自动生成。以ECMA-203协议为例,应用这种算法得到了测试用例,与基于UIO序列和中国邮路算法生成的测试序列进行了比较。 Generating shorter testing sequence is an important issue in protocol conformance test.This paper proposes a method for generating BUIO sequence by using UIO sequence.Some I510 sequences switching to BUIO sequences can bring the cost reduce of the BUIO generation.The heuristic sequences generation algorithom based on UIO and BUIO is analyzed and improved to ensure the automatic generation of test sequence.Test sequence is obtained through applying the algorithm to protocol ECMA-203 ,which is compared to the test sequence generated by using Rural Chinese Postman algorithm and UIO sequences.
出处 《计算机工程与应用》 CSCD 北大核心 2011年第6期116-118,共3页 Computer Engineering and Applications
关键词 唯一输入输出(UIO) 反向唯一输入输出(BUIO) 启发式算法 启发函数 Unique Input/Output (UIO) Backward Uniquee Input/Output (BUIO) heuristic algorithm heuristic function
  • 相关文献

参考文献8

二级参考文献38

  • 1徐军委,赵保华,屈玉贵.一种新的UIO测试序列生成算法[J].中国科学技术大学学报,2004,34(6):710-715. 被引量:11
  • 2古军,蔡国永,董荣胜.基于UIO序列的测试方法及UIO生成算法研究[J].计算机工程与应用,2005,41(17):46-49. 被引量:7
  • 3倪群,苏彤,程时端.用于协议一致性测试序列生成的状态规范化算法[J].通信学报,1997,18(2):75-82. 被引量:4
  • 4Lee D,Yannakakis M.Testing finite state machines:state identification and verification[J].IEEE Transactions on Computers, 1994,43(3): 306-320.
  • 5Lee D,Yannakakis M.Prineiples and methods of testing finite state maehines:a survery[J].Proceedings of IEEE, 1996,84(8) : 1090-1122.
  • 6Sun De-chang,Vinnakota B,Jiang Wan-li.Fast state verification[C]// the 35th Design Automation Conference, 1998:619-624.
  • 7Sabnani K,Dahbura A.A protocol test generation procedure [J]. Computer Networks and ISDN Systems, 1988,15(4):285-297.
  • 8Aho A V,Dahbura A T,Lee D,et al.An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours[C]//Proceedings of the 8th Symposium on Protocol Specification,Testing and Verification,IFIP, 1988-06:75-86.
  • 9Kshirasagar Naik.Efficient computation of unique input/output sequences in finite-state machines[J].IEEE/ACM Transactions on Networking, 1997,5(4) :585-599.
  • 10Guo Q,Hierons R M,Harman M,et al.Computing unique input/ output sequences using genetic algorithms[C]//the 3rd International Workshop on Formal Approaches to Testing of Software(FATES2003), LNCS, 2004:164-177.

共引文献19

同被引文献5

引证文献1

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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