-
公开(公告)号：CN114610614A
公开(公告)日：2022-06-10
申请号：CN202210228824.9
申请日：2022-03-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通用串口的仿真测试，提高了测试效率，保证了测试质量。
-
公开(公告)号：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: 本发明属于软件测试领域，涉及一种基于开源软件缺陷问题的软件测试类型推荐方法和系统。通过获取开源软件的缺陷列表，构建正交缺陷分类模型确定软件缺陷的正交缺陷类别，基于统计特征进行软件缺陷关键词抽取，构建了开源软件和其对应的软件缺陷、软件缺陷类别、软件缺陷关键词和软件测试类型的异构关联图，使用随机游走算法计算从软件节点游走到测试类型节点的概率，将该概率作为软件测试类型重要性权重，从而实现自动化的软件测试类型推荐，提升软件测试过程的效率和质量。
-
Patent Agency Ranking
公开(公告)号：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: 本发明涉及一种基于加权递归自编码器的快速代码克隆检测方法及装置，属于代码克隆技术领域，解决了现有的代码克隆技术检测精度较差且效率较低的问题。方法包括：获取待检测代码数据集，对待检测代码数据集进行预处理，得到待检测代码数据集中每一代码对应的二叉树；基于二叉树和加权递归自编码器获得待检测代码数据集中每一代码对应的最终向量，并基于每一代码对应的最终向量得到最终向量集合；基于最终向量集合构建导航展开图，并根据导航展开图对最终向量集合中的任意两个最终向量进行检测，得到代码克隆对。实现了代码克隆对的快速检测，提高了检测效率和精度。
-
公开(公告)号：CN114610614B
公开(公告)日：2024-07-16
申请号：CN202210228824.9
申请日：2022-03-08
Applicant: 北京京航计算通讯研究所
Abstract: 一种可编程逻辑器件封装模块的安全性测试方法和系统，方法包括以下步骤：针对所述封装模块的每个功能，采用软件故障树分析法和软件失效模式与影响分析法进行故障分析，得到每个功能对应的综合故障树；以每个所述综合故障树中的最小割集为约束条件构建测试用例，所有测试用例构成测试用例集合；采用遗传算法从所述测试用例集合中选择最优测试用例组，所述最优测试用例组对所述可编程逻辑器件的封装模块进行测试，得到所述可编程逻辑器件的封装模块的安全性测试结果。
-
公开(公告)号：CN114079562B
公开(公告)日：2023-11-24
申请号：CN202111368157.6
申请日：2021-11-18
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种基于门限秘密共享的软件定义网络数据安全传输方法，属于网络空间安全技术领域，解决了现有物联网中网络数据传输安全性不足和可靠性差的问题。包括交换机接收到源主机发送的连接请求数据包后发送给控制器；控制器根据历史通信记录和网络拓扑识别是否需要重新选择转发路径；需要则计算得到多条新转发路径和路径权重；源主机接收到目的主机发送的连接请求回复后，运行k‑n门限加密算法对原始数据加密处理，得到n份密文数据，根据当前多条转发路径和路径权重选择k条转发路径发送n份密文数据；当目标主机接收到不重复密文数据的份数大于等于k时，对密文数据解密得到原(56)对比文件Pu Zhao et al..Trusted Link-Separation Multipath Selection forSoftware-Defined Wireless Sensor Networksin Adversarial Environments.InternationalConference on Security and Privacy inDigital Economy.2020,全文.Syed Mohsan Raza et al..ReliabilityAware Multiple Path Installation inSoftware-Defined Networking.Electronics2021.2021,第22卷(第10期),全文.
-
公开(公告)号：CN115757153A
公开(公告)日：2023-03-07
申请号：CN202211476761.5
申请日：2022-11-23
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于嵌入式软件测试领域，涉及一种基于状态机的测试用例生成方法和系统，包括使用数据协议描述语言DPD对接口协议进行描述；基于DPD所描述的接口协议信息和被测系统的软件设计说明书构建状态机并用状态图表示；基于所述状态图定义状态变迁矩阵；基于所述状态变迁矩阵，使用完全变迁路径覆盖算法生成初始测试用例；使用改进的AETG算法对所述初始测试用例进行覆盖率优化得到完整测试用例集。本发明利用自定义数据协议描述语言DPD，基于根据状态机的状态转移图自动生成测试用例，并经过覆盖率优化达到高覆盖率、低重复率的高质量测试用例集。
-
-
-
-
-
-
-
-
-
Search Results
17
records
(took 0.033 seconds)
