公开(公告)号：CN114995880A

公开(公告)日：2022-09-02

申请号：CN202210566698.8

申请日：2022-05-23

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  陶金龙 ,  孔祥炳 ,  邵飒 ,  张建伟 ,  冯大成 ,  付修锋 ,  安恒 ,  刘玉波 ,  金玉川

IPC: G06F8/75

Abstract: 本发明涉及一种基于SimHash的二进制代码相似性比对方法，属于代码比对领域。本发明对二进制代码反汇编及汇编代码预处理，对汇编代码标准化处理，计算汇编代码SimHash值，构建代码特征关系库构架，基于文本相似性的二进制代码快速定位。本发明具有以下优点：本发明提出的方案，能够在兼顾对比效率的同时，保证二进制代码相似性比对的效率；本发明采用基于SimHash的文本对比方法，能够提高二进制代码相似性比对的效率。

公开(公告)号：CN112926109B

公开(公告)日：2022-06-24

申请号：CN202110338756.7

申请日：2021-03-30

Applicant: 北京计算机技术及应用研究所

Inventor： 付修锋 ,  孔祥炳 ,  安恒 ,  金玉川 ,  贾张涛 ,  李雅斯

IPC: G06F30/12 ,  G06F3/04845 ,  G06F111/20

Abstract: 本发明涉及一种复杂嵌入式系统虚拟运行环境可视化建模方法，其中，包括：第一步、构建实体对象的图形化模型；第二步、配置图形化模型接口与属性；第三步、生成设备仿真模型，包括：将图形化模型描述的接口和属性转化为对应的接口函数和属性变量，进行设备仿真模型框架代码的自动生成，基于此框架开展设备仿真模型的逻辑功能开发；第四步、封装设备仿真模型并持久化存储，包括：封装图形界面操作，并建立设备仿真模型与图形模型的双向映射；并形成图形化模型与设备仿真模型库；第五步、生成虚拟运行环境构建与系统配置文件。本发明可有效的简化复杂嵌入式系统虚拟运行环境构建过程，进而提升嵌入式软件研发效率和测试充分性。

公开(公告)号：CN112395190A

公开(公告)日：2021-02-23

申请号：CN202011280982.6

申请日：2020-11-16

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  吴超 ,  付修锋 ,  安恒 ,  李雅斯 ,  沈兴龙 ,  闫帅

IPC: G06F11/36

Abstract: 本发明涉及一种针对多种处理器架构的非侵入式覆盖率统计方法，包括：搭建嵌入式软件仿真运行环境；解析多种架构目标文件及调试信息格式，获取处理器对应的调试信息格式，通过解析调试信息格式获取嵌入式软件源码目标码对应关系信息；解析源代码获取源代码的分支信息；获取覆盖率信息，包括：仿真执行开始后，判断当前指令是否是分支指令，若不是，继续执行指令；如果是，以当前地址作为基本块结束地址，并以基本块开始地址和结束地址为索引，更新覆盖率查询表；将覆盖率统计分析结果输出。本发明的能够弥补现有覆盖率统计分析工具的不足，满足多种场景下覆盖率统计分析的需求。

公开(公告)号：CN111813672A

公开(公告)日：2020-10-23

申请号：CN202010636319.9

申请日：2020-07-03

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  吴超 ,  付修锋 ,  安恒 ,  李雅斯 ,  沈兴龙 ,  闫帅

IPC: G06F11/36 ,  G06F8/75

Abstract: 本发明涉及一种针对多种处理器架构的非侵入式覆盖率统计方法，包括：搭建嵌入式软件仿真运行环境；解析多种架构目标文件及调试信息格式，获取处理器对应的调试信息格式，通过解析调试信息格式获取嵌入式软件源码目标码对应关系信息；解析源代码获取源代码的分支信息；获取覆盖率信息，包括：仿真执行开始后，判断当前指令是否是分支指令，若不是，继续执行指令；如果是，以当前地址作为基本块结束地址，并以基本块开始地址和结束地址为索引，更新覆盖率查询表；将覆盖率统计分析结果输出。本发明的能够弥补现有覆盖率统计分析工具的不足，满足多种场景下覆盖率统计分析的需求。

公开(公告)号：CN110716873A

公开(公告)日：2020-01-21

申请号：CN201910903233.5

申请日：2019-09-24

Applicant: 北京计算机技术及应用研究所

Inventor： 高艳鹍 ,  安恒 ,  陈鹏 ,  陶金龙

IPC: G06F11/36

Abstract: 本发明涉及一种硬件兼容性知识库构建方法，涉及硬件兼容性测试技术领域。本发明基于对驱动模块在操作系统中运行的原理以及操作系统内核导出信息的分析，总结了硬件的驱动模块运行在操作系统上所需的依赖要素，创建硬件兼容性知识库并在知识库中添加内核信息、运行依赖要素信息的知识项；通过在硬件设备运行过程中对其驱动模块的运行过程进行监控，得到其驱动模块的接口调用信息并存入知识库，形成设备信息、驱动模块、内核版本信息、接口调用信息的知识项。该方法能够为国产操作系统的硬件兼容性提供测试手段以及必要的测试信息，实现国产操作系统升级后在没有硬件设备的情况下进行硬件兼容性测试，有利于推动国产操作系统的兼容性测试技术发展。

公开(公告)号：CN106293641A

公开(公告)日：2017-01-04

申请号：CN201610601844.0

申请日：2016-07-27

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  张建伟 ,  安恒 ,  孔祥炳

IPC: G06F9/38 ,  G06F9/455

CPC classification number: G06F9/3853 ,  G06F9/45508

Abstract: 本发明公开了一种基于流水线重构的VLIW体系架构性能模拟方法，其中，包括：第一步：E3节拍模拟；第二步：E2节拍模拟；第三步：E1节拍模拟；第四步：DC节拍模拟；第五步：DP节拍模拟；第六步：PR节拍模拟；第七步：PW节拍模拟；第八步：PS节拍模拟；第九步：PG节拍模拟。本发明基于流水线重构的超长指令字体系架构性能模拟方法，对VLIW体系结构影响流水线模拟的各个因素进行抽象和分析，基于延迟槽结构的流水线推进，能够实现VLIW体系结构流水线的模拟和精确的周期计算，为设备时钟精确的仿真模型提供理论依据和具体实现方法。