基于模型转换的通信协议自动分析*

作者：陈海波1，赵伟华2 日期：2009-06-17/span> 浏览：3882 查看PDF文档

基于模型转换的通信协议自动分析*

陈海波1，赵伟华2
（1.浙江理工大学 理学院，浙江 杭州 310018；2.杭州电子科技大学 计算机学院，浙江 杭州 310018）

摘要：针对目前网络通信相关领域中协议分析程序复用程度不高且算法需要随协议版本变化不断修正的情况，在模型转换技术基础上设计了一种有限自动机模型到UML模型的转换算法，根据此算法开发了一个协议自动分析程序，能够实现使用一套程序同时进行多种类型的通信协议分析,且算法不会随协议版本变化而变化。研究结果表明，该算法提高了协议分析程序的复用性，在GPS通信系统实例中得到了应用。
关键词：模型转换；通信协议自动分析；统一建模语言
中图分类号：TP301文献标识码：A文章编号：1001-4551(2009)05-0048-04

Communication protocol automatic analysis based on model transformation
CHEN Hai-bo1，ZHAO Wei-hua2
(1.Department of Mathematic,Zhejiang SciTech University, Hangzhou 310018, China;
2.School of Computer Science,Hangzhou Dianzi University,Hangzhou 310018,China)
Abstract: In order to improve reusability of protocol analysis program which changed when protocol version changed in the field of network communication, based on model transform, an automatic transform algorithm from DFA to UML model was designed, and an automatic analysis program of communication protocol has been developed based on the algorithm. The results show that it can achieve analysis of multisort protocol and would be stability according to protocol version, and has been applied in the field of GPS communication system.
Key words: model transform; protocol automatic analysis; united modeling language(UML)
参考文献(References):
［1］卢晓南,刘泽.过程驱动法实现协议栈软件有限状态机的分析［J］.计算机工程与应用,2004,24(7):26-32.
［2］王之梁，吴建平，尹霞.基于通信多端口有限状态机的协议互操作性测试生成研究［J］.计算机学报，2006,29（11）：32-43.
［3］罗铁庚,陈火旺,齐治昌,等.协议形式化开发环境的规范语言［J］.软件学报,1997,8(11):817-823.
［4］BOYD M, MCBRIEN P. Comparing and transforming between data models via an intermediate hypergraph data model［J］.Computer Science,2005,3730:69-109.
［5］冷淑霞,徐涛.网络协议描述和验证技术的分析与比较［J］.山东理工大学学报：自然科学版,2004,18(2):8-11.
［6］胡丽霞，赵光宙.基于分层结构的远程监控系统通信协议的设计［J］.机电工程，2007,24(1):28-30.