-
公开(公告)号：CN114610614A
公开(公告)日：2022-06-10
申请号：CN202210228824.9
申请日：2022-03-08
Applicant: 北京京航计算通讯研究所
Abstract: 一种可编程逻辑器件封装模块的安全性测试方法和系统，方法包括以下步骤：针对所述封装模块的每个功能，采用软件故障树分析法和软件失效模式与影响分析法进行故障分析，得到每个功能对应的综合故障树；以每个所述综合故障树中的最小割集为约束条件构建测试用例，所有测试用例构成测试用例集合；采用遗传算法从所述测试用例集合中选择最优测试用例组，所述最优测试用例组对所述可编程逻辑器件的封装模块进行测试，得到所述可编程逻辑器件的封装模块的安全性测试结果。
-
公开(公告)号：CN114064487B
公开(公告)日：2024-09-24
申请号：CN202111369107.X
申请日：2021-11-18
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36 , G06N3/045 , G06N3/0442
Abstract: 本发明公开了一种代码缺陷检测方法，属于软件测试技术领域，能够提高代码缺陷检测的准确率。方法包括：根据预设切片准则对待识别代码进行切片处理，得到待检测切片代码段；输入所述待检测切片代码段至预设代码缺陷检测模型，将所述预设代码缺陷检测模型的输出结果作为代码缺陷检测结果；其中，所述预设代码缺陷检测模型是通过对训练阶段的各切片代码段中的语句语义向量和语句类型向量进行分段学习，得到的网络模型。
-
公开(公告)号：CN115712576A
公开(公告)日：2023-02-24
申请号：CN202211510958.6
申请日：2022-11-29
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36 , G06F16/35 , G06F40/289
Abstract: 本发明属于软件测试领域，涉及一种基于开源软件缺陷问题的软件测试类型推荐方法和系统。通过获取开源软件的缺陷列表，构建正交缺陷分类模型确定软件缺陷的正交缺陷类别，基于统计特征进行软件缺陷关键词抽取，构建了开源软件和其对应的软件缺陷、软件缺陷类别、软件缺陷关键词和软件测试类型的异构关联图，使用随机游走算法计算从软件节点游走到测试类型节点的概率，将该概率作为软件测试类型重要性权重，从而实现自动化的软件测试类型推荐，提升软件测试过程的效率和质量。
-
公开(公告)号：CN118860868A
公开(公告)日：2024-10-29
申请号：CN202410880447.6
申请日：2024-07-02
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种面向嵌入式软件的测试设备资源自动规划方法，属于嵌入式软件测试技术领域。该方法包括以下步骤：将被测系统信号与测试设备信号相映射得到匹配评价矩阵；基于匹配评价矩阵建立测试设备资源规划目标函数，基于测试设备资源规划目标函数及其约束条件建立多目标约束优化测试设备资源规划模型；基于所述多目标约束优化测试设备资源规划模型建立适应度值函数，通过粒子群算法求解得到测试设备资源的最优规划。该方法基于嵌入式软件系统需求描述和测试设备描述建立测试设备资源规划的多目标约束优化模型，通过求解该模型自动得到测试设备资源的最优规划，提高了规划最优测试设备资源的速度，从而提高了嵌入式软件的测试效率。
-
公开(公告)号：CN118332492A
公开(公告)日：2024-07-12
申请号：CN202410413999.6
申请日：2024-04-08
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种基于多源融合的漏洞知识图谱构建方法，属于知识图谱技术领域。包括：采集多源漏洞数据，对多源漏洞数据解析和合并得到合并后的漏洞基本信息表；对合并后的漏洞基本信息表解析建立漏洞详细信息表；基于漏洞详细信息表对漏洞进行有效性分类；基于漏洞基本信息表、漏洞详细信息表构建漏洞实体网络，基于漏洞实体网络、软件项目依赖文件构建软件依赖实体网络，基于所述漏洞实体网络、软件依赖实体网络及其关联关系构建漏洞知识图谱。该方法通过融合多源平台的漏洞数据扩充漏洞知识，通过漏洞实体网络、软件依赖实体网络以及它们之间的关联关系构建漏洞知识图谱，提高了漏洞知识的丰富度和实用性，为全面检测软件安全风险提供了基础。
-
Patent Agency Ranking
公开(公告)号：CN114064487A
公开(公告)日：2022-02-18
申请号：CN202111369107.X
申请日：2021-11-18
Applicant: 北京京航计算通讯研究所
Abstract: 本发明公开了一种代码缺陷检测方法，属于软件测试技术领域，能够提高代码缺陷检测的准确率。方法包括：根据预设切片准则对待识别代码进行切片处理，得到待检测切片代码段；输入所述待检测切片代码段至预设代码缺陷检测模型，将所述预设代码缺陷检测模型的输出结果作为代码缺陷检测结果；其中，所述预设代码缺陷检测模型是通过对训练阶段的各切片代码段中的语句语义向量和语句类型向量进行分段学习，得到的网络模型。
-
公开(公告)号：CN118860867A
公开(公告)日：2024-10-29
申请号：CN202410880445.7
申请日：2024-07-02
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种测试资源自动规划的测试系统，属于嵌入式软件测试技术领域。包括：控制器，用于基于被测系统的需求描述和测试设备描述建立每个被测系统信号对应的测试设备资源规划目标函数及其约束条件进而求解得到测试设备资源的最优规划，将所述最优规划发送给仿真机；仿真机，用于按所述最优规划对测试设备进行配置，并与被测系统UUT相连；还用于将UUT信号的测试结果发送给控制器；测试设备，用于通过仿真机对UUT信号进行测试。该系统基于嵌入式软件系统需求描述和测试设备描述建立测试设备资源规划的多目标约束优化模型，通过求解该模型自动得到测试设备资源的最优规划，提高了规划最优测试设备资源的速度，从而提高了嵌入式软件的测试效率。
-
公开(公告)号：CN114610614B
公开(公告)日：2024-07-16
申请号：CN202210228824.9
申请日：2022-03-08
Applicant: 北京京航计算通讯研究所
Abstract: 一种可编程逻辑器件封装模块的安全性测试方法和系统，方法包括以下步骤：针对所述封装模块的每个功能，采用软件故障树分析法和软件失效模式与影响分析法进行故障分析，得到每个功能对应的综合故障树；以每个所述综合故障树中的最小割集为约束条件构建测试用例，所有测试用例构成测试用例集合；采用遗传算法从所述测试用例集合中选择最优测试用例组，所述最优测试用例组对所述可编程逻辑器件的封装模块进行测试，得到所述可编程逻辑器件的封装模块的安全性测试结果。
-
公开(公告)号：CN115757153A
公开(公告)日：2023-03-07
申请号：CN202211476761.5
申请日：2022-11-23
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于嵌入式软件测试领域，涉及一种基于状态机的测试用例生成方法和系统，包括使用数据协议描述语言DPD对接口协议进行描述；基于DPD所描述的接口协议信息和被测系统的软件设计说明书构建状态机并用状态图表示；基于所述状态图定义状态变迁矩阵；基于所述状态变迁矩阵，使用完全变迁路径覆盖算法生成初始测试用例；使用改进的AETG算法对所述初始测试用例进行覆盖率优化得到完整测试用例集。本发明利用自定义数据协议描述语言DPD，基于根据状态机的状态转移图自动生成测试用例，并经过覆盖率优化达到高覆盖率、低重复率的高质量测试用例集。
-
公开(公告)号：CN118312625A
公开(公告)日：2024-07-09
申请号：CN202410414001.4
申请日：2024-04-08
Applicant: 北京京航计算通讯研究所
IPC: G06F16/36 , G06F21/57 , G06F16/951 , G06F18/24 , G06F16/958
Abstract: 本发明涉及一种漏洞知识图谱的构建方法，属于知识图谱技术领域。包括：对采集的漏洞数据解析建立漏洞基本信息表和漏洞详细信息表；基于漏洞详细信息表对漏洞进行有效性分类；基于漏洞基本信息表、漏洞详细信息表构建漏洞实体网络，基于漏洞实体网络、软件项目依赖文件构建软件依赖实体网络，基于所述漏洞实体网络、软件依赖实体网络及其关联关系构建漏洞知识图谱；定期对漏洞基本信息表、漏洞详细信息表、漏洞有效性分类结果、漏洞实体网络、软件依赖实体网络、漏洞知识图谱进行更新。该方法通过漏洞实体网络、软件依赖实体网络以及它们之间的关联关系构建漏洞知识图谱，提高了漏洞知识的丰富度和实用性，为全面检测软件安全风险提供了基础。
-
-
-
-
-
-
-
-
-
Search Results
13
records
(took 0.03 seconds)
