-
公开(公告)号：CN118964174A
公开(公告)日：2024-11-15
申请号：CN202410944204.4
申请日：2024-07-15
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 一种形式化测试用报告的生成方法、系统、设备及计算机可读存储介质，包括：通过获取形式化配置信息，所述形式化信息包括形式化逻辑信息和形式化描述信息；根据所述形式化逻辑信息和所述形式化描述信息，生成对应的测试用例和自动执行脚本；基于所述自动执行脚本对所述测试用例进行测试，生成测试报告，解决了相关技术中存在的从测试需求分析到生成测试用例以及执行测试用例，都是靠测试人员人工执行，存在效率低和工作量大的问题技术问题，将形式化描述自动转化为对应的测试用例，提高了工作效率。
-
公开(公告)号：CN117632706A
公开(公告)日：2024-03-01
申请号：CN202311541707.9
申请日：2023-11-16
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本申请提供一种FPGA软件半实物测试系统，该系统包括：FPGA目标板卡、控制器、数字可重配置模块和高速串行板卡；所述FPGA目标板卡上用于烧写被测FPGA软件；所述控制器与所述数字可重配置模块和所述高速串行板卡均相连，其用于向所述数字可重配置模块和所述高速串行板卡发送测试数据；所述数字可重配置模块与所述FPGA目标板卡相连，用于根据所述测试数据对所述被测FPGA软件的低速接口进行测试；所述高速串行板卡与所述FPGA目标板卡相连，用于根据所述测试数据对所述被测FPGA软件的高速串行接口进行测试。该系统具有良好的通用性，适用于不同FPGA软件的测试需求，使用灵活，方便异常用例的注入，有效的提高了FPGA软件的测试效率。
-
公开(公告)号：CN118331861A
公开(公告)日：2024-07-12
申请号：CN202410387449.1
申请日：2024-04-01
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 一种航天软件仿真测试方法、装置、设备及介质，属于航天软件测试技术领域。其中，方法包括：基于QT应用程序框架搭建通用闭环仿真模型，其中，通用闭环仿真模型包括业务层，业务层包括地面设备模拟业务单元和弹上设备模拟业务单元，地面设备模拟业务单元和弹上设备模拟业务单元用于对待测航天软件运行所需的外围设备基础信息进行仿真；在测试人员完成对通用闭环仿真模型中业务层的基础信息的录入，并将待测航天软件和通用闭环仿真模型接入数字总线后，基于基础信息，利用通用闭环仿真模型对待测航天软件进行仿真测试，可适用于国产化操作系统，且仅需在业务层中进行业务逻辑的修改，就可完成闭环仿真模型的搭建，提高了测试效率。
-
公开(公告)号：CN109740250A
公开(公告)日：2019-05-10
申请号：CN201811644705.1
申请日：2018-12-29
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F17/50
Abstract: 本发明公开了一种基于UVM的FPGA软件验证结果仿真波形的获取方法和系统，涉及FPGA软件验证领域，该方法包括监测被测FPGA软件的信号，判断所述信号是否满足预设的触发事件，并根据所述触发事件生成被测FPGA软件的测量区间信息，使用EDA数字仿真工具对被测FPGA软件的程序进行仿真，得到仿真文件，根据所述测量区间信息在所述仿真文件中选择相应区间的仿真数据，生成所述测量区间仿真波形图。本发明提供的一种基于UVM的FPGA软件验证结果仿真波形的获取方法和系统，通过监测被测FPGA的信号，预设触发事件，根据触发条件自动生成被测FPGA软件的测量区间信息，在仿真结束后，通过软件即可自动生成各个验证时刻的波形图文件。
-
公开(公告)号：CN109739766A
公开(公告)日：2019-05-10
申请号：CN201811644686.2
申请日：2018-12-29
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本发明公开了一种快速搭建FPGA数字仿真模型的系统及方法，涉及FPGA软件验证技术领域。本发明通过读取被测件的RTL代码，提取被测件名称、被测件端口的名称、位宽、传输方向；根据获取的信息生成仿真模型的顶层代码文件；在仿真模型的顶层代码文件中，例化被测件模块、激励发生器模块、验证结果检测器，并实现被测件端口与激励发生器模块、结果检测器模块的端口连接，再创建框架运行的脚本文件。通过该方案能自动实现FPGA数字仿真模型的建立，缓解目前FPGA软件数字仿真模型的搭建需要通过人工手动完成。产生的仿真模型遵循固定的模式，在帮助验证人员快速搭建数值仿真模型的同时还有助于项目间代码的一致性，保证代码的可重用性。
-
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: 本发明公开了一种航天装备软件逆向分析测试需求建模方法及装置，涉及软件技术领域，该方法包括创建用于对源代码进行逆向分析的逆向分析测试需求建模工具，并导入待分析源代码至逆向分析测试需求建模工具；基于导入的待分析源代码，选择确定待分析的函数名称，以及需要转换的形式化描述方案；根据设定逆向分析建模规则自动解析待分析源代码，并以形式化流程图形式对分析结果进行展示。本发明能够提高软件需求分析效率，并保证装备软件的可靠性。
-
公开(公告)号：CN109739766B
公开(公告)日：2022-04-29
申请号：CN201811644686.2
申请日：2018-12-29
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本发明公开了一种快速搭建FPGA数字仿真模型的系统及方法，涉及FPGA软件验证技术领域。本发明通过读取被测件的RTL代码，提取被测件名称、被测件端口的名称、位宽、传输方向；根据获取的信息生成仿真模型的顶层代码文件；在仿真模型的顶层代码文件中，例化被测件模块、激励发生器模块、验证结果检测器，并实现被测件端口与激励发生器模块、结果检测器模块的端口连接，再创建框架运行的脚本文件。通过该方案能自动实现FPGA数字仿真模型的建立，缓解目前FPGA软件数字仿真模型的搭建需要通过人工手动完成。产生的仿真模型遵循固定的模式，在帮助验证人员快速搭建数值仿真模型的同时还有助于项目间代码的一致性，保证代码的可重用性。
-
公开(公告)号：CN109710536B
公开(公告)日：2022-03-18
申请号：CN201811644696.6
申请日：2018-12-29
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本发明公开了一种自动提取FPGA软件验证结果仿真波形的系统及方法，涉及FPGA软件验证领域，该方法包括输入被测FPGA软件的测量区间信息，使用EDA数字仿真工具对被测FPGA软件的相应程序进行仿真，得到仿真文件，根据所述测量区间信息在所述仿真文件中选择相应区间的仿真数据，生成所述测量区间仿真波形图。本发明提供的一种自动提取FPGA软件验证结果仿真波形的系统及方法，用户在输入测量区间信息后，能在仿真文件中选择相应区间的仿真数据，自动生成测量区间仿真波形图，避免了大量的手动操作，提高了验证的自动化程度。
-
公开(公告)号：CN109710536A
公开(公告)日：2019-05-03
申请号：CN201811644696.6
申请日：2018-12-29
Applicant: 湖北航天技术研究院总体设计所
IPC: G06F11/36
Abstract: 本发明公开了一种自动提取FPGA软件验证结果仿真波形的系统及方法，涉及FPGA软件验证领域，该方法包括输入被测FPGA软件的测量区间信息，使用EDA数字仿真工具对被测FPGA软件的相应程序进行仿真，得到仿真文件，根据所述测量区间信息在所述仿真文件中选择相应区间的仿真数据，生成所述测量区间仿真波形图。本发明提供的一种自动提取FPGA软件验证结果仿真波形的系统及方法，用户在输入测量区间信息后，能在仿真文件中选择相应区间的仿真数据，自动生成测量区间仿真波形图，避免了大量的手动操作，提高了验证的自动化程度。
-
-
-
-
-
-
-
-
-
Search Results
14
records
(took 0.024 seconds)
