-
公开(公告)号：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描述文件。本发明能够提高测试需求分析效率，为采用自动化手段开展形式化验证工作构造有利条件。
-
公开(公告)号：CN118331861A
公开(公告)日：2024-07-12
申请号：CN202410387449.1
申请日：2024-04-01
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 一种航天软件仿真测试方法、装置、设备及介质，属于航天软件测试技术领域。其中，方法包括：基于QT应用程序框架搭建通用闭环仿真模型，其中，通用闭环仿真模型包括业务层，业务层包括地面设备模拟业务单元和弹上设备模拟业务单元，地面设备模拟业务单元和弹上设备模拟业务单元用于对待测航天软件运行所需的外围设备基础信息进行仿真；在测试人员完成对通用闭环仿真模型中业务层的基础信息的录入，并将待测航天软件和通用闭环仿真模型接入数字总线后，基于基础信息，利用通用闭环仿真模型对待测航天软件进行仿真测试，可适用于国产化操作系统，且仅需在业务层中进行业务逻辑的修改，就可完成闭环仿真模型的搭建，提高了测试效率。
-
公开(公告)号：CN114676059A
公开(公告)日：2022-06-28
申请号：CN202210332509.0
申请日：2022-03-30
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本发明公开了一种嵌入式软件故障注入方法及装置，涉及嵌入式软件测试领域，该方法包括构建嵌入式软件数字化运行平台，以及构建数据接口套件；在数据接口套件中创建接口的通信协议与物理量间的对应关系，将通信协议中的数据分解至对应的物理量上；创建数据DLL和控制DLL，所述数据DLL用于存储嵌入式软件正常的外部激励，且输出关联至数据接口套件中的物理量上，以及对于闭环解算类型的嵌入式软件；控制DLL从数据接口套件获取正常外部激励或标准解算数据，并基于测试需要对其叠加误差数据或替换成错误数据，实现测试故障注入。本发明能够对嵌入式软件测试工作的有效性进行保障。
-
Patent Agency Ranking
公开(公告)号：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: 本发明公开了一种基于混合协议的测试业务构建系统，涉及测试技术领域，包括协议配置模块、硬件板卡驱动模块、协议发送模块和协议接收模块，所述协议配置模块用于实现当前测试所包含接口类型的选择，并进行对应协议格式的配置，形成通信报文；所述硬件板卡驱动模块用于实现与装备软件间的通信交互；所述协议发送模块用于驱动通信报文的发送，并通过硬件板卡驱动模块与装备软件间形成交互；所述协议接收模块用于接收硬件板卡驱动模块所接收到的装备软件发送的报文。本发明能够大幅缩短软件测试周期，提升装备软件测试的充分性和可靠性。
-
公开(公告)号：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: 本发明公开了一种航天装备软件逆向分析测试需求建模方法及装置，涉及软件技术领域，该方法包括创建用于对源代码进行逆向分析的逆向分析测试需求建模工具，并导入待分析源代码至逆向分析测试需求建模工具；基于导入的待分析源代码，选择确定待分析的函数名称，以及需要转换的形式化描述方案；根据设定逆向分析建模规则自动解析待分析源代码，并以形式化流程图形式对分析结果进行展示。本发明能够提高软件需求分析效率，并保证装备软件的可靠性。
-
公开(公告)号：CN115309627A
公开(公告)日：2022-11-08
申请号：CN202210332660.4
申请日：2022-03-30
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本发明公开了一种装备软件数字化闭环系统测试方法及装置，涉及装备软件数字化测试领域，该方法包括在数字化测试环境中创建数字化虚拟机和软总线，以将基于不同硬件平台的不同种类的被测装备软件及陪测件共同运行在一个数字化测试环境中进行系统测试；基于创建的数字化虚拟机，为被测装备软件系统提供数字化运行环境；基于创建的软总线的接口，对被测装备软件及陪测件的通信数据进行封装并通过软总线进行传递；建立控制机制，并基于建立的控制机制对数字化测试环境中各测试节点进行统一的时钟控制，控制各测试节点的业务运行速率和通讯传输速率。本发明能够有效解决实物测试环境资源有限，难以保证测试充分性的问题。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.032 seconds)
