-
公开(公告)号:CN113703773B
公开(公告)日:2022-07-19
申请号:CN202110988539.2
申请日:2021-08-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/41 , G06F40/216 , G06F40/284
Abstract: 本发明涉及一种基于NLP的二进制代码相似性比对方法,属于代码比对领域。本发明利用代码中的跳转标识将汇编样本切分多个函数块,并利用NLP的方式将函数代码映射成函数特征向量,同时设计了以函数为基本分析单元的工程相似计算方法,从而完成代码溯源。该方法能满足二进制代码相似性对比中相似度检测的需求,且有着较高的准确率和召回率。
-
公开(公告)号:CN111813670B
公开(公告)日:2022-06-24
申请号:CN202010635114.9
申请日:2020-07-03
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种非侵入式MC/DC覆盖率统计分析方法,其中,包括:建立嵌入式软件虚拟化仿真运行环境;循环读取源码并通过分析去除源码中的注释部分,并解析源文件分支信息和逻辑表达式信息;获取逻辑表达式的目标码信息;仿真运行,读取指令、翻译指令以及执行当前指令,记录MC/DC覆盖率,并将覆盖率信息以特定的格式写入到指定路径的文件中;进行MC/DC覆盖率执行结果判读及反馈。本发明通过嵌入式软件虚拟化仿真运行环境,分析不同处理器架构下目标文件的类型和调试信息格式的类型并解析源文件分支信息和逻辑表达式信息,在此基础上获取逻辑表达式对应的目标码信息,并在仿真运行过程中获取MC/DC覆盖率信息,能够满足多种场景下MC/DC覆盖率统计分析的需求。
-
公开(公告)号:CN113703773A
公开(公告)日:2021-11-26
申请号:CN202110988539.2
申请日:2021-08-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/41 , G06F40/216 , G06F40/284
Abstract: 本发明涉及一种基于NLP的二进制代码相似性比对方法,属于代码比对领域。本发明利用代码中的跳转标识将汇编样本切分多个函数块,并利用NLP的方式将函数代码映射成函数特征向量,同时设计了以函数为基本分析单元的工程相似计算方法,从而完成代码溯源。该方法能满足二进制代码相似性对比中相似度检测的需求,且有着较高的准确率和召回率。
-
公开(公告)号:CN107972582A
公开(公告)日:2018-05-01
申请号:CN201610922333.9
申请日:2016-10-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明公开了一种全高清环车俯视显示系统,其中,包括:图像采集模块、图像传输模块以及图像处理模块;该图像采集模块用于将车辆的多方向图像进行采集;该图像传输模块用于对多方向图像进行编码并进行传输,并在传输后进行解码;该图像处理模块用于将该图像传输模块传输的多方向图像进行鱼眼失真校正、投影变换和图像拼接,并处理为俯视结果图像。本发明的全高清环车俯视显示系统可有效消除驾驶盲区,为驾驶员提供环车俯视图像,辅助驾驶员顺利通过狭窄道路环境、正确完成泊车等操作,提高驾驶安全性。
-
公开(公告)号:CN118916011A
公开(公告)日:2024-11-08
申请号:CN202411111184.9
申请日:2024-08-14
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于Eclipse插件进行代码远程构建的方法,属于代码远程构建技术领域。本发明的Eclipse插件包括:五个模块:设置模块、工程管理模块、私有依赖库管理模块、构建信息配置模块和构建执行及过程回显模块。本发明的Eclipse插件与代码远程构建系统配合使用,通过在本发明的Eclipse插件进行配置,实现在集成开发环境直接连接代码远程构建系统进行代码远程构建,不需要再切换到网页,能够简化操作,使开发过程更连贯,提高开发效率。
-
公开(公告)号:CN116450153B
公开(公告)日:2023-11-24
申请号:CN202310461867.6
申请日:2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种容器化仿真平台快速部署方法,属于容器化仿真平台设计领域。本发明采用命令行模式,基于基础镜像配置DSP仿真环境、动态链接库、运行依赖环境、环境变量等,构建DSP仿真环境容器;其次,将容器层保存成镜像文件,创建DSP仿真环境镜像包,构建完整的运行环境镜像;再次,基于Dockerfile配置文件通过build命令构建多平台下的镜像tar包,建立运行环境与执行命令的调用关系;然后,将DSP仿真平台镜像包推送到远程云镜像仓库中,方便镜像管理与使用;最后,从远程镜像仓库中拉取仿真平台镜像,进行仿真平台部署运行,实现DSP仿真平台快速部署。本发明有效的简化仿真平台部署过程,进而提升嵌入式仿真环境多平台部署效率。
-
公开(公告)号:CN116467211B
公开(公告)日:2023-09-26
申请号:CN202310461935.9
申请日:2023-04-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于数字化仿真环境的系统级测试验证方法,属于嵌入式软件测试领域。本发明通过数字化仿真技术对实装运行环境进行模拟,实现在实验室环境中进行系统级测试验证。基于数字化仿真环境实现加载配置项软件、设计并运行测试用例、模拟接口数据、进行故障和异常模拟、统计接口覆盖信息等系统级测试验证工作。本发明降低了系统级测试对实装环境和半实物环境的依赖,可在实验室环境中开展有效的系统级测试验证,从而降低了测试成本并提高了测试的充分性。
-
公开(公告)号:CN116431518B
公开(公告)日:2023-09-26
申请号:CN202310461957.5
申请日:2023-04-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于仿真平台的多层级、多模式软件故障注入方法,属于嵌入式软件测试领域。本发明通过修改仿真平台来达到故障注入的效果,仿真平台具有可控性强的特点,故障注入灵活、精度高。该方法首先采用虚拟化技术实现仿真平台构建,包括处理器、外设、总线等模型;其次,构建故障注入案例库,包括处理器平台级、接口设备级、通信协议级等层级,统一进行故障案例设计和管理;然后,配置故障注入参数,执行故障注入,包括基于时间、基于PC、基于地址等注入方式;最后,采集故障案例注入后的执行信息,生成代码覆盖率报告。本发明提高嵌入式软件测试充分性,保障软件质量和可靠性。
-
公开(公告)号:CN116431103B
公开(公告)日:2023-09-26
申请号:CN202310462913.4
申请日:2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种面向嵌入式软件的数字化DevOps平台设计方法,属于嵌入式软件测试领域。本发明在DevOps技术的基础上引入数字化仿真技术,采用数字化仿真技术对嵌入式软件的硬件环境进行仿真,包括处理器、外设、总线等;其次,基于数字化仿真平台实现嵌入式软件开发和测试,包括代码迭代开发、单元测试、配置项测试、运行监测等;最后,构建嵌入式DevOps工作流,将数字化仿真环境作为基础设施集成到DevOps的工具链条中,实现嵌入式软件的自动化编译构建、自动化部署、自动化测试、测试结果采集等。本发明提升了嵌入式软件的开发效率,保证了软件质量,降低了研制成本和周期。
-
公开(公告)号:CN116149624B
公开(公告)日:2023-09-26
申请号:CN202310185399.4
申请日:2023-02-21
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于扩展Lustre语言的模型度量方法,属于软件度量领域。本发明根据扩展Lustre语言设计了模型结构树,通过可视化建模可生成工程对应的模型结构树;设计了预定义的度量元,包括模型对象度量、操作符对象度量、包对象度量以及状态机对象度量等四个方面,并根据度量元设计了度量元数据字典;根据不同的度量元设计不同的度量值计算方式;在OnModel建模平台中成功增加了基于扩展Lustre语言的模型度量模块,并通过表格进行度量结果展示。本发明基于扩展Lustre语言结构进行模型度量,该方法根据扩展Lustre语言设计了模型结构树以及预定义的度量元,针对不同的度量元设计了不同的度量值计算方式,最终实现了在OnModel建模平台中应用模型度量,并展示度量结果。
-
-
-
-
-
-
-
-
-