-
公开(公告)号：CN114676059B
公开(公告)日：2024-12-10
申请号：CN202210332509.0
申请日：2022-03-30
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本发明公开了一种嵌入式软件故障注入方法及装置，涉及嵌入式软件测试领域，该方法包括构建嵌入式软件数字化运行平台，以及构建数据接口套件；在数据接口套件中创建接口的通信协议与物理量间的对应关系，将通信协议中的数据分解至对应的物理量上；创建数据DLL和控制DLL，所述数据DLL用于存储嵌入式软件正常的外部激励，且输出关联至数据接口套件中的物理量上，以及对于闭环解算类型的嵌入式软件；控制DLL从数据接口套件获取正常外部激励或标准解算数据，并基于测试需要对其叠加误差数据或替换成错误数据，实现测试故障注入。本发明能够对嵌入式软件测试工作的有效性进行保障。
-
公开(公告)号：CN116319485A
公开(公告)日：2023-06-23
申请号：CN202310138947.8
申请日：2023-02-16
Applicant: 湖北航天技术研究院总体设计所
Abstract: 本发明公开了一种基于混合协议的测试业务构建系统，涉及测试技术领域，包括协议配置模块、硬件板卡驱动模块、协议发送模块和协议接收模块，所述协议配置模块用于实现当前测试所包含接口类型的选择，并进行对应协议格式的配置，形成通信报文；所述硬件板卡驱动模块用于实现与装备软件间的通信交互；所述协议发送模块用于驱动通信报文的发送，并通过硬件板卡驱动模块与装备软件间形成交互；所述协议接收模块用于接收硬件板卡驱动模块所接收到的装备软件发送的报文。本发明能够大幅缩短软件测试周期，提升装备软件测试的充分性和可靠性。
-
公开(公告)号：CN115905015A
公开(公告)日：2023-04-04
申请号：CN202211669367.3
申请日：2022-12-24
Applicant: 湖北航天技术研究院总体设计所
Abstract: 本发明提供一种可靠性测试系统以及方法，可靠性测试系统包括：故障注入测试模块，用于获取可靠性测试界面中故障注入测试控件的触发结果，基于故障注入测试控件的触发结果进行故障注入操作；周期性消息丢帧监测模块，用于获取可靠性测试界面中周期性消息丢帧监测控件的触发结果，基于周期性消息丢帧控件的触发结果进行周期性消息丢帧监测操作；总线负载率监测模块，用于获取可靠性测试界面中总线负载率监测控件的触发结果，基于总线负载率监测控件的触发结果进行总线负载率监测操作。本发明可以较高的测试效率与测试质量对航天系统软件的可靠性进行测试，从而及时基于测试结果纠正对可靠性影响大的错误，以提高航天系统装备软件的可靠性与健壮性。
-
公开(公告)号：CN118964174A
公开(公告)日：2024-11-15
申请号：CN202410944204.4
申请日：2024-07-15
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 一种形式化测试用报告的生成方法、系统、设备及计算机可读存储介质，包括：通过获取形式化配置信息，所述形式化信息包括形式化逻辑信息和形式化描述信息；根据所述形式化逻辑信息和所述形式化描述信息，生成对应的测试用例和自动执行脚本；基于所述自动执行脚本对所述测试用例进行测试，生成测试报告，解决了相关技术中存在的从测试需求分析到生成测试用例以及执行测试用例，都是靠测试人员人工执行，存在效率低和工作量大的问题技术问题，将形式化描述自动转化为对应的测试用例，提高了工作效率。
-
公开(公告)号：CN116303000A
公开(公告)日：2023-06-23
申请号：CN202310183712.0
申请日：2023-02-28
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本发明公开了一种航天装备软件配置项测试需求形式化描述方法及装置，涉及航天装备软件配置项测试领域，该方法包括创建用于对软件配置项测试需求进行形式化描述的形式化描述工具，并基于软件配置项测试需求的类型，选择待建立的形式化描述图形的类型；基于形式化描述工具，选择对应软件配置项测试需求的基本图元，以建立形式化描述图形；根据软件配置项测试需求，对建立的形式化描述图形中基本图元自身的属性以及基本图元间的属性进行设置；基于设置完成的形式化描述图形，生成与形式化描述图形对应的XML描述文件。本发明能够提高测试需求分析效率，为采用自动化手段开展形式化验证工作构造有利条件。
-
Patent Agency Ranking
公开(公告)号：CN118625694A
公开(公告)日：2024-09-10
申请号：CN202410701227.2
申请日：2024-05-31
Applicant: 湖北航天技术研究院总体设计所
IPC: G05B17/02
Abstract: 本发明公开了一种航天装备通用系统级数字化仿真平台，涉及数字仿真技术领域，所述航天装备通用系统级数字化仿真平台包括运行于国产化操作系统上的数字化仿真平台，以及在所述数字化仿真平台上运行的飞行控制软件、单机控制软件、地面控制软件、闭环仿真模型，以模拟真实场景下飞行器系统间数据流和控制流的交互，且当飞行控制软件、单机控制软件和地面控制软件运行时，所述数字化仿真平台的显示界面上实时对飞行器飞行过程中的状态信息进行显示，以实现对飞行器系统级闭环仿真的实时监控。本申请能够实现涵盖测试、发射和飞行各阶段的全数字化闭环仿真。
-
公开(公告)号：CN116303001A
公开(公告)日：2023-06-23
申请号：CN202310183716.9
申请日：2023-02-28
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本发明公开了一种航天装备软件逆向分析测试需求建模方法及装置，涉及软件技术领域，该方法包括创建用于对源代码进行逆向分析的逆向分析测试需求建模工具，并导入待分析源代码至逆向分析测试需求建模工具；基于导入的待分析源代码，选择确定待分析的函数名称，以及需要转换的形式化描述方案；根据设定逆向分析建模规则自动解析待分析源代码，并以形式化流程图形式对分析结果进行展示。本发明能够提高软件需求分析效率，并保证装备软件的可靠性。
-
公开(公告)号：CN116185861A
公开(公告)日：2023-05-30
申请号：CN202310187909.1
申请日：2023-02-28
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本发明公开了一种航天装备软件系统测试需求形式化描述方法及装置，涉及航天装备软件系统测试领域，该方法包括创建用于对软件系统测试需求进行形式化描述的形式化描述工具，并基于软件系统测试需求，选择待建立形式化描述图形类别；根据形式化描述工具的可操作方式，选择对应软件系统测试需求的基本图元，实现形式化描述图形的建立；基于软件系统测试需求，对建立的形式化描述图形中基本图元自身的属性以及基本图元间的属性进行配置；基于配置完成的形式化描述图形，生成对应于形式化描述图形的XML描述文件。本发明能够有效提高测试需求分析效率，为采用自动化手段开展形式化验证工作构造有利条件。
-
公开(公告)号：CN115309627A
公开(公告)日：2022-11-08
申请号：CN202210332660.4
申请日：2022-03-30
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本发明公开了一种装备软件数字化闭环系统测试方法及装置，涉及装备软件数字化测试领域，该方法包括在数字化测试环境中创建数字化虚拟机和软总线，以将基于不同硬件平台的不同种类的被测装备软件及陪测件共同运行在一个数字化测试环境中进行系统测试；基于创建的数字化虚拟机，为被测装备软件系统提供数字化运行环境；基于创建的软总线的接口，对被测装备软件及陪测件的通信数据进行封装并通过软总线进行传递；建立控制机制，并基于建立的控制机制对数字化测试环境中各测试节点进行统一的时钟控制，控制各测试节点的业务运行速率和通讯传输速率。本发明能够有效解决实物测试环境资源有限，难以保证测试充分性的问题。
-
公开(公告)号：CN114872933A
公开(公告)日：2022-08-09
申请号：CN202210493853.8
申请日：2022-04-28
Applicant: 湖北航天技术研究院总体设计所
Abstract: 本申请涉及一种固体矢量推力器多阀协同控制方法、装置及系统。所述固体矢量推力器包括多个推力器阀门，所述多个推力器阀门的输入端共用燃发器通道，所述多个推力器阀门的输出推力用于实现飞行器姿控，所述控制方法包括步骤：建立俯仰、偏航及滚转通道所需控制力与各通道对应推力器阀门的阀门开度之间的线性关系，并使工作时所述多个推力器阀门的阀门开度之和为定值；根据所述阀门开度控制对应推力器阀门的输出推力。在保证系统压强稳定的同时实现多阀门协同作用，矢量推力连续可调。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.07 seconds)
