-
公开(公告)号:CN114064486B
公开(公告)日:2023-07-18
申请号:CN202111368168.4
申请日:2021-11-18
Applicant: 北京京航计算通讯研究所
Abstract: 本发明公开了一种接口自动化测试方法,属于嵌入式软件测试技术领域,能够自动生成与接口协议字段相对应的预期结果,进而实现接口自动化测试方法。方法包括:确定与接口协议字段相对应的预编译文件;所述预编译文件是使用预编译语言编译的、且包括所述接口协议字段与测试测试用例的预期结果之间的映射关系;调用所述预编译文件,通过所述预编译文件输出所述预期结果,根据所述预期结果和测试所述测试用例的测试结果的比较结果,确定所述测试用例是否通过测试,并根据所述测试用例是否通过测试,确定接口测试是否通过。
-
公开(公告)号:CN111124897B
公开(公告)日:2023-01-10
申请号:CN201911244969.2
申请日:2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种可重用仿真接口模型的生成方法,属于可编程逻辑器件软件的测试与验证领域。所述方法包括以下步骤:步骤1:获取接口协议、时序及功能描述;步骤2:提取可扩展参数;步骤3:构建参数控制体;步骤4:实体描述;步骤5组合封装。与现有技术相比,本发明形成的仿真接口模型具有可重用特性,对可扩展参数进行设置后,可用于其他可编程逻辑器件软件的仿真平台,提高可编程逻辑器件软件仿真平台的搭建效率。
-
公开(公告)号:CN114064486A
公开(公告)日:2022-02-18
申请号:CN202111368168.4
申请日:2021-11-18
Applicant: 北京京航计算通讯研究所
Abstract: 本发明公开了一种接口自动化测试方法,属于嵌入式软件测试技术领域,能够自动生成与接口协议字段相对应的预期结果,进而实现接口自动化测试方法。方法包括:确定与接口协议字段相对应的预编译文件;所述预编译文件是使用预编译语言编译的、且包括所述接口协议字段与测试测试用例的预期结果之间的映射关系;调用所述预编译文件,通过所述预编译文件输出所述预期结果,根据所述预期结果和测试所述测试用例的测试结果的比较结果,确定所述测试用例是否通过测试,并根据所述测试用例是否通过测试,确定接口测试是否通过。
-
公开(公告)号:CN112433756B
公开(公告)日:2021-09-07
申请号:CN202011329523.2
申请日:2020-11-24
Applicant: 北京京航计算通讯研究所
IPC: G06F8/75 , G06F16/901 , G06F40/284 , G06F40/30 , G06K9/62
Abstract: 本发明涉及一种基于加权递归自编码器的快速代码克隆检测方法及装置,属于代码克隆技术领域,解决了现有的代码克隆技术检测精度较差且效率较低的问题。方法包括:获取待检测代码数据集,对待检测代码数据集进行预处理,得到待检测代码数据集中每一代码对应的二叉树;基于二叉树和加权递归自编码器获得待检测代码数据集中每一代码对应的最终向量,并基于每一代码对应的最终向量得到最终向量集合;基于最终向量集合构建导航展开图,并根据导航展开图对最终向量集合中的任意两个最终向量进行检测,得到代码克隆对。实现了代码克隆对的快速检测,提高了检测效率和精度。
-
公开(公告)号:CN118332492A
公开(公告)日:2024-07-12
申请号:CN202410413999.6
申请日:2024-04-08
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种基于多源融合的漏洞知识图谱构建方法,属于知识图谱技术领域。包括:采集多源漏洞数据,对多源漏洞数据解析和合并得到合并后的漏洞基本信息表;对合并后的漏洞基本信息表解析建立漏洞详细信息表;基于漏洞详细信息表对漏洞进行有效性分类;基于漏洞基本信息表、漏洞详细信息表构建漏洞实体网络,基于漏洞实体网络、软件项目依赖文件构建软件依赖实体网络,基于所述漏洞实体网络、软件依赖实体网络及其关联关系构建漏洞知识图谱。该方法通过融合多源平台的漏洞数据扩充漏洞知识,通过漏洞实体网络、软件依赖实体网络以及它们之间的关联关系构建漏洞知识图谱,提高了漏洞知识的丰富度和实用性,为全面检测软件安全风险提供了基础。
-
公开(公告)号:CN114064487A
公开(公告)日:2022-02-18
申请号:CN202111369107.X
申请日:2021-11-18
Applicant: 北京京航计算通讯研究所
Abstract: 本发明公开了一种代码缺陷检测方法,属于软件测试技术领域,能够提高代码缺陷检测的准确率。方法包括:根据预设切片准则对待识别代码进行切片处理,得到待检测切片代码段;输入所述待检测切片代码段至预设代码缺陷检测模型,将所述预设代码缺陷检测模型的输出结果作为代码缺陷检测结果;其中,所述预设代码缺陷检测模型是通过对训练阶段的各切片代码段中的语句语义向量和语句类型向量进行分段学习,得到的网络模型。
-
公开(公告)号:CN112559264B
公开(公告)日:2021-08-06
申请号:CN202011423776.6
申请日:2020-12-08
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种基于UVM的验证平台实现FPGA通用串口的仿真测试方法,属于仿真测试技术领域,解决了现有的FPGA通用串口的仿真测试方法周期较长、测试质量不稳定且测试效率较低的问题。方法包括;获得包含验证平台的底层模块的testbench测试平台,并基于testbench测试平台生成模板文件;构建验证平台的人机界面可执行程序;运行验证平台的人机界面可执行程序,并基于验证平台的人机界面调用模板文件进行FPGA通用串口的仿真测试,得到仿真测试结果,实现了FPGA通用串口的仿真测试,提高了测试效率,保证了测试质量。
-
公开(公告)号:CN114610614B
公开(公告)日:2024-07-16
申请号:CN202210228824.9
申请日:2022-03-08
Applicant: 北京京航计算通讯研究所
Abstract: 一种可编程逻辑器件封装模块的安全性测试方法和系统,方法包括以下步骤:针对所述封装模块的每个功能,采用软件故障树分析法和软件失效模式与影响分析法进行故障分析,得到每个功能对应的综合故障树;以每个所述综合故障树中的最小割集为约束条件构建测试用例,所有测试用例构成测试用例集合;采用遗传算法从所述测试用例集合中选择最优测试用例组,所述最优测试用例组对所述可编程逻辑器件的封装模块进行测试,得到所述可编程逻辑器件的封装模块的安全性测试结果。
-
公开(公告)号:CN112559264A
公开(公告)日:2021-03-26
申请号:CN202011423776.6
申请日:2020-12-08
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种基于UVM的验证平台实现FPGA通用串口的仿真测试方法,属于仿真测试技术领域,解决了现有的FPGA通用串口的仿真测试方法周期较长、测试质量不稳定且测试效率较低的问题。方法包括;获得包含验证平台的底层模块的testbench测试平台,并基于testbench测试平台生成模板文件;构建验证平台的人机界面可执行程序;运行验证平台的人机界面可执行程序,并基于验证平台的人机界面调用模板文件进行FPGA通用串口的仿真测试,得到仿真测试结果,实现了FPGA通用串口的仿真测试,提高了测试效率,保证了测试质量。
-
公开(公告)号:CN112214399A
公开(公告)日:2021-01-12
申请号:CN202010974385.7
申请日:2020-09-16
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于软件缺陷检测领域,具体涉及一种基于序列模式匹配的API误用缺陷检测系统。本发明不分析API使用规约,而是根据已经发现的API误用缺陷实例,结合补丁文件中缺陷修复前后的代码信息,刻画API误用模式,然后在目标被测软件中利用改进的AC算法搜索符合误用模式的API调用序列,从而检测出相似缺陷。相比基于规约的检测方法,本发明方案有效规避了缺陷检测准确度依赖于规约描述准确性,以及部分API规约本身自带缺陷等问题。提高了API误用缺陷检测的准确度。
-
-
-
-
-
-
-
-
-