-
公开(公告)号：CN118535206A
公开(公告)日：2024-08-23
申请号：CN202410347061.9
申请日：2024-03-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于配置的嵌入式软件外部仿真设备构建方法，属于嵌入式软件仿真测试技术领域。该方法通过定义软件接口协议和交互模型文档规范，配置软件接口协议文档和软件交互模型文档，构建请求数据帧解析器、命令帧应答器、响应数据帧编码器和命令帧记录器，实现基于接口的嵌入式软件外部设备输入、输出和交互行为仿真，支持测试数据采集、存储和分析。
-
公开(公告)号：CN114995880B
公开(公告)日：2024-04-05
申请号：CN202210566698.8
申请日：2022-05-23
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/75
Abstract: 本发明涉及一种基于SimHash的二进制代码相似性比对方法，属于代码比对领域。本发明对二进制代码反汇编及汇编代码预处理，对汇编代码标准化处理，计算汇编代码SimHash值，构建代码特征关系库构架，基于文本相似性的二进制代码快速定位。本发明具有以下优点：本发明提出的方案，能够在兼顾对比效率的同时，保证二进制代码相似性比对的效率；本发明采用基于SimHash的文本对比方法，能够提高二进制代码相似性比对的效率。
-
公开(公告)号：CN115017100A
公开(公告)日：2022-09-06
申请号：CN202210556356.8
申请日：2022-05-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F16/13 , G06F16/14 , G06F16/182 , G06F8/75
Abstract: 本发明涉及一种基于ElasticSearch搜索引擎的软件代码溯源方法，属于软件代码溯源技术领域。该代码溯源方法通过设计索引，代码特征提取，构建起代码特征索引库，为代码溯源提供溯源样本库；通过代码特征提取，代码特征搜索比对和代码相似度计算，完成软件代码溯源。该方法主要是利用ElasticSearch搜索引擎强大的索引和实时搜索能力，以代码文件为单位，在海量软件样本库中快速溯源相似代码，并计算代码相似度，提高代码相似性比对效率，解决海量数据条件下代码快速溯源问题。
-
公开(公告)号：CN114995831A
公开(公告)日：2022-09-02
申请号：CN202210639305.1
申请日：2022-06-07
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/52
Abstract: 本发明涉及一种基于动态链接符号表的ELF文件相似性比对方法，属于软件二进制代码溯源分析技术领域。该比对方法通过ELF文件解析，提取并比对ELF文件动态链接符号表，完成了ELF文件相似性比对和相似度计算。该方法主要是为Unix/Linux操作系统下可执行文件、目标代码、共享库等ELF文件溯源提供技术手段，具有良好的鲁棒性、较高的准确性和比对效率，同时兼容32位和64位ELF文件。
-
公开(公告)号：CN108845905B
公开(公告)日：2021-09-10
申请号：CN201810678974.3
申请日：2018-06-27
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种适用于大系统的通讯协议快速并行测试方法，包括：将大系统划分为多个分系统和设备，将单个分系统或单个设备设定为一个基本通讯单位；对每个基本通讯单位所使用的通讯协议进行规格化；每个基本通讯单元的每一个命令对应一个子文件；遍历文件，读取基本通讯单位的名称，根据规格化协议中的该基本通讯单位所链接的设备，构建出大系统的链接图；对程序实现的协议和文档描述的协议进行对比，对依据程序代码实现进行规格化通讯协议和依据文档描述进行规格化的通讯协议进行对比；以文档描述协议为依据，对与基本通讯单位相链接的协议进行通讯协议一致性对比，如果有不一致的地方，则进行提示，系统的链接图上显示辅助信息。
-
Patent Agency Ranking
公开(公告)号：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: 本发明涉及一种基于系统特征状态的软件测试充分性度量方法，涉及软件测试技术领域。本发明可以定量的评估系统测试充分性，并指导如何提高测试充分性。只要获取到系统之间的通讯协议格式，并能够采集到通讯数据，就可以采用此方法指导开展系统级测试，方法的使用对系统的复杂性程度不敏感，可以支持大型复杂系统的测试。可以直观指示出哪些软件的关键特征状态没有被覆盖。类比于白盒测试中的语句覆盖、分支覆盖、路径覆盖，该方法可以定义为特征状态覆盖、特征状态组合覆盖等多级别的测试覆盖率统计，适应不同安全可靠要求的系统测试终止条件。
-
公开(公告)号：CN108845905A
公开(公告)日：2018-11-20
申请号：CN201810678974.3
申请日：2018-06-27
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种适用于大系统的通讯协议快速并行测试方法，包括：将大系统划分为多个分系统和设备，将单个分系统或单个设备设定为一个基本通讯单位；对每个基本通讯单位所使用的通讯协议进行规格化；每个基本通讯单元的每一个命令对应一个子文件；遍历文件，读取基本通讯单位的名称，根据规格化协议中的该基本通讯单位所链接的设备，构建出大系统的链接图；对程序实现的协议和文档描述的协议进行对比，对依据程序代码实现进行规格化通讯协议和依据文档描述进行规格化的通讯协议进行对比；以文档描述协议为依据，对与基本通讯单位相链接的协议进行通讯协议一致性对比，如果有不一致的地方，则进行提示，系统的链接图上显示辅助信息。
-
公开(公告)号：CN118312367A
公开(公告)日：2024-07-09
申请号：CN202410260318.7
申请日：2024-03-07
Applicant: 北京计算机技术及应用研究所
Inventor： 陶金龙
Abstract: 本发明涉及一种面向接口测试的嵌入式软件接口协议描述方法，属于嵌入式软件接口测试技术领域。该方法通过定义软件接口协议配置元素及其规范，形成接口协议文档规范，支持请求接口协议文档和响应接口协议文档配置及有效性校验，可以为嵌入式软件接口测试激励或响应数据自动生成，以及输出数据自动解析提供基于配置的解决方案。
-
-
-
-
-
-
-
-
-
Search Results
41
records
(took 0.042 seconds)
