公开(公告)号：CN114610614B

公开(公告)日：2024-07-16

申请号：CN202210228824.9

申请日：2022-03-08

Applicant: 北京京航计算通讯研究所

Inventor： 王嬴超 ,  陈俊英 ,  刘伟 ,  安鹏伟 ,  赵菲 ,  陈朋 ,  邢喜旺 ,  张榕 ,  吴俊爽 ,  季微微 ,  李春静 ,  曲天润 ,  梁霄 ,  闫宇航

IPC: G06F11/36 ,  G06N3/126

Abstract: 一种可编程逻辑器件封装模块的安全性测试方法和系统，方法包括以下步骤：针对所述封装模块的每个功能，采用软件故障树分析法和软件失效模式与影响分析法进行故障分析，得到每个功能对应的综合故障树；以每个所述综合故障树中的最小割集为约束条件构建测试用例，所有测试用例构成测试用例集合；采用遗传算法从所述测试用例集合中选择最优测试用例组，所述最优测试用例组对所述可编程逻辑器件的封装模块进行测试，得到所述可编程逻辑器件的封装模块的安全性测试结果。

公开(公告)号：CN115757153A

公开(公告)日：2023-03-07

申请号：CN202211476761.5

申请日：2022-11-23

Applicant: 北京京航计算通讯研究所

Inventor： 陈俊英 ,  刘伟 ,  王嬴超 ,  赵菲 ,  安鹏伟 ,  曲天润 ,  宋志强 ,  曾丽婷 ,  陈朋 ,  张榕

IPC: G06F11/36 ,  G06F9/448

Abstract: 本发明属于嵌入式软件测试领域，涉及一种基于状态机的测试用例生成方法和系统，包括使用数据协议描述语言DPD对接口协议进行描述；基于DPD所描述的接口协议信息和被测系统的软件设计说明书构建状态机并用状态图表示；基于所述状态图定义状态变迁矩阵；基于所述状态变迁矩阵，使用完全变迁路径覆盖算法生成初始测试用例；使用改进的AETG算法对所述初始测试用例进行覆盖率优化得到完整测试用例集。本发明利用自定义数据协议描述语言DPD，基于根据状态机的状态转移图自动生成测试用例，并经过覆盖率优化达到高覆盖率、低重复率的高质量测试用例集。

公开(公告)号：CN118332492A

公开(公告)日：2024-07-12

申请号：CN202410413999.6

申请日：2024-04-08

Applicant: 北京京航计算通讯研究所

Inventor： 曲天润 ,  李春静 ,  刘伟 ,  陈俊英 ,  吴俊爽 ,  王博 ,  祝贺祥 ,  李显坤 ,  胡志明 ,  张榕

IPC: G06F18/25 ,  G06F16/36 ,  G06F21/57 ,  G06F18/24 ,  G06F18/22

Abstract: 本发明涉及一种基于多源融合的漏洞知识图谱构建方法，属于知识图谱技术领域。包括：采集多源漏洞数据，对多源漏洞数据解析和合并得到合并后的漏洞基本信息表；对合并后的漏洞基本信息表解析建立漏洞详细信息表；基于漏洞详细信息表对漏洞进行有效性分类；基于漏洞基本信息表、漏洞详细信息表构建漏洞实体网络，基于漏洞实体网络、软件项目依赖文件构建软件依赖实体网络，基于所述漏洞实体网络、软件依赖实体网络及其关联关系构建漏洞知识图谱。该方法通过融合多源平台的漏洞数据扩充漏洞知识，通过漏洞实体网络、软件依赖实体网络以及它们之间的关联关系构建漏洞知识图谱，提高了漏洞知识的丰富度和实用性，为全面检测软件安全风险提供了基础。

公开(公告)号：CN114330352A

公开(公告)日：2022-04-12

申请号：CN202210008627.6

申请日：2022-01-05

Applicant: 北京京航计算通讯研究所

Inventor： 吴俊爽 ,  路明遥 ,  康建涛 ,  刘博 ,  张栋 ,  胡志元 ,  张日崇 ,  张榕 ,  高米 ,  王一晶 ,  杨艳丹 ,  彭婷婷 ,  陈宏欣

IPC: G06F40/295 ,  G06F40/205 ,  G06N20/00

Abstract: 本发明涉及一种命名实体识别方法和系统，属于自然语言处理技术领域，解决了现有技术中特征提取可解释性差并且在规模预料中识别准确性低的问题。方法包括以下步骤：获取带命名实体标签的样本语句；对所述样本语句进行句法解析得到样本语句中每个词的句法树路径标注；基于所述带命名实体标签的样本语句和样本语句中每个词的句法树路径标注训练基于句法树重构的命名实体识别模型；将待识别语句输入所述基于句法树重构的命名实体识别模型中，获得待识别语句的命名实体识别结果。