-
公开(公告)号：CN116662157A
公开(公告)日：2023-08-29
申请号：CN202310461827.1
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种针对TMS320 C28X指令集模拟器的虚拟化调试系统设计方法，属于嵌入式软件测试领域。本发明首先实现调试器服务端设计，将调试器服务端与指令集模拟器进行集成适配，完成指令集模拟器的访存和执行控制；其次，实现客户端设计，在BFD中添加对TMS320 C28X的支持，实现寄存器列表，堆栈结构等内容，完成目标文件的加载解析和源代码分析；最后，通过远程访问的方式，实现客户端与服务端的通信，实现软件虚拟化调试。该方法实现的针对TMS320 C28X指令集模拟器的虚拟化调试系统，实现了源码、目标码的调试功能，提供了软件调试手段，提升了嵌入式软件研发效率，保障了软件质量。
-
公开(公告)号：CN116431518A
公开(公告)日：2023-07-14
申请号：CN202310461957.5
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于仿真平台的多层级、多模式软件故障注入方法，属于嵌入式软件测试领域。本发明通过修改仿真平台来达到故障注入的效果，仿真平台具有可控性强的特点，故障注入灵活、精度高。该方法首先采用虚拟化技术实现仿真平台构建，包括处理器、外设、总线等模型；其次，构建故障注入案例库，包括处理器平台级、接口设备级、通信协议级等层级，统一进行故障案例设计和管理；然后，配置故障注入参数，执行故障注入，包括基于时间、基于PC、基于地址等注入方式；最后，采集故障案例注入后的执行信息，生成代码覆盖率报告。本发明提高嵌入式软件测试充分性，保障软件质量和可靠性。
-
公开(公告)号：CN116089910A
公开(公告)日：2023-05-09
申请号：CN202310120266.9
申请日：2023-02-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F21/10 , G06F40/114 , G06F40/284 , G06F40/242
Abstract: 本发明涉及一种支持多种格式电子文档的密级检测方法，属于电子文档密级检测技术领域。本发明的方法通过直接对待测文档进行检测分析得到密级检测结果，定密责任人无需对文档全部内容进行审核，只需对基于本发明得到的检测结果进行复核便可得到文档的最后密级，能够减轻检查全部文本内容的工作负担，提升定密过程的效率；敏感词匹配过程通过模型自动检测，能够降低人工审核敏感词带来的不确定性，减少敏感词漏报情况。
-
公开(公告)号：CN115480872B
公开(公告)日：2023-04-28
申请号：CN202211114551.1
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种DSP C2812处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本本发明通过对123条指令集的仿真，提供DSP C2812嵌入式处理器软件的运行环境，为DSP C2812嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现DSP C2812处理器的指令集仿真，仿真精度高，仿真执行效率高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真DSP C2812处理器。
-
公开(公告)号：CN115421864B
公开(公告)日：2023-04-28
申请号：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
公开(公告)号：CN115480871A
公开(公告)日：2022-12-16
申请号：CN202211114544.1
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的TMS320C3X处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明针对TMS320C31、TMS320VC33等处理器，解决TMS320C31、TMS320VC33等处理器的虚拟化仿真问题。TMS320C3X指令架构共计包含128条指令集，通过对128条指令集的仿真，提供TMS320C3X处理器嵌入式处理器软件的运行环境，为TMS320C3X处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现TMS320C3X指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真TMS320C3X指令架构处理器。
-
公开(公告)号：CN113703773B
公开(公告)日：2022-07-19
申请号：CN202110988539.2
申请日：2021-08-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/41 , G06F40/216 , G06F40/284
Abstract: 本发明涉及一种基于NLP的二进制代码相似性比对方法，属于代码比对领域。本发明利用代码中的跳转标识将汇编样本切分多个函数块，并利用NLP的方式将函数代码映射成函数特征向量，同时设计了以函数为基本分析单元的工程相似计算方法，从而完成代码溯源。该方法能满足二进制代码相似性对比中相似度检测的需求，且有着较高的准确率和召回率。
-
公开(公告)号：CN114757163A
公开(公告)日：2022-07-15
申请号：CN202210356639.8
申请日：2022-03-31
Applicant: 北京计算机技术及应用研究所
IPC: G06F40/194 , G06F8/75
Abstract: 本发明涉及一种基于资源的PE文件相似性比对方法，属于软件二进制代码溯源分析技术领域。该比对方法通过PE文件解析，提取并比对PE文件中位图、图标、字符串等资源，完成了PE文件相似性比对和相似度计算。该方法主要是为Windows操作系统下可执行程序、动态链接库、ActiveX控件等PE格式二进制文件溯源提供技术手段，具有良好的鲁棒性、较高的准确性和可用性。
-
公开(公告)号：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的方式将函数代码映射成函数特征向量，同时设计了以函数为基本分析单元的工程相似计算方法，从而完成代码溯源。该方法能满足二进制代码相似性对比中相似度检测的需求，且有着较高的准确率和召回率。
-
-
-
-
-
-
-
-
-
Search Results
76
records
(took 0.045 seconds)
