一种舰船装备软件接口协议形式化建模方法

摘要

本发明公开了一种舰船装备软件接口协议形式化建模方法，通过收集常用的舰船装备软件接口协议文件，分析接口协议的组成、类型、结构、字段表义、字段长度、数据表示等信息的共同点和规律，归纳出舰船装备软件接口协议常用规则，然后遵照这些规则，以接口协议报文总长度、字段内容、数据长度、取值范围等要素为基础，建立舰船装备软件接口协议形式化模型，为测试用例和测试数据的生成提供依据。

主权项

一种舰船装备软件接口协议形式化建模方法，其特征在于，包括如下步骤：A.收集舰船装备软件典型接口协议；B.对步骤A收集的所述典型接口协议进行特征分析，获取所述典型接口协议的共同点和规律；C.通过分析所述典型接口协议的报文之间的交互逻辑，归纳得出所述典型接口的协议规则；D.对所述典型接口协议的要素进行分析；E.根据所述协议规则和所述要素进行使用剖面形式化建模并以XML格式存储。