-
公开(公告)号：CN116068384A
公开(公告)日：2023-05-05
申请号：CN202310144688.X
申请日：2023-02-07
Applicant: 北京广利核系统工程有限公司
IPC: G01R31/317 , G01R31/3181
Abstract: 本申请提供了一种测试电路板的方法及装置，涉及仪器控制技术领域。测试设备首先响应于对电路板进行测试的请求，控制上位机中的测试软件进入电路板测试配置界面；然后测试设备响应于运维人员基于电路板测试配置界面设置的测试参数，通过目标电路板对应的测试系统上预置的测试接口，向目标电路板输入测试信号；再根据测试参数及输入的测试信号，利用下位机对目标电路板进行测试；最后展示基于测试信号得到的测试结果。这样，利用上位机向目标电路板对应的测试系统上预置的测试接口输入测试信号，并利用下位机完成对电路板的测试，不需要将电路板进行拆卸以进行测试，进而避免了电路板多次插拔可能会对电路板和机柜接口造成不可逆的损伤的问题。
-
公开(公告)号：CN111343184B
公开(公告)日：2022-08-23
申请号：CN202010125475.9
申请日：2020-02-27
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明涉及一种通信协议的验证方法和装置，属于通信技术领域，解决了现有技术中测试用例规模庞大、命中率不高、效率较低以及后期发现漏洞后，协议修复成本高的问题。验证方法用于确定通信协议抵御重放攻击的能力，包括：分析通信协议的协议字段；基于协议字段建立通信者模型和攻击者模型，通信者模型包括通信者数据，以及攻击者模型包括攻击者数据，其中，通信者数据包括发送者标识、接收者标识和新鲜性标识，并且攻击者数据包括发送者标识、接收者标识、新鲜性标识和攻击者标识；使用形式化语言进行通信者模型和攻击者模型描述；以及使用形式化工具进行重放攻击检测。实现了准确高效的发现协议漏洞并且在协议设计早期介入，减少修复成本。
-
公开(公告)号：CN109542510A
公开(公告)日：2019-03-29
申请号：CN201811369114.8
申请日：2018-11-16
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明涉及一种基于贝叶斯理论的软件V&V有效性度量方法，属于软件V&V技术领域，解决了现有软件V&V有效性度量方法不可靠且效果度量值不准确的问题。该方法包括如下步骤：获得历史V&V活动中每一预设分析复杂度下V&V对象存在缺陷全部被V&V活动发现的概率；建立V&V有效性预测模型，根据上述概率分析获得V&V有效性预测模型参数中的V&V能力因素；根据V&V有效性预测模型获得当前V&V对象存在缺陷全部被V&V活动发现的概率，判断软件V&V有效性；建立V&V有效性度量模型，计算在满足需求的上述分析复杂度下V&V对象存在缺陷全部被V&V活动发现的概率。该方法结合经验数据和实际测试数据，基于贝叶斯理论进行数据融合，综合地给出V&V活动有效性指标，使度量结果更加准确。
-
公开(公告)号：CN114422378A
公开(公告)日：2022-04-29
申请号：CN202210065702.2
申请日：2022-01-20
Applicant: 北京广利核系统工程有限公司
IPC: H04L41/14 , H04L41/142 , H04L69/22
Abstract: 本申请公开了一种网络缓冲区大小的验证方法及装置。其中，网络缓冲区大小的验证方法包括：S1，仿真生成待处理的离散事件队列，所述离散事件包括网络中各节点收发报文的动作；S2，从所述待处理的离散事件队列的头部取出一个离散事件，并处理所述离散事件；S3，获取所述离散事件的处理结果，并将所述处理结果记录至网络的统计数据中；S4，重复步骤S2和S3，直至所述待处理的离散事件队列中的所有离散事件处理完成，并获取最终的统计数据；S5，根据所述最终的统计数据对网络缓冲区进行验证。本申请实施例的网络缓冲区大小的验证方法及装置，能够快速有效地验证出网络缓冲区的大小，提高效率，节省成本。
-
公开(公告)号：CN111580852A
公开(公告)日：2020-08-25
申请号：CN202010357757.1
申请日：2020-04-29
Applicant: 北京广利核系统工程有限公司
IPC: G06F8/70
Abstract: 本发明涉及一种软件变更影响范围的识别方法及系统，属于计算机软件技术领域，解决了现有技术分析软件变更影响范围造成的精度差且效率低的问题。识别方法包括：基于所述软件的基本项识别得到关联因子，其中，所述基本项包括软件的功能项和性能项，所述关联因子表示各基本项之间关联关系的承载内容；根据所述关联因子，获得所述软件的关联矩阵；其中，所述软件的关联矩阵包含所述软件所有基本项间的关联关系；对比变更前后的基本项，获得变更基本项；基于所述变更基本项，在关联矩阵中进行变更影响分析，获得所述软件的变更影响范围。实现了软件变更影响范围的自动化识别，提高了分析结果的精度。
-
Patent Agency Ranking
公开(公告)号：CN114422378B
公开(公告)日：2024-12-27
申请号：CN202210065702.2
申请日：2022-01-20
Applicant: 北京广利核系统工程有限公司
IPC: H04L41/14 , H04L41/142 , H04L69/22
Abstract: 本申请公开了一种网络缓冲区大小的验证方法及装置。其中，网络缓冲区大小的验证方法包括：S1，仿真生成待处理的离散事件队列，所述离散事件包括网络中各节点收发报文的动作；S2，从所述待处理的离散事件队列的头部取出一个离散事件，并处理所述离散事件；S3，获取所述离散事件的处理结果，并将所述处理结果记录至网络的统计数据中；S4，重复步骤S2和S3，直至所述待处理的离散事件队列中的所有离散事件处理完成，并获取最终的统计数据；S5，根据所述最终的统计数据对网络缓冲区进行验证。本申请实施例的网络缓冲区大小的验证方法及装置，能够快速有效地验证出网络缓冲区的大小，提高效率，节省成本。
-
公开(公告)号：CN109542510B
公开(公告)日：2021-11-23
申请号：CN201811369114.8
申请日：2018-11-16
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明涉及一种基于贝叶斯理论的软件V&V有效性度量方法，属于软件V&V技术领域，解决了现有软件V&V有效性度量方法不可靠且效果度量值不准确的问题。该方法包括如下步骤：获得历史V&V活动中每一预设分析复杂度下V&V对象存在缺陷全部被V&V活动发现的概率；建立V&V有效性预测模型，根据上述概率分析获得V&V有效性预测模型参数中的V&V能力因素；根据V&V有效性预测模型获得当前V&V对象存在缺陷全部被V&V活动发现的概率，判断软件V&V有效性；建立V&V有效性度量模型，计算在满足需求的上述分析复杂度下V&V对象存在缺陷全部被V&V活动发现的概率。该方法结合经验数据和实际测试数据，基于贝叶斯理论进行数据融合，综合地给出V&V活动有效性指标，使度量结果更加准确。
-
公开(公告)号：CN106776295B
公开(公告)日：2020-09-22
申请号：CN201611081851.9
申请日：2016-11-30
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种基于Altarica形式化语言的软件FMEA分析方法，包括以下步骤：步骤1：识别待分析软件数据流并画出数据流图；步骤2：针对待分析软件建立基本软件模型；步骤3：定义待分析软件失效，并使用步骤2中建立的基本软件模型的各个状态来描述待分析软件的失效；步骤4：搜索所有满足待分析软件的失效定义的状态传输路径，每条传输路径为一个失效模式；步骤5：分析各个满足待分析软件失效定义的状态传输路径，并填写FMEA表格。本发明软件功能单元模型化，使用形式化工具执行分析，减小工作量；软件功能单元模型化，达到模型复用。针对不同的软件功能单元，总结归纳验证属性，达到知识的积累和共享。
-
公开(公告)号：CN111343184A
公开(公告)日：2020-06-26
申请号：CN202010125475.9
申请日：2020-02-27
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明涉及一种通信协议的验证方法和装置，属于通信技术领域，解决了现有技术中测试用例规模庞大、命中率不高、效率较低以及后期发现漏洞后，协议修复成本高的问题。验证方法用于确定通信协议抵御重放攻击的能力，包括：分析通信协议的协议字段；基于协议字段建立通信者模型和攻击者模型，通信者模型包括通信者数据，以及攻击者模型包括攻击者数据，其中，通信者数据包括发送者标识、接收者标识和新鲜性标识，并且攻击者数据包括发送者标识、接收者标识、新鲜性标识和攻击者标识；使用形式化语言进行通信者模型和攻击者模型描述；以及使用形式化工具进行重放攻击检测。实现了准确高效的发现协议漏洞并且在协议设计早期介入，减少修复成本。
-
公开(公告)号：CN117877048A
公开(公告)日：2024-04-12
申请号：CN202410044743.2
申请日：2024-01-11
Applicant: 北京广利核系统工程有限公司
IPC: G06V30/19 , G06V30/148 , G06F3/04842
Abstract: 本发明涉及一种流程画面校验方法、装置、电子设备和可读存储介质，可以通过对流程画面中的每个设备图符的选择、点击等操作时，相应界面以及相应的操作部位自动进行文字识别，从而获得对设备图符进行操作过程中的图符标识、设备标识、操作标识、硬件接口值等信息，然后根据目标设备图符的画面设计文件对得到的上述关键信息进行验证。使得工作人员不必再依据相应的画面设计文件人工进行相应标识的查找和比对，在保证验证准确率的同时提高了验证效率。
-
-
-
-
-
-
-
-
-
Search Results
15
records
(took 0.028 seconds)
