[发明专利]安卓系统环境下的网络协议形式化描述工具

权利要求书

1.一种安卓系统环境下的网络协议形式化描述工具，其特征在于：包括

（1）基于安卓的网络数据采集模块，数据采集部分采用开源的Tcpdump工具实现，步骤包括安卓环境下Tcpdump的安装和授权方法，以及获取数据后的存储和管理方法三项；

（2）协议形式化描述解析模块，包含一种四步骤的协议语言解析的流程以及两个关键函数的定义：

    （2.1）程序当前路径获取；

    （2.2）构造ProtocolBuilder对象；

    （2.3）调用recursionPROTree函数；

    （2.4）得到DOM树；

    （2.5）两个关键函数定义：recursionPROTree()函数，和addToBuilderList()函数；

（3）数据包内容解析模块，包括一种五步骤的数据包解析流程：

    （3.1）Netpdl解析；

    （3.2）获得DOM树根节点；

    （3.3）查找一个协议定义的入口；

    （3.4）在协议容器中创建协议；

  （3.5）构造协议元素。

2.根据权利要求1所述的安卓系统环境下的网络协议形式化描述工具，其特征在于：所述的数据包内容解析模块，包括四个解析元素类的定义：

    （4.1）用以对节点进行简单描述的PRO_Item()；

    （4.2）用以决定节点是否可见的PRO_ItemViewable()；

    （4.3）用以对节点进行抽象描述的PRO_AbstractElement()；

    （4.4）以及作为基类的PRO-Element()，其中包含协议结构中的数据元素和控制元素。

3.根据权利要求1或2所述的安卓系统环境下的网络协议形式化描述工具，其特征在于：所述的数据包内容解析模块包括四个解析的关键函数：

    （5.1）用于构造协议节点对象的getProInfo()；

    （5.2）用于取得当前数据下有意义的当前字段的子字段的getNextNodeForData()；

    （5.3）用于构造协议结构的createProtocol()；

    （5.4）以及用于设置协议结构中元素之间的父子关系的setAssoc()。