期刊文献+

基于中国邮路算法及UIO序列的状态机测试序列生成

State Test Sequence Generation Based on Chinese Postman Algorithm and UIO Sequences
下载PDF
导出
摘要 状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对测试序列进行全局优化。该文对上述算法进行改进,并使用遗传算法解决了中国邮路NP-Complete问题。 The cardinal important thing of state test is to select the most efficient and optimize test sequence against typical error.A.V.Aho proposed a method of using Rural Chinese Postman algorithm and UIO sequences to generate test sequence,but he did not consider the effect of state transition when adding UIO sequences,so the method can not gain a global optimized test sequence.In This paper,we have improved the above algorithm and solves the NP-Complete problem of Rural Chinese Postman through GA.
出处 《计算机工程与应用》 CSCD 北大核心 2004年第17期58-60,共3页 Computer Engineering and Applications
基金 陕西省教育厅科研基金项目(编号:00JK265)
关键词 状态测试 中国邮路算法 唯一输入输出序列 扩展有限状态自动机 遗传算法 state test,Chinese Postman algorithm,UIO sequence,EFSM,GA
  • 相关文献

参考文献6

  • 1Robert V Binder著.华庆一等译.面向对象系统的测试[M].北京:人民邮电出版社,2001
  • 2C Bourhr,R Dssouli,E M Aboulhamid. Automatic test generation for EFSM-based systems[M].Publication departementale 1043,Departement IRO,Universite de Montreal,1996-08
  • 3Cavalli A R,Favreau J-P,Philippou M.Formal Methods in Conformance Testing: Results and Perspectives[C].In: Proceedings of Protocol Test Systems VI, IFIP, 1994: 3~ 17
  • 4A V Aho,A T Dahbura,D Lee et al.An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours[J].IEEE Trans Commun, 1991 ;39(11):1604~1615
  • 5G Prem Kumar,P Venkataram.Protocol Test Sequence Generation Using MUIOS Based on TSP Problem[C].In:National Conference on Computer Networks, Architecture and Applications, Madras, 1994-12: 65~74
  • 6王治平,李雪耀.遗传算法求解有向中国邮路问题[J].哈尔滨工程大学学报,1998,19(2):62-66. 被引量:3

共引文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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