-
公开(公告)号：CN110716874B
公开(公告)日：2023-08-22
申请号：CN201910909108.5
申请日：2019-09-25
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种国产操作系统硬件兼容性测试方法，其特征在于，包括：构建操作系统内核知识库；向知识库中添加驱动程序动态依赖项；静态扫描驱动程序文件，得到运行所需的内核信息；进行依赖要素比对，若比对时发现主版本号不一致，则操作系统与驱动程序判定为不兼容；在知识库中查找驱动程序名称以及内核版本号和静态扫描得到的驱动程序名称以及内核版本号一致的项，判断操作系统兼容性；从知识库里找到的该一致的项中提取源码层面的信息，分别与静态扫描得到的驱动程序调用的头文件源码、导出函数和结构体声明进行比对，导出函数或者结构体声明信息的顺序依次进行，并得出比对的结果；给出操作系统硬件兼容性以及测试报告。
-
公开(公告)号：CN116414430A
公开(公告)日：2023-07-11
申请号：CN202310404013.4
申请日：2023-04-17
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于规则引擎Drools的量化方法，属于面向软件研制过程中的量化管理领域。本发明首先执行基础平台的持续集成业务，依据Drools定义的采集指标收集持续集成各个环节产生的业务数据；其次采集接口运行规则文件，根据规则内容计算产生数据结果；最后业务数据的累计作为量化分析管理的基础，量化过程中可随数据的积累而不断迭代更新，以便高质量地实现质量与过程绩效目标。本发明通过Drools解决了业务维护困难，迭代成本高的问题。相比于其他量化方法，该发明更加灵活高效，同时具备高质量的过程管理方式，针对过程绩效目标地实现具备良好的管控方法。
-
公开(公告)号：CN116150005A
公开(公告)日：2023-05-23
申请号：CN202310066963.0
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于扩展Lustre语言的模型形式化验证方法，属于代码溯源领域。本发明通过构建抽象语法树，遍历语法树提取数据模型同时完成语言转换，根据数据模型规则检查通过后，将转换后的模型和属性输入Kind2工具进行属性的形式化验证；通过构建抽象语法树，可将扩展Lustre模型和属性转换为易访问的树型结构，同时完成扩展Lustre模型和属性的语法语义检查；遍历抽象语法树抽取中间模型的同时可完成语言转换；通过语言转换模块可将扩展Lustre语言模型转换为Kind2工具识别的语言格式，从而复用现有成熟的Kind2模型检测器实现形式化验证。该方法主要是利用模型转换方法完成扩展Lustre模型的规则检查和语言转换，从而将扩展Lustre语言的模型形式化验证方法应用于自研OnModel工具。
-
公开(公告)号：CN115480872A
公开(公告)日：2022-12-16
申请号：CN202211114551.1
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种DSP C2812处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本本发明通过对123条指令集的仿真，提供DSP C2812嵌入式处理器软件的运行环境，为DSP C2812嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现DSP C2812处理器的指令集仿真，仿真精度高，仿真执行效率高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真DSP C2812处理器。
-
公开(公告)号：CN115421864A
公开(公告)日：2022-12-02
申请号：CN202211114604.X
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的PowerPC架构处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明针对飞思卡尔(FreeScale)基于Power Architecture的32位微处理器核心e300、e500、e600，设计一种通用的处理器仿真框架，同时支持多种架构处理器的仿真运行。提供PowerPC处理器嵌入式处理器软件的运行环境，为PowerPC处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现PowerPC指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真PowerPC指令架构处理器。
-
Patent Agency Ranking
公开(公告)号：CN115016843A
公开(公告)日：2022-09-06
申请号：CN202210566686.5
申请日：2022-05-23
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/75
Abstract: 本发明涉及一种高精度的二进制代码相似性比对方法，属于代码比对领域。本发明利用SimHash算法进行比对检索，缩小二进制代码比对的范围，再利用二进制代码特征进行精准的相似性比对，实现二进制代码的快速、精确的比对，为二进制代码溯源、缺陷扫描分析提供支撑，满足不同场景下的二进制代码相似性比对的需求。本发明提出的方案，能够在兼顾对比效率的同时，保证二进制代码相似性比对的效率；本发明提取二进制代码函数特征，能够保证代码相似性比对的精确度；本发明采用基于SimHash的文本对比方法，能够提高二进制代码相似性比对的效率。
-
公开(公告)号：CN114995880A
公开(公告)日：2022-09-02
申请号：CN202210566698.8
申请日：2022-05-23
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/75
Abstract: 本发明涉及一种基于SimHash的二进制代码相似性比对方法，属于代码比对领域。本发明对二进制代码反汇编及汇编代码预处理，对汇编代码标准化处理，计算汇编代码SimHash值，构建代码特征关系库构架，基于文本相似性的二进制代码快速定位。本发明具有以下优点：本发明提出的方案，能够在兼顾对比效率的同时，保证二进制代码相似性比对的效率；本发明采用基于SimHash的文本对比方法，能够提高二进制代码相似性比对的效率。
-
公开(公告)号：CN112926109B
公开(公告)日：2022-06-24
申请号：CN202110338756.7
申请日：2021-03-30
Applicant: 北京计算机技术及应用研究所
IPC: G06F30/12 , G06F3/04845 , G06F111/20
Abstract: 本发明涉及一种复杂嵌入式系统虚拟运行环境可视化建模方法，其中，包括：第一步、构建实体对象的图形化模型；第二步、配置图形化模型接口与属性；第三步、生成设备仿真模型，包括：将图形化模型描述的接口和属性转化为对应的接口函数和属性变量，进行设备仿真模型框架代码的自动生成，基于此框架开展设备仿真模型的逻辑功能开发；第四步、封装设备仿真模型并持久化存储，包括：封装图形界面操作，并建立设备仿真模型与图形模型的双向映射；并形成图形化模型与设备仿真模型库；第五步、生成虚拟运行环境构建与系统配置文件。本发明可有效的简化复杂嵌入式系统虚拟运行环境构建过程，进而提升嵌入式软件研发效率和测试充分性。
-
公开(公告)号：CN112395190A
公开(公告)日：2021-02-23
申请号：CN202011280982.6
申请日：2020-11-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种针对多种处理器架构的非侵入式覆盖率统计方法，包括：搭建嵌入式软件仿真运行环境；解析多种架构目标文件及调试信息格式，获取处理器对应的调试信息格式，通过解析调试信息格式获取嵌入式软件源码目标码对应关系信息；解析源代码获取源代码的分支信息；获取覆盖率信息，包括：仿真执行开始后，判断当前指令是否是分支指令，若不是，继续执行指令；如果是，以当前地址作为基本块结束地址，并以基本块开始地址和结束地址为索引，更新覆盖率查询表；将覆盖率统计分析结果输出。本发明的能够弥补现有覆盖率统计分析工具的不足，满足多种场景下覆盖率统计分析的需求。
-
公开(公告)号：CN111813672A
公开(公告)日：2020-10-23
申请号：CN202010636319.9
申请日：2020-07-03
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种针对多种处理器架构的非侵入式覆盖率统计方法，包括：搭建嵌入式软件仿真运行环境；解析多种架构目标文件及调试信息格式，获取处理器对应的调试信息格式，通过解析调试信息格式获取嵌入式软件源码目标码对应关系信息；解析源代码获取源代码的分支信息；获取覆盖率信息，包括：仿真执行开始后，判断当前指令是否是分支指令，若不是，继续执行指令；如果是，以当前地址作为基本块结束地址，并以基本块开始地址和结束地址为索引，更新覆盖率查询表；将覆盖率统计分析结果输出。本发明的能够弥补现有覆盖率统计分析工具的不足，满足多种场景下覆盖率统计分析的需求。
-
-
-
-
-
-
-
-
-
Search Results
73
records
(took 0.041 seconds)
