期刊文献+

基于UML状态图的协议文本转换技术

Researching on Technique of Protocol Text Transferring to UML State Chart
下载PDF
导出
摘要 利用UML状态图可以扩充状态信息,一定程度上预防状态爆炸的优点,通过建立词库、词性标注、模式匹配等技术,从自定义的协议文本中提取状态、事件、动作和变量等信息,再将这些信息在显示区显示出来.系统通过BGP协议测试,其效果与利用EFSM描述的效果是一致的. The UML State Chart can extend the state information and prevent the state from exposing to a certain extent. The text presents a technique that gains gain the information of state, message, action and variable from the user-defined protocol text by building thesaurus, marking phrases. The system had passed the BGP protocol testing, and the result is in accordance with the result used the EFSM description.
出处 《汕头大学学报(自然科学版)》 2005年第4期65-70,共6页 Journal of Shantou University:Natural Science Edition
基金 广东省自然基金资助项目(No:04010981)
关键词 UML UML状态图 协议测试 UML UML statechart protocol testing
  • 相关文献

参考文献6

  • 1朱振华,许毅平,周曼丽.网络协议测试生成方法综述[J].计算机工程与应用,2005,41(15):172-175. 被引量:6
  • 2PenderT 耿国桐 史立奇 译.UML宝典(UML Bible)[M].北京:电子工业出版社,2004..
  • 3Kim Y K,Hong H S,Bae D H.Test cases generation from UML state diagrams[J].IEEE Proc.Softw.,1999,146(4):187~192.
  • 4Latte D, Massink M.A formal testing framework for UML statechart diagrams behaviours:from theory to automatic verification[DB/OL].http://portal.acm.org/citation.pdf,2001.
  • 5张毅坤,施凤鸣,姚全珠,刘军,付长龙.基于UML状态图的类测试用例自动生成方法[J].计算机工程,2003,29(21):91-93. 被引量:23
  • 6BinderRV.面向对象系统的测试[M].北京:人民邮电出版社,2001..

二级参考文献25

  • 1刘积仁,都军.关于通信协议测试生成形式方法的探讨[J].东北大学学报(自然科学版),1995,16(2):165-170. 被引量:2
  • 2张立东,刘积仁,李华天.一种基于形式化描述的测试序列生成改进方法[J].软件学报,1995,6(3):142-147. 被引量:5
  • 3鲍璐,钱松荣,张根度.基于有限状态机的一致性测试例自动生成方法[J].计算机研究与发展,1996,33(3):217-222. 被引量:7
  • 4倪群,苏彤,程时端.用于协议一致性测试序列生成的状态规范化算法[J].通信学报,1997,18(2):75-82. 被引量:4
  • 5BinderR V 华庆一 王斌君 陈莉译.面向对象系统的测试[M].北京:人民邮电出版社,2001-04..
  • 6Aho A V,Dahbura A T,Lee D.An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours[J].Communications,IEEE Transactions on,1991 ;39(11):1604-1615.
  • 7Yanghee Choi,Dongkyun Kim,Jaecheol Kim et al. Protocol test sequence generation using UIO and BUIO[C].In:Gateway to Globalization,1995 IEEE International Conference on,ICC 95 Seattle,1995-06;1:362-366.
  • 8Benso A,Di Carlo S,Di Natale Get al.An optimal algorithm for the automatic generation of March tests[C].In:Design,Automation and Test in Europe Conference and Exhibition,Proceedings,2002-03.
  • 9Fecko M A,Uyar M U,Duale A Y et al.A technique to generate feasible tests for communications systems with multiple timers[J].Networking,IEEE/ACM Transactions on,2003:10-11.
  • 10Wen-Huei Chen,Cho-Ching Lu.Executable test sequence for the protocol control and data flow property with overlapping Computers and Communications[C].In :Proceedings of the Seventh International Symposium on,2002-07.

共引文献35

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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