-
公开(公告)号:CN118312625A
公开(公告)日:2024-07-09
申请号:CN202410414001.4
申请日:2024-04-08
Applicant: 北京京航计算通讯研究所
IPC: G06F16/36 , G06F21/57 , G06F16/951 , G06F18/24 , G06F16/958
Abstract: 本发明涉及一种漏洞知识图谱的构建方法,属于知识图谱技术领域。包括:对采集的漏洞数据解析建立漏洞基本信息表和漏洞详细信息表;基于漏洞详细信息表对漏洞进行有效性分类;基于漏洞基本信息表、漏洞详细信息表构建漏洞实体网络,基于漏洞实体网络、软件项目依赖文件构建软件依赖实体网络,基于所述漏洞实体网络、软件依赖实体网络及其关联关系构建漏洞知识图谱;定期对漏洞基本信息表、漏洞详细信息表、漏洞有效性分类结果、漏洞实体网络、软件依赖实体网络、漏洞知识图谱进行更新。该方法通过漏洞实体网络、软件依赖实体网络以及它们之间的关联关系构建漏洞知识图谱,提高了漏洞知识的丰富度和实用性,为全面检测软件安全风险提供了基础。
-
公开(公告)号:CN112463641A
公开(公告)日:2021-03-09
申请号:CN202011487500.4
申请日:2020-12-16
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种用于软件缺陷核查的故障模式集构建方法及系统;其中方法包括如下步骤:对软件系统的各配置项软件进行分类,以确定各配置软件的类型;根据各类型的各配置项软件的执行任务方式,得到各配置项软件的功能模式;获取与软件系统相关的软件的历史缺陷数据,经过数据处理后,建立故障数据集合;结合所述各配置项软件的功能模式和故障数据集合挖掘与功能模式对应的故障模式,形成故障模式集。本发明从软件的功能层面有效预测软件的缺陷,可有效解决状态爆炸的问题,达到优化测试资源分配和提高软件产品质量的目的。
-
公开(公告)号:CN118860868A
公开(公告)日:2024-10-29
申请号:CN202410880447.6
申请日:2024-07-02
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种面向嵌入式软件的测试设备资源自动规划方法,属于嵌入式软件测试技术领域。该方法包括以下步骤:将被测系统信号与测试设备信号相映射得到匹配评价矩阵;基于匹配评价矩阵建立测试设备资源规划目标函数,基于测试设备资源规划目标函数及其约束条件建立多目标约束优化测试设备资源规划模型;基于所述多目标约束优化测试设备资源规划模型建立适应度值函数,通过粒子群算法求解得到测试设备资源的最优规划。该方法基于嵌入式软件系统需求描述和测试设备描述建立测试设备资源规划的多目标约束优化模型,通过求解该模型自动得到测试设备资源的最优规划,提高了规划最优测试设备资源的速度,从而提高了嵌入式软件的测试效率。
-
公开(公告)号:CN118332492A
公开(公告)日:2024-07-12
申请号:CN202410413999.6
申请日:2024-04-08
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种基于多源融合的漏洞知识图谱构建方法,属于知识图谱技术领域。包括:采集多源漏洞数据,对多源漏洞数据解析和合并得到合并后的漏洞基本信息表;对合并后的漏洞基本信息表解析建立漏洞详细信息表;基于漏洞详细信息表对漏洞进行有效性分类;基于漏洞基本信息表、漏洞详细信息表构建漏洞实体网络,基于漏洞实体网络、软件项目依赖文件构建软件依赖实体网络,基于所述漏洞实体网络、软件依赖实体网络及其关联关系构建漏洞知识图谱。该方法通过融合多源平台的漏洞数据扩充漏洞知识,通过漏洞实体网络、软件依赖实体网络以及它们之间的关联关系构建漏洞知识图谱,提高了漏洞知识的丰富度和实用性,为全面检测软件安全风险提供了基础。
-
公开(公告)号:CN112463641B
公开(公告)日:2021-08-31
申请号:CN202011487500.4
申请日:2020-12-16
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种用于软件缺陷核查的故障模式集构建方法及系统;其中方法包括如下步骤:对软件系统的各配置项软件进行分类,以确定各配置软件的类型;根据各类型的各配置项软件的执行任务方式,得到各配置项软件的功能模式;获取与软件系统相关的软件的历史缺陷数据,经过数据处理后,建立故障数据集合;结合所述各配置项软件的功能模式和故障数据集合挖掘与功能模式对应的故障模式,形成故障模式集。本发明从软件的功能层面有效预测软件的缺陷,可有效解决状态爆炸的问题,达到优化测试资源分配和提高软件产品质量的目的。
-
公开(公告)号:CN118860867A
公开(公告)日:2024-10-29
申请号:CN202410880445.7
申请日:2024-07-02
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种测试资源自动规划的测试系统,属于嵌入式软件测试技术领域。包括:控制器,用于基于被测系统的需求描述和测试设备描述建立每个被测系统信号对应的测试设备资源规划目标函数及其约束条件进而求解得到测试设备资源的最优规划,将所述最优规划发送给仿真机;仿真机,用于按所述最优规划对测试设备进行配置,并与被测系统UUT相连;还用于将UUT信号的测试结果发送给控制器;测试设备,用于通过仿真机对UUT信号进行测试。该系统基于嵌入式软件系统需求描述和测试设备描述建立测试设备资源规划的多目标约束优化模型,通过求解该模型自动得到测试设备资源的最优规划,提高了规划最优测试设备资源的速度,从而提高了嵌入式软件的测试效率。
-
-
-
-
-