-
公开(公告)号：CN118331861A
公开(公告)日：2024-07-12
申请号：CN202410387449.1
申请日：2024-04-01
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 一种航天软件仿真测试方法、装置、设备及介质，属于航天软件测试技术领域。其中，方法包括：基于QT应用程序框架搭建通用闭环仿真模型，其中，通用闭环仿真模型包括业务层，业务层包括地面设备模拟业务单元和弹上设备模拟业务单元，地面设备模拟业务单元和弹上设备模拟业务单元用于对待测航天软件运行所需的外围设备基础信息进行仿真；在测试人员完成对通用闭环仿真模型中业务层的基础信息的录入，并将待测航天软件和通用闭环仿真模型接入数字总线后，基于基础信息，利用通用闭环仿真模型对待测航天软件进行仿真测试，可适用于国产化操作系统，且仅需在业务层中进行业务逻辑的修改，就可完成闭环仿真模型的搭建，提高了测试效率。
-
公开(公告)号：CN115794657A
公开(公告)日：2023-03-14
申请号：CN202211669371.X
申请日：2022-12-24
Applicant: 湖北航天技术研究院总体设计所
Abstract: 本发明提供一种软件系统测试方法、装置、设备及可读存储介质，软件系统测试方法包括：获取软件系统测试界面控件触发的测试业务选项，并基于所述测试业务选项进行对应的测试；基于CAN消息触发事件或状态触发事件获取测试过程中的过程数据；对所述过程数据进行数据处理，得到数据处理结果；将软件系统测试界面窗口环境变量链接于所述数据处理结果，基于所述数据处理结果显示各装备软件的功能测试结果与CAN接口测试结果。通过本发明可以保证测试充分性，实时在上位机上软件系统测试界面显示各装备软件的系统测试结果，提高了测试效率与测试质量，从而提升测试后的各装备软件的可靠性。
-
公开(公告)号：CN114676059A
公开(公告)日：2022-06-28
申请号：CN202210332509.0
申请日：2022-03-30
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本发明公开了一种嵌入式软件故障注入方法及装置，涉及嵌入式软件测试领域，该方法包括构建嵌入式软件数字化运行平台，以及构建数据接口套件；在数据接口套件中创建接口的通信协议与物理量间的对应关系，将通信协议中的数据分解至对应的物理量上；创建数据DLL和控制DLL，所述数据DLL用于存储嵌入式软件正常的外部激励，且输出关联至数据接口套件中的物理量上，以及对于闭环解算类型的嵌入式软件；控制DLL从数据接口套件获取正常外部激励或标准解算数据，并基于测试需要对其叠加误差数据或替换成错误数据，实现测试故障注入。本发明能够对嵌入式软件测试工作的有效性进行保障。
-
公开(公告)号：CN119988230A
公开(公告)日：2025-05-13
申请号：CN202510101558.7
申请日：2025-01-22
Applicant: 湖北航天技术研究院总体设计所
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: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本发明公开了一种地面装备软件测试故障注入方法与装置，涉及仿真测试领域，包括以下步骤：基于软件设计文件对被测软件进行故障分析，所述故障分析包括确定故障模式的基本属性，故障模式之间的内部关系以及故障模式与系统功能、结构、测试的外部关系；根据所述软件中导致软件失效的故障、触发时间和系统相关状态，构建故障场景；对所述故障场景中的故障模式进行分析，确定故障点信息；根据故障点信息编写业务XML，将所述业务XML注入待测系统进行测试。通过本方法可以灵活地实现故障注入，节省评测时间，降低评测成本。
-
Patent Agency Ranking
公开(公告)号：CN118964174A
公开(公告)日：2024-11-15
申请号：CN202410944204.4
申请日：2024-07-15
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 一种形式化测试用报告的生成方法、系统、设备及计算机可读存储介质，包括：通过获取形式化配置信息，所述形式化信息包括形式化逻辑信息和形式化描述信息；根据所述形式化逻辑信息和所述形式化描述信息，生成对应的测试用例和自动执行脚本；基于所述自动执行脚本对所述测试用例进行测试，生成测试报告，解决了相关技术中存在的从测试需求分析到生成测试用例以及执行测试用例，都是靠测试人员人工执行，存在效率低和工作量大的问题技术问题，将形式化描述自动转化为对应的测试用例，提高了工作效率。
-
公开(公告)号：CN117724975A
公开(公告)日：2024-03-19
申请号：CN202311771487.9
申请日：2023-12-21
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
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: 本发明公开了一种航天装备软件逆向分析测试需求建模方法及装置，涉及软件技术领域，该方法包括创建用于对源代码进行逆向分析的逆向分析测试需求建模工具，并导入待分析源代码至逆向分析测试需求建模工具；基于导入的待分析源代码，选择确定待分析的函数名称，以及需要转换的形式化描述方案；根据设定逆向分析建模规则自动解析待分析源代码，并以形式化流程图形式对分析结果进行展示。本发明能够提高软件需求分析效率，并保证装备软件的可靠性。
-
公开(公告)号：CN116185861A
公开(公告)日：2023-05-30
申请号：CN202310187909.1
申请日：2023-02-28
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本发明公开了一种航天装备软件系统测试需求形式化描述方法及装置，涉及航天装备软件系统测试领域，该方法包括创建用于对软件系统测试需求进行形式化描述的形式化描述工具，并基于软件系统测试需求，选择待建立形式化描述图形类别；根据形式化描述工具的可操作方式，选择对应软件系统测试需求的基本图元，实现形式化描述图形的建立；基于软件系统测试需求，对建立的形式化描述图形中基本图元自身的属性以及基本图元间的属性进行配置；基于配置完成的形式化描述图形，生成对应于形式化描述图形的XML描述文件。本发明能够有效提高测试需求分析效率，为采用自动化手段开展形式化验证工作构造有利条件。
-
-
-
-
-
-
-
-
-
Search Results
15
records
(took 0.033 seconds)
