-
公开(公告)号：CN114995831A
公开(公告)日：2022-09-02
申请号：CN202210639305.1
申请日：2022-06-07
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/52
Abstract: 本发明涉及一种基于动态链接符号表的ELF文件相似性比对方法，属于软件二进制代码溯源分析技术领域。该比对方法通过ELF文件解析，提取并比对ELF文件动态链接符号表，完成了ELF文件相似性比对和相似度计算。该方法主要是为Unix/Linux操作系统下可执行文件、目标代码、共享库等ELF文件溯源提供技术手段，具有良好的鲁棒性、较高的准确性和比对效率，同时兼容32位和64位ELF文件。
-
公开(公告)号：CN113610037A
公开(公告)日：2021-11-05
申请号：CN202110942302.0
申请日：2021-08-17
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于头部和可见区域线索的遮挡行人检测方法，属于辅助驾驶领域。本发明利用头部、可见区域、全身信息改进复杂道路场景中的遮挡行人检测性能，提出锐化特征响应区域推荐网络SRPN同时检测行人全身和头部RoIs，对于全身RoIs，在原有的全身检测分支Fast RCNN前增加一个可见区域引导注意力VGA模块用于增强可见区域特征同时抑制遮挡区域噪声，增加了一个平行的头部级联检测分支，基于头部RoIs逐级的拓展感知域检测严重遮挡行人。大量的实验结果表明：本专利提出的方法能显著提高遮挡行人的检测精度。
-
公开(公告)号：CN109359047B
公开(公告)日：2021-05-14
申请号：CN201811270209.4
申请日：2018-10-29
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于系统特征状态的软件测试充分性度量方法，涉及软件测试技术领域。本发明可以定量的评估系统测试充分性，并指导如何提高测试充分性。只要获取到系统之间的通讯协议格式，并能够采集到通讯数据，就可以采用此方法指导开展系统级测试，方法的使用对系统的复杂性程度不敏感，可以支持大型复杂系统的测试。可以直观指示出哪些软件的关键特征状态没有被覆盖。类比于白盒测试中的语句覆盖、分支覆盖、路径覆盖，该方法可以定义为特征状态覆盖、特征状态组合覆盖等多级别的测试覆盖率统计，适应不同安全可靠要求的系统测试终止条件。
-
公开(公告)号：CN109491709A
公开(公告)日：2019-03-19
申请号：CN201811270187.1
申请日：2018-10-29
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于AHP与神经网络的软件代码可控度综合评价方法，涉及软件代码可控度评价技术领域。本发明给出了合理的软件代码可控性度量模型，并提出了用层次分析法获取权重作为神经网络输入的软件代码可控性综合评价模型，解决了复杂系统建模时,由于影响因素过多,把它们都作为神经网络的输入,会增加网络的复杂度,降低网络性能,影响计算准确度的问题。工程实例应用的结果表明，本发明针对复杂软件代码，采用层次分析和神经网络相结合的可控度评价结果是可信的、有效的。
-
公开(公告)号：CN109359047A
公开(公告)日：2019-02-19
申请号：CN201811270209.4
申请日：2018-10-29
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于系统特征状态的软件测试充分性度量方法，涉及软件测试技术领域。本发明可以定量的评估系统测试充分性，并指导如何提高测试充分性。只要获取到系统之间的通讯协议格式，并能够采集到通讯数据，就可以采用此方法指导开展系统级测试，方法的使用对系统的复杂性程度不敏感，可以支持大型复杂系统的测试。可以直观指示出哪些软件的关键特征状态没有被覆盖。类比于白盒测试中的语句覆盖、分支覆盖、路径覆盖，该方法可以定义为特征状态覆盖、特征状态组合覆盖等多级别的测试覆盖率统计，适应不同安全可靠要求的系统测试终止条件。
-
Patent Agency Ranking
公开(公告)号：CN120029620A
公开(公告)日：2025-05-23
申请号：CN202510187515.5
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于OpenGL的嵌入式人机界面代码生成方法，属于代码自动生成领域。本发明onModel工具中的人机界面代码模型存储为XML格式的文件，本发明提供将模型文件自动生成C代码的一种方法，包括：使用XML解析器对文件进行解析，将模型数据划分成不同模块；根据不同模块数据，调用代码生成函数，生成代码；调用适配层接口，完成代码生成。本发明的生成方法能够将onModel工具中的人机界面模型生成基于OpenGL的图形渲染C代码。由于OpenGL具有跨平台特性，因此，生成的C代码能够应用到任意目标平台，减少代码重复性编写。
-
公开(公告)号：CN120029615A
公开(公告)日：2025-05-23
申请号：CN202510187633.6
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/35 , G06F8/36 , G06F8/72 , G06F8/76 , G05B19/042
Abstract: 本发明涉及一种基于模版的AADL平台无关代码生成方法，属于自动代码生成领域。本发明解析器读取AADL模型，提取其中描述的模型元素，包括：系统架构、组件信息、组件间连接以及相关属性，为后续的映射步骤提供必要的数据支持；根据AADL模型和平台无关抽象层的结构与需求，定义两者之间的映射关系；具体包括将AADL模型中涉及的组件类型、连接关系及相关属性与抽象层中对应的元素匹配，以确保抽象层能够完整描述AADL模型的功能及结构；根据第二步中制定的映射规则，将解析出的AADL模型元素逐一转换为抽象层中对应的元素，生成平台无关的抽象层模板代码。本发明提高了代码生成的扩展性和灵活性。
-
公开(公告)号：CN119829428A
公开(公告)日：2025-04-15
申请号：CN202411812494.3
申请日：2024-12-10
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/3668 , G06F11/3698 , G06F9/455
Abstract: 本发明涉及一种基于虚拟机的嵌入式软件仿真测试环境构建方法，属于嵌入式软件测试技术领域。该方法通过增加接口适配层和网络通信层，替换底层具体专用硬件接口设备或总线的驱动程序，将具体专用硬件接口设备或总线的操作重定向成网络通信操作，实现嵌入式软件虚拟机环境部署；通过仿真设备替代外部真实交联设备或系统，为嵌入式软件运行提供激励或响应数据，同时接收嵌入式软件输出数据，并根据输出数据进行实时自动应答，保证嵌入式软件不间断运行；通过测试驱动器，集中管理外部仿真设备，并按照业务流程测试调度仿真设备，协同完成嵌入式软件自动化测试。
-
公开(公告)号：CN119597276A
公开(公告)日：2025-03-11
申请号：CN202411499068.9
申请日：2024-10-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种结合8114准则的同步数据流语言可信翻译方法，属于代码生成领域。本发明通过对Lustre源代码词法、语法分析和翻译等步骤获取Ctemp中间语言的抽象语法树；遍历Ctemp抽象语法树，针对树结构中的语句中控制流语句、赋值语句设计翻译方法；遍历语句中的表达式，设计添加强制转化的翻译方法，确保语句在语义正确的同时，不存在隐式类型转化；扩展了关于Cltype中类型关系的定理，用于验证类型操作；扩展关于Ctemp语义的强制转化和二元操作的定理，实现语义形式化验证。本发明大幅度提升代码生成工具所生成的C代码对GJB 8114规范的满足性。
-
公开(公告)号：CN119440514A
公开(公告)日：2025-02-14
申请号：CN202411498655.6
申请日：2024-10-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于AADL模型的嵌入式操作系统平台相关代码生成方法，属于自动代码生成领域。本发明通过编写算法实现对AADL模型进行遍历获取、解析，设计从AADL模型到嵌入式操作系统代码的映射规则，将模型中所述组件、接口、性能属性及组件间连接信息自动转换为嵌入式操作系统平台代码。本发明的方法不仅能够自动生成代码，降低人工编写的复杂度和不确定性，还能提高代码的可靠性和平台适配性，为航天领域嵌入式系统的开发提供了一个强有力的工具。
-
-
-
-
-
-
-
-
-
Search Results
65
records
(took 0.04 seconds)
