-
公开(公告)号：CN114064487B
公开(公告)日：2024-09-24
申请号：CN202111369107.X
申请日：2021-11-18
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36 , G06N3/045 , G06N3/0442
Abstract: 本发明公开了一种代码缺陷检测方法，属于软件测试技术领域，能够提高代码缺陷检测的准确率。方法包括：根据预设切片准则对待识别代码进行切片处理，得到待检测切片代码段；输入所述待检测切片代码段至预设代码缺陷检测模型，将所述预设代码缺陷检测模型的输出结果作为代码缺陷检测结果；其中，所述预设代码缺陷检测模型是通过对训练阶段的各切片代码段中的语句语义向量和语句类型向量进行分段学习，得到的网络模型。
-
公开(公告)号：CN111124790B
公开(公告)日：2023-01-10
申请号：CN201911243722.9
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/26
Abstract: 本发明涉及一种可重用仿真接口模型的生成系统，属于可编程逻辑器件软件的测试与验证领域。所述系统包括：所述信息获取模块用于获取外部接口器件手册信息，将所述信息输出至参数提取模块；所述参数提取模块依据输入信息，分析并提取可扩展参数；所述结构体生成模块用于生成仿真接口模型结构体；所述实体生成模块用于生成仿真接口模型实体；所述组合封装模块用于将所述仿真接口模型结构体以及仿真接口模型结构体组合封装，生成可重用仿真接口模型。与现有技术相比，本发明形成的仿真接口模型具有可重用特性，对可扩展参数进行设置后，可用于其他可编程逻辑器件软件的仿真平台，提高可编程逻辑器件软件仿真平台的搭建效率。
-
公开(公告)号：CN112433756A
公开(公告)日：2021-03-02
申请号：CN202011329523.2
申请日：2020-11-24
Applicant: 北京京航计算通讯研究所
IPC: G06F8/75 , G06F16/901 , G06F40/284 , G06F40/30 , G06K9/62
Abstract: 本发明涉及一种基于加权递归自编码器的快速代码克隆检测方法及装置，属于代码克隆技术领域，解决了现有的代码克隆技术检测精度较差且效率较低的问题。方法包括：获取待检测代码数据集，对待检测代码数据集进行预处理，得到待检测代码数据集中每一代码对应的二叉树；基于二叉树和加权递归自编码器获得待检测代码数据集中每一代码对应的最终向量，并基于每一代码对应的最终向量得到最终向量集合；基于最终向量集合构建导航展开图，并根据导航展开图对最终向量集合中的任意两个最终向量进行检测，得到代码克隆对。实现了代码克隆对的快速检测，提高了检测效率和精度。
-
公开(公告)号：CN109408392A
公开(公告)日：2019-03-01
申请号：CN201811314440.9
申请日：2018-11-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件持续集成与软件工程技术领域，具体涉及一种基于持续集成技术的软件集成测试方法，包括：接收外部输入的各类参数信息；提供代码推送、代码推送标识生成；检测推送标识，查看代码是否有更新，同时读取输入的测试参数作为测试工具的运行参数，然后调用测试工具进行软件测试，在测试工具运行完成后将测试结果存储到指定位置；将测试工具生成的各种测试结果进行发布。该技术方案对软件测试工具进行集中化自动调度管理，可有效解决目前软件测试工具使用方式分散、使用过程繁琐、自动化程度低以及许可证冲突的问题。
-
公开(公告)号：CN109408391A
公开(公告)日：2019-03-01
申请号：CN201811314430.5
申请日：2018-11-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件持续集成与软件工程技术领域，具体涉及一种基于持续集成技术的软件集成测试系统，包括：测试参数设置模块，接收外部输入的各类参数信息；代码托管模块提供代码推送、代码推送标识生成；持续集成模块检测推送标识，查看代码是否有更新，同时读取输入的测试参数作为测试工具的运行参数，然后调用测试工具进行软件测试，在测试工具运行完成后将测试结果存储到指定位置；测试结果发布模块将测试工具生成的各种测试结果进行发布。该技术方案对软件测试工具进行集中化自动调度管理，可有效解决目前软件测试工具使用方式分散、使用过程繁琐、自动化程度低以及许可证冲突的问题。
-
Patent Agency Ranking
公开(公告)号：CN108153669A
公开(公告)日：2018-06-12
申请号：CN201711225458.7
申请日：2017-11-29
Applicant: 北京京航计算通讯研究所
Inventor： 郑金艳 , 张清 , 陈朋 , 安鹏伟 , 刘伟 , 魏伟波 , 孙文靖 , 康建涛 , 高晓琼 , 张依漪 , 孟琪 , 张骢 , 陈盼 , 季微微 , 李昂 , 马培培 , 李志刚 , 王赢超 , 李春静 , 王莹
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F11/3676 , G06F11/3688
Abstract: 本发明属于FPGA软件仿真测试技术领域，具体涉及一种应用时间轴配置方式实现FPGA软件仿真任务调度的方法。本发明将FPGA软件测试用例以任务调度的方式进行实现，以任务点的方式对任务调度进行配置。其中任务点布置在坐标轴上，该坐标轴是由横向器件和纵向时间组成的二维坐标轴，通过采用对坐标轴中每个目标按照时序要求配置任务点的方式，实现测试用例的系统化和时序化操作，进而提高FPGA软件仿真任务调度的系统配置能力，提高测试用例批处理能力。
-
公开(公告)号：CN108121657A
公开(公告)日：2018-06-05
申请号：CN201711224669.9
申请日：2017-11-29
Applicant: 北京京航计算通讯研究所
Inventor： 郑金艳 , 张清 , 陈朋 , 安鹏伟 , 刘伟 , 魏伟波 , 孙文靖 , 康建涛 , 高晓琼 , 张依漪 , 孟琪 , 张骢 , 陈盼 , 季微微 , 李昂 , 马培培 , 李志刚 , 王赢超 , 李春静 , 王莹
IPC: G06F11/36
Abstract: 本发明属于FPGA软件仿真测试技术领域，具体涉及一种基于系统模型的可编程逻辑器件软件仿真验证系统。与现有技术相比较，本发明通过实施上述技术方案，较好的解决了现有FPGA仿真测试中，需要测试人员逐行编辑代码模拟FPGA外围接口器件的问题。本系统自主研发并经过验证的FPGA外围接口函数封装在底层，上层模型对其进行调用和参数化配置，解决了需要人工模拟FPGA外围接口器件所带来的影响效率的问题和接口器件正确性和准确性的问题。
-
公开(公告)号：CN106886487A
公开(公告)日：2017-06-23
申请号：CN201510940269.2
申请日：2015-12-15
Applicant: 北京京航计算通讯研究所
Inventor： 姚可成 , 刘伟 , 孟伟 , 朱琳 , 杨楠 , 张哲 , 李卓 , 李丽华 , 张清 , 张国宇 , 宋悦 , 张玉 , 程海龙 , 李思 , 韩旭东 , 孙文靖 , 杨春霞 , 申璐 , 张磊 , 刘妍 , 李慧君 , 李晓伟
CPC classification number: G06F11/3692 , G06N3/02
Abstract: 本发明实施例公开了一种用于评价FPGA软件可靠性的方法，涉及FPGA软件可靠性评价技术，能够客观、准确的评价FPGA软件的可靠性。该方法包括输入训练样本数据；FPGA软件可靠性度量模型与BP神经网络结合，利用所述训练样本数据对神经网络进行训练，提取FPGA软件可靠性度量元，并确定该FPGA软件中每个度量元的值，输出可靠性评价结果，主要用于FPGA软件可靠性评价。
-
公开(公告)号：CN102854801A
公开(公告)日：2013-01-02
申请号：CN201210358760.0
申请日：2012-09-25
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于可编程逻辑器件测试技术领域，具体涉及一种基于分时复用的大数据量FPGA仿真测试方法，目的是为了解决大数据量FPGA仿真测试内存不足的问题，为了提高大数据量FPGA仿真测试的充分性。该方法包括减少仿真测试所使用的内存资源至仿真工具允许的容量围内的步骤；根据内存资源大小将需要测试的RAM数据分为若干部分的步骤；采用分时复用方式，分别对划分出的若干个RAM数据部分进行测试的步骤；在分时复用时，采用动态管理内存的方法，动态计算当前仿真测试所需要的系统内存空间并对内存进行分配和释放的步骤。
-
公开(公告)号：CN118312625A
公开(公告)日：2024-07-09
申请号：CN202410414001.4
申请日：2024-04-08
Applicant: 北京京航计算通讯研究所
IPC: G06F16/36 , G06F21/57 , G06F16/951 , G06F18/24 , G06F16/958
Abstract: 本发明涉及一种漏洞知识图谱的构建方法，属于知识图谱技术领域。包括：对采集的漏洞数据解析建立漏洞基本信息表和漏洞详细信息表；基于漏洞详细信息表对漏洞进行有效性分类；基于漏洞基本信息表、漏洞详细信息表构建漏洞实体网络，基于漏洞实体网络、软件项目依赖文件构建软件依赖实体网络，基于所述漏洞实体网络、软件依赖实体网络及其关联关系构建漏洞知识图谱；定期对漏洞基本信息表、漏洞详细信息表、漏洞有效性分类结果、漏洞实体网络、软件依赖实体网络、漏洞知识图谱进行更新。该方法通过漏洞实体网络、软件依赖实体网络以及它们之间的关联关系构建漏洞知识图谱，提高了漏洞知识的丰富度和实用性，为全面检测软件安全风险提供了基础。
-
-
-
-
-
-
-
-
-
Search Results
30
records
(took 0.082 seconds)
