公开(公告)号：CN119484359A

公开(公告)日：2025-02-18

申请号：CN202411430814.9

申请日：2024-10-14

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

Inventor： 史恒吉 ,  杨子薇 ,  石颢 ,  余杰 ,  胡文彤 ,  江柳 ,  陈军花 ,  张卫平

IPC: H04L43/0894 ,  H04L43/50

Abstract: 一种现场可编程门阵列软件异步通信速率偏移检测方法及装置，属于现场可编程门阵列软件验证技术领域。其中，方法包括：基于预设速率步进长度和预设速率范围确定若干个第一速率；针对各第一速率，执行以下步骤：在数字仿真环境中，按照第一速率将激励信号输入至被测件模块，被测件模块对接收到的激励信号进行预处理，得到预处理后的数据帧，判断预处理后的数据帧与测试帧是否一致，激励信号中传输的内容为编码后的测试帧；若不一致，则确定第一速率的偏移检测结果为不通过；若一致，则确定第一速率的偏移检测结果为通过，并记录第一速率、理论速率、速率偏移差值和速率偏移占比，以供相关人员快速了解该FPGA软件异步通信速率边界情况。

公开(公告)号：CN115794657A

公开(公告)日：2023-03-14

申请号：CN202211669371.X

申请日：2022-12-24

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

Inventor： 刘丹 ,  王卓 ,  张卫平 ,  高荇 ,  余杰 ,  刘梦达 ,  李翔宇 ,  杨贤哲 ,  宋长哲

IPC: G06F11/36 ,  G06F9/451

Abstract: 本发明提供一种软件系统测试方法、装置、设备及可读存储介质，软件系统测试方法包括：获取软件系统测试界面控件触发的测试业务选项，并基于所述测试业务选项进行对应的测试；基于CAN消息触发事件或状态触发事件获取测试过程中的过程数据；对所述过程数据进行数据处理，得到数据处理结果；将软件系统测试界面窗口环境变量链接于所述数据处理结果，基于所述数据处理结果显示各装备软件的功能测试结果与CAN接口测试结果。通过本发明可以保证测试充分性，实时在上位机上软件系统测试界面显示各装备软件的系统测试结果，提高了测试效率与测试质量，从而提升测试后的各装备软件的可靠性。

公开(公告)号：CN116303000A

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

申请号：CN202310183712.0

申请日：2023-02-28

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

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

IPC: G06F11/36

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

公开(公告)号：CN116303001A

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

申请号：CN202310183716.9

申请日：2023-02-28

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

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

IPC: G06F11/36

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

公开(公告)号：CN115309627A

公开(公告)日：2022-11-08

申请号：CN202210332660.4

申请日：2022-03-30

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

Inventor： 原野 ,  刘梦达 ,  刘丹 ,  余杰 ,  吴春 ,  李万坤 ,  蔡梦琳

IPC: G06F11/36

Abstract: 本发明公开了一种装备软件数字化闭环系统测试方法及装置，涉及装备软件数字化测试领域，该方法包括在数字化测试环境中创建数字化虚拟机和软总线，以将基于不同硬件平台的不同种类的被测装备软件及陪测件共同运行在一个数字化测试环境中进行系统测试；基于创建的数字化虚拟机，为被测装备软件系统提供数字化运行环境；基于创建的软总线的接口，对被测装备软件及陪测件的通信数据进行封装并通过软总线进行传递；建立控制机制，并基于建立的控制机制对数字化测试环境中各测试节点进行统一的时钟控制，控制各测试节点的业务运行速率和通讯传输速率。本发明能够有效解决实物测试环境资源有限，难以保证测试充分性的问题。

公开(公告)号：CN117632706A

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

申请号：CN202311541707.9

申请日：2023-11-16

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

Inventor： 史恒吉 ,  石颢 ,  陈军花 ,  杨子薇 ,  胡文彤 ,  江柳 ,  余杰 ,  向璨

IPC: G06F11/36

Abstract: 本申请提供一种FPGA软件半实物测试系统，该系统包括：FPGA目标板卡、控制器、数字可重配置模块和高速串行板卡；所述FPGA目标板卡上用于烧写被测FPGA软件；所述控制器与所述数字可重配置模块和所述高速串行板卡均相连，其用于向所述数字可重配置模块和所述高速串行板卡发送测试数据；所述数字可重配置模块与所述FPGA目标板卡相连，用于根据所述测试数据对所述被测FPGA软件的低速接口进行测试；所述高速串行板卡与所述FPGA目标板卡相连，用于根据所述测试数据对所述被测FPGA软件的高速串行接口进行测试。该系统具有良好的通用性，适用于不同FPGA软件的测试需求，使用灵活，方便异常用例的注入，有效的提高了FPGA软件的测试效率。

公开(公告)号：CN115905015A

公开(公告)日：2023-04-04

申请号：CN202211669367.3

申请日：2022-12-24

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

Inventor： 刘丹 ,  王卓 ,  余杰 ,  高荇 ,  刘梦达 ,  李翔宇 ,  张朋 ,  原野 ,  杨贤哲 ,  宋长哲

IPC: G06F11/36 ,  G06F11/10

Abstract: 本发明提供一种可靠性测试系统以及方法，可靠性测试系统包括：故障注入测试模块，用于获取可靠性测试界面中故障注入测试控件的触发结果，基于故障注入测试控件的触发结果进行故障注入操作；周期性消息丢帧监测模块，用于获取可靠性测试界面中周期性消息丢帧监测控件的触发结果，基于周期性消息丢帧控件的触发结果进行周期性消息丢帧监测操作；总线负载率监测模块，用于获取可靠性测试界面中总线负载率监测控件的触发结果，基于总线负载率监测控件的触发结果进行总线负载率监测操作。本发明可以较高的测试效率与测试质量对航天系统软件的可靠性进行测试，从而及时基于测试结果纠正对可靠性影响大的错误，以提高航天系统装备软件的可靠性与健壮性。