-
公开(公告)号：CN118152264A
公开(公告)日：2024-06-07
申请号：CN202410134224.5
申请日：2024-01-31
Applicant: 上海航天计算机技术研究所
Abstract: 本发明涉及目标码覆盖率分析技术领域，公开了一种基于QEMU的AArch64架构可执行程序的目标码覆盖率分析方法，包括：S1：附加‑d、‑D指令激活QEMU虚拟机实时记录执行指令并生成日志文件；S2：在所述虚拟环境中运行所述AArch64架构的可执行程序生成可执行程序的反汇编文件，执行测试用例集直至测试完成；S3：解析所述可执行程序的反汇编文件，设计多层嵌套结构实现源码与目标码的一一对应，同时基于机器码串关联所述反汇编文件与所述QEMU日志文件，同时通过多条件匹配来统计目标码覆盖率信息并构建可视化显示界面，实现目标码的无损覆盖率分析。有效避免插桩带来的源码变更与代码膨胀，从而实现无损覆盖率分析。
-
Patent Agency Ranking
公开(公告)号：CN118113616A
公开(公告)日：2024-05-31
申请号：CN202410297213.9
申请日：2024-03-15
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于接口模型库的火箭测发软件通用验证测试系统，针对目前火箭测发软件的第三方验证测试工作中仍需要针对具体型号重新开发测试平台的问题，通过创建接口模型库包含各类型的接口模型，有串口、TCP、1553B等。每一个接口模型均包含三个部分，一是协议读取解析模块，二是协议配置模块，三是虚拟接口。库中的接口模型都可以通过虚拟接口与对应的通信协议进行模拟，在协议发生变化时，仅需要通过协议配置模块更换相应的协议配置文件即可。在测试时，针对不同的接口，测试人员只需在接口模型库中挑选不同的虚拟接口即可完成对被测件接口的适配。而随着火箭技术的发展，后期可能会添加新的通信接口类型，接口模型库只需要开发对应的不同的虚拟接口以及添加对应的通信协议即可实现对新接口的适配，扩展性好。该系统自动化程度高、维护简单、适配性好、可扩展性好，能够有效地支撑对火箭测发软件的第三方验证测试工作。
-
公开(公告)号：CN114389719B
公开(公告)日：2023-06-20
申请号：CN202210003987.7
申请日：2022-01-04
Applicant: 上海航天计算机技术研究所
IPC: H04B17/00 , H04B17/391 , H04B1/69
Abstract: 本发明涉及一种扩频解调仿真验证系统，包括：仿数据信号源生成模块、仿正弦余弦波生成模块、仿码偏自适应调整的扩频码生成模块、仿扩频调制模块、仿解调数据接收模块、仿工作状态检测模块和记分板模块。本发明适用于卫星产品中扩频基带处理FPGA的地面仿真验证，可通过更改参数进行仿真环境的配置，从而模拟扩频调制系统在多普勒频偏为任意值情况下，尤其是在动态扫频情况下验证扩频解调模块FPGA各个模块工作的正确性。同时本发明还可根据FPGA输出的反馈AGC值调整FPGA输入的中频信号，为基带处理FPGA提供闭环的仿真环境。
-
公开(公告)号：CN114218883B
公开(公告)日：2025-01-28
申请号：CN202111511448.6
申请日：2021-12-06
Applicant: 上海航天计算机技术研究所
IPC: G06F30/34
Abstract: 本发明提供了一种基于UVM的AOS数据处理FPGA仿真验证系统，通过构建一种基于UVM的AOS数据处理FPGA仿真验证系统实现测试输入随机化和约束自动收敛，同时实时收集MPDU包域中EPDU个数覆盖率、包头位置覆盖率、包尾位置覆盖率、填充包和填充帧发送情况覆盖率，全方位实现功能覆盖率统计。此外，本发明通过计分板群实时获取期望数据EXP堆栈和实测数据ACT堆栈，并进行自动一致性匹配，给出错误帧接收和漏帧情况，大大方便设计人员进行故障定位。最后本发明还提供了通道个数n最大化实现了通用性，通过改变通道个数n和根据速率修改约束更改对应通道的MPDU占比，就能实现任意多个通道的AOS数据处理FPGA仿真验证，可拓展应用于多种宇航型号AOS数据处理系统的FPGA地面仿真验证。
-
公开(公告)号：CN114218883A
公开(公告)日：2022-03-22
申请号：CN202111511448.6
申请日：2021-12-06
Applicant: 上海航天计算机技术研究所
IPC: G06F30/34
Abstract: 本发明提供了一种基于UVM的AOS数据处理FPGA仿真验证系统，通过构建一种基于UVM的AOS数据处理FPGA仿真验证系统实现测试输入随机化和约束自动收敛，同时实时收集MPDU包域中EPDU个数覆盖率、包头位置覆盖率、包尾位置覆盖率、填充包和填充帧发送情况覆盖率，全方位实现功能覆盖率统计。此外，本发明通过计分板群实时获取期望数据EXP堆栈和实测数据ACT堆栈，并进行自动一致性匹配，给出错误帧接收和漏帧情况，大大方便设计人员进行故障定位。最后本发明还提供了通道个数n最大化实现了通用性，通过改变通道个数n和根据速率修改约束更改对应通道的MPDU占比，就能实现任意多个通道的AOS数据处理FPGA仿真验证，可拓展应用于多种宇航型号AOS数据处理系统的FPGA地面仿真验证。
-
公开(公告)号：CN114389719A
公开(公告)日：2022-04-22
申请号：CN202210003987.7
申请日：2022-01-04
Applicant: 上海航天计算机技术研究所
IPC: H04B17/00 , H04B17/391 , H04B1/69
Abstract: 本发明涉及一种扩频解调仿真验证系统，包括：仿数据信号源生成模块、仿正弦余弦波生成模块、仿码偏自适应调整的扩频码生成模块、仿扩频调制模块、仿解调数据接收模块、仿工作状态检测模块和记分板模块。本发明适用于卫星产品中扩频基带处理FPGA的地面仿真验证，可通过更改参数进行仿真环境的配置，从而模拟扩频调制系统在多普勒频偏为任意值情况下，尤其是在动态扫频情况下验证扩频解调模块FPGA各个模块工作的正确性。同时本发明还可根据FPGA输出的反馈AGC值调整FPGA输入的中频信号，为基带处理FPGA提供闭环的仿真环境。
-
-
-
-
-
Search Results
6
records
(took 0.03 seconds)
