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

摘要

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