公开(公告)号：CN112181392A

公开(公告)日：2021-01-05

申请号：CN202011121631.0

申请日：2020-10-19

Applicant: 上海航天计算机技术研究所

Inventor： 申臻 ,  宋雷军 ,  魏冬冬 ,  于清华 ,  高赛军

IPC: G06F8/30 ,  G06F8/41

Abstract: 本发明提供了一种自动判读硬件接口生成数字外部设备代码的方法和系统，该方法包括：根据被测件与外部设备对应的交互地址信息，确定配置文件；根据配置文件中不同类型的外部设备特征以及汇编码中交互地址的上下文，分析被测件与外部设备交互地址的方向；根据交互地址的方向，识别出不同类型外部设备对应的接口模式；根据不同类型外部设备对应的接口模式，自动生成平台中相应的读写调回函数模板；针对交互地址方向上被测件的读/写数据，分别生成固定格式的输入/输出数据表格。从而可以在被测件数字外部设备测试环境的基础上，减少平台开发过程人工参与度，缩短测试周期，减少测试平台开发引入的程序错误，提高了测试准确性、稳定性。

公开(公告)号：CN119538393A

公开(公告)日：2025-02-28

申请号：CN202310758600.3

申请日：2023-06-26

Applicant: 上海航天计算机技术研究所

Inventor： 胡逸琳 ,  宋雷军 ,  刘涛 ,  尹龙雯 ,  向泽钰

IPC: G06F30/15 ,  G06F30/20

Abstract: 本发明公开了一种运载火箭飞行验证测试方法，输入飞行参数并进行解析，对解析后的飞行参数按照配置文件进行筛选，生成相对应的测试数据。调用相对应的测试环境，并将测试数据载入其中，生成遥测数据。依据配置文件将遥测数据转换为物理量，并进行自动判读，判断当前的物理量是否超差，将判读结果是否通过进行显示。对于数据量较大的运载火箭飞行软件测试过程，本发明提出采用装订配置文件的方法对飞行参数设计方法进行设置，对遥测数据解析及判断方法进行设置，解决了以往只能人工生成飞行参数和人工判读的弊端，为测试过程节省了大量的人力，同时为飞行参数生成和遥测数据判断过程的自动化和无漏判。为飞行软件测试提供依据，保障测试顺利进行。

公开(公告)号：CN118152264A

公开(公告)日：2024-06-07

申请号：CN202410134224.5

申请日：2024-01-31

Applicant: 上海航天计算机技术研究所

Inventor： 陈芳 ,  申臻 ,  高赛军 ,  李耀 ,  马玉奇 ,  宋雷军

IPC: G06F11/36 ,  G06F8/53 ,  G06F9/455

Abstract: 本发明涉及目标码覆盖率分析技术领域，公开了一种基于QEMU的AArch64架构可执行程序的目标码覆盖率分析方法，包括：S1：附加‑d、‑D指令激活QEMU虚拟机实时记录执行指令并生成日志文件；S2：在所述虚拟环境中运行所述AArch64架构的可执行程序生成可执行程序的反汇编文件，执行测试用例集直至测试完成；S3：解析所述可执行程序的反汇编文件，设计多层嵌套结构实现源码与目标码的一一对应，同时基于机器码串关联所述反汇编文件与所述QEMU日志文件，同时通过多条件匹配来统计目标码覆盖率信息并构建可视化显示界面，实现目标码的无损覆盖率分析。有效避免插桩带来的源码变更与代码膨胀，从而实现无损覆盖率分析。