公开(公告)号：CN116319485A

公开(公告)日：2023-06-23

申请号：CN202310138947.8

申请日：2023-02-16

Applicant: 湖北航天技术研究院总体设计所

Inventor： 蔡梦琳 ,  刘梦达 ,  原野 ,  刘丹 ,  张卫平 ,  吴春 ,  雷晶晶 ,  肖心然 ,  王珏 ,  戴佳琪 ,  吴非

IPC: H04L43/18 ,  H04L43/00 ,  G06F11/36

Abstract: 本发明公开了一种基于混合协议的测试业务构建系统，涉及测试技术领域，包括协议配置模块、硬件板卡驱动模块、协议发送模块和协议接收模块，所述协议配置模块用于实现当前测试所包含接口类型的选择，并进行对应协议格式的配置，形成通信报文；所述硬件板卡驱动模块用于实现与装备软件间的通信交互；所述协议发送模块用于驱动通信报文的发送，并通过硬件板卡驱动模块与装备软件间形成交互；所述协议接收模块用于接收硬件板卡驱动模块所接收到的装备软件发送的报文。本发明能够大幅缩短软件测试周期，提升装备软件测试的充分性和可靠性。

公开(公告)号：CN116303000A

公开(公告)日：2023-06-23

申请号：CN202310183712.0

申请日：2023-02-28

Applicant: 湖北航天技术研究院总体设计所

Inventor： 原野 ,  刘丹 ,  戴佳琪 ,  潘星 ,  蔡梦琳 ,  余杰 ,  高荇

IPC: G06F11/36

Abstract: 本发明公开了一种航天装备软件配置项测试需求形式化描述方法及装置，涉及航天装备软件配置项测试领域，该方法包括创建用于对软件配置项测试需求进行形式化描述的形式化描述工具，并基于软件配置项测试需求的类型，选择待建立的形式化描述图形的类型；基于形式化描述工具，选择对应软件配置项测试需求的基本图元，以建立形式化描述图形；根据软件配置项测试需求，对建立的形式化描述图形中基本图元自身的属性以及基本图元间的属性进行设置；基于设置完成的形式化描述图形，生成与形式化描述图形对应的XML描述文件。本发明能够提高测试需求分析效率，为采用自动化手段开展形式化验证工作构造有利条件。