公开(公告)号：CN118331861A

公开(公告)日：2024-07-12

申请号：CN202410387449.1

申请日：2024-04-01

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

Inventor： 刘梦达 ,  肖心然 ,  杨欣 ,  蔡梦琳 ,  莫小杰 ,  李翔宇 ,  周松 ,  王珏 ,  陈军花 ,  张卫平

IPC: G06F11/36

Abstract: 一种航天软件仿真测试方法、装置、设备及介质，属于航天软件测试技术领域。其中，方法包括：基于QT应用程序框架搭建通用闭环仿真模型，其中，通用闭环仿真模型包括业务层，业务层包括地面设备模拟业务单元和弹上设备模拟业务单元，地面设备模拟业务单元和弹上设备模拟业务单元用于对待测航天软件运行所需的外围设备基础信息进行仿真；在测试人员完成对通用闭环仿真模型中业务层的基础信息的录入，并将待测航天软件和通用闭环仿真模型接入数字总线后，基于基础信息，利用通用闭环仿真模型对待测航天软件进行仿真测试，可适用于国产化操作系统，且仅需在业务层中进行业务逻辑的修改，就可完成闭环仿真模型的搭建，提高了测试效率。

公开(公告)号：CN116303001A

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

申请号：CN202310183716.9

申请日：2023-02-28

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

Inventor： 刘梦达 ,  蔡梦琳 ,  原野 ,  张卫平 ,  刘丹 ,  余杰 ,  莫小杰 ,  李翔宇 ,  陈军花 ,  周松

IPC: G06F11/36

Abstract: 本发明公开了一种航天装备软件逆向分析测试需求建模方法及装置，涉及软件技术领域，该方法包括创建用于对源代码进行逆向分析的逆向分析测试需求建模工具，并导入待分析源代码至逆向分析测试需求建模工具；基于导入的待分析源代码，选择确定待分析的函数名称，以及需要转换的形式化描述方案；根据设定逆向分析建模规则自动解析待分析源代码，并以形式化流程图形式对分析结果进行展示。本发明能够提高软件需求分析效率，并保证装备软件的可靠性。

公开(公告)号：CN116185861A

公开(公告)日：2023-05-30

申请号：CN202310187909.1

申请日：2023-02-28

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

Inventor： 原野 ,  刘丹 ,  周松 ,  潘星 ,  刘梦达 ,  张卫平 ,  张朋

IPC: G06F11/36

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

公开(公告)号：CN119988230A

公开(公告)日：2025-05-13

申请号：CN202510101558.7

申请日：2025-01-22

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

Inventor： 肖心然 ,  李翔宇 ,  杨坤 ,  刘梦达 ,  刘丹 ,  张卫平 ,  陈军花 ,  杨贤哲 ,  周松 ,  莫小杰 ,  杨欣 ,  闫煜辉

IPC: G06F11/3668 ,  G06F16/83 ,  G06F16/838 ,  G06F16/81

Abstract: 本发明公开了一种地面装备测试数据自动整理方法、装置、设备及存储介质，所述方法通过获取地面装备的软件测试数据的文件类型和存储结构；根据文件类型和存储结构从软件测试数据中选取出XML测试数据文件和DB测试数据文件，对XML测试数据文件和DB测试数据文件进行结构分析，获得结构分析结果；根据所述结构分析结果使用Python语言对所述软件测试数据进行自动化解析和提取，获得测试数据整理结果，将测试数据整理结果通过Excel文件展示，有效降低了由于测试数据分析不彻底产生的质量成本，大幅降低了时间和人力开支，有效保障了地面装备软件质量，提高了地面装备测试数据自动整理的速度和效率。