公开(公告)号：CN116303001A

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

申请号：CN202310183716.9

申请日：2023-02-28

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

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

IPC: G06F11/36

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

公开(公告)号：CN114706770A

公开(公告)日：2022-07-05

申请号：CN202210330796.1

申请日：2022-03-30

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

Inventor： 原野 ,  刘梦达 ,  刘丹 ,  高荇 ,  莫小杰 ,  杨坤 ,  张朋 ,  张卫平

IPC: G06F11/36

Abstract: 本发明公开了一种适应于航天软件测试的数字化系统，涉及航天软件数字化测试领域，包括虚拟目标机单元、硬件通信单元、总线控制单元、环境仿真单元和时间调度单元，所述虚拟目标机单元用于实现航天软件测试所使用的虚拟CPU的数字化仿真，所述虚拟CPU用于运行被测航天软件；所述硬件通信单元用于实现虚拟CPU外围接口设备的数字化仿真；所述总线控制单元用于实现数字化系统中各硬件通信单元间通讯机制的模拟；所述环境仿真单元用于对配合航天软件测试的外围环境参数和控制参数进行仿真模拟。本发明能够使得开发人员有效充分地开展航天软件的测试工作。

公开(公告)号：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文件展示，有效降低了由于测试数据分析不彻底产生的质量成本，大幅降低了时间和人力开支，有效保障了地面装备软件质量，提高了地面装备测试数据自动整理的速度和效率。

公开(公告)号：CN117785683A

公开(公告)日：2024-03-29

申请号：CN202311775376.5

申请日：2023-12-21

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

Inventor： 莫小杰 ,  杨坤 ,  张卫平 ,  王珏 ,  李琬祎 ,  刘梦达 ,  李翔宇 ,  王新黎 ,  肖心然 ,  周伟娟

IPC: G06F11/36

Abstract: 本发明公开了一种地面装备软件测试故障注入方法与装置，涉及仿真测试领域，包括以下步骤：基于软件设计文件对被测软件进行故障分析，所述故障分析包括确定故障模式的基本属性，故障模式之间的内部关系以及故障模式与系统功能、结构、测试的外部关系；根据所述软件中导致软件失效的故障、触发时间和系统相关状态，构建故障场景；对所述故障场景中的故障模式进行分析，确定故障点信息；根据故障点信息编写业务XML，将所述业务XML注入待测系统进行测试。通过本方法可以灵活地实现故障注入，节省评测时间，降低评测成本。

公开(公告)号：CN118964174A

公开(公告)日：2024-11-15

申请号：CN202410944204.4

申请日：2024-07-15

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

Inventor： 刘梦达 ,  蔡梦琳 ,  原野 ,  陈军花 ,  张卫平 ,  肖心然 ,  莫小杰

IPC: G06F11/36

Abstract: 一种形式化测试用报告的生成方法、系统、设备及计算机可读存储介质，包括：通过获取形式化配置信息，所述形式化信息包括形式化逻辑信息和形式化描述信息；根据所述形式化逻辑信息和所述形式化描述信息，生成对应的测试用例和自动执行脚本；基于所述自动执行脚本对所述测试用例进行测试，生成测试报告，解决了相关技术中存在的从测试需求分析到生成测试用例以及执行测试用例，都是靠测试人员人工执行，存在效率低和工作量大的问题技术问题，将形式化描述自动转化为对应的测试用例，提高了工作效率。

公开(公告)号：CN117724975A

公开(公告)日：2024-03-19

申请号：CN202311771487.9

申请日：2023-12-21

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

Inventor： 莫小杰 ,  杨坤 ,  张卫平 ,  王珏 ,  李琬祎 ,  周伟娟 ,  李翔宇 ,  王新黎 ,  肖心然 ,  刘梦达

IPC: G06F11/36

Abstract: 本发明公开了一种地面装备软件动态测试方法与系统，涉及仿真测试领域，包括以下步骤：外围设备模拟平台向地面装备软件发送周期性消息，所述周期性消息包括自检信息和状态信息；当地面装备软件开始执行任务时，向外围设备模拟平台发送控制消息；外围设备模拟平台收到控制消息后对所述控制消息进行分解，确定控制消息对应的命令名称，并通过命令名称获取对应的预设的控制命令及控制命令参数，根据所述控制命令及控制命令参数生成控制反馈消息，并修改周期性消息；外围设备模拟平台将所述控制反馈消息与修改后的周期性消息发送给地面装备软件，完成测试。

公开(公告)号：CN118331861A

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

申请号：CN202410387449.1

申请日：2024-04-01

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

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

IPC: G06F11/36

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