-
公开(公告)号:CN117762094A
公开(公告)日:2024-03-26
申请号:CN202311586377.5
申请日:2023-11-24
Applicant: 北京广利核系统工程有限公司
IPC: G05B19/418
Abstract: 本发明公开了一种核电厂设备接口系统的测试系统和方法。该系统包括:测试控制装置、可调节电源、DP主站和调理板卡。测试控制装置分别连接可调节电源、DP主站和调理板卡,用于控制可调节电源、DP主站和调理板卡分别向待测设备接口系统传输预设电源值、Profibus通信数据和DI输入指令,并接收待测设备接口系统的输出数据,以及根据输出数据判断待测设备接口系统测试是否通过。待测设备接口系统分为多个独立的功能子模块。本发明实施例的核电厂设备接口系统的测试系统和方法,高效、便捷地实现了对待测设备接口系统的全组合测试,提高了测试工作的充分性和全面性,并大幅降低了测试工作的时间成本,有助于缓解核电厂设备接口系统共因故障。
-
公开(公告)号:CN115712553A
公开(公告)日:2023-02-24
申请号:CN202110969418.3
申请日:2021-08-23
Applicant: 北京广利核系统工程有限公司
Abstract: 本申请公开了一种核电DCS系统的UI界面测试方法及装置。其中,核电DCS系统的UI界面测试方法包括:获取UI界面测试需求;根据所述测试需求从预先建立的UI脚本类库中选择对应的元素,并将所述元素组合成测试用例库,其中,所述UI脚本类库包括对象库、数据库、操作库以及逻辑库;执行所述测试用例库,以实现UI界面的测试。本申请实施例的核电DCS系统的UI界面测试方法及装置,能够实现对复杂控件组成的软件UI界面的确认测试的自动化,实现了用例脚本的开发和维护工作的高度灵活性,代码复用性高。
-
公开(公告)号:CN111343184B
公开(公告)日:2022-08-23
申请号:CN202010125475.9
申请日:2020-02-27
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明涉及一种通信协议的验证方法和装置,属于通信技术领域,解决了现有技术中测试用例规模庞大、命中率不高、效率较低以及后期发现漏洞后,协议修复成本高的问题。验证方法用于确定通信协议抵御重放攻击的能力,包括:分析通信协议的协议字段;基于协议字段建立通信者模型和攻击者模型,通信者模型包括通信者数据,以及攻击者模型包括攻击者数据,其中,通信者数据包括发送者标识、接收者标识和新鲜性标识,并且攻击者数据包括发送者标识、接收者标识、新鲜性标识和攻击者标识;使用形式化语言进行通信者模型和攻击者模型描述;以及使用形式化工具进行重放攻击检测。实现了准确高效的发现协议漏洞并且在协议设计早期介入,减少修复成本。
-
公开(公告)号:CN102082773A
公开(公告)日:2011-06-01
申请号:CN200910238712.6
申请日:2009-11-30
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
Abstract: 本发明涉及的是一种网络协议,具体地讲,本发明涉及的是一种用于系统列间通讯的安全网络协议,尤指基于反应堆保护系统列间通讯的安全网络协议的通信方法。所述的保护系统包括分布式服务器之间的通讯系统,协议由物理层、数据链路层和应用层构成,其特征在于安全网络协议中的网络设备中发送方和接收方为点对点的连接方式;发送和接收均使用相同的时间周期。本发明使得网络传输稳定,具体的优点由于收发双方周期相同,收发的次序配合相当,网络负载恒定,提高了网络安全性和实时性。
-
公开(公告)号:CN116089315A
公开(公告)日:2023-05-09
申请号:CN202310209950.4
申请日:2023-03-07
Applicant: 北京广利核系统工程有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种核电站实时操作系统的验证信息的处理方法及装置,该方法为:确定核电站实时操作系统的标准接口,以及获取核电站实时操作系统的信号量变化详情;针对标准接口,识别标准接口的指定参数情况;基于指定参数情况和预设的接口测试需求,生成用于对核电站实时操作系统进行接口测试的接口测试设计信息;针对信号量变化详情,基于信号量变化详情构建模型;从所构建的模型中提取路径节点序列;基于路径节点序列,生成用于对核电站实时操作系统进行功能测试的功能测试设计信息,从而将接口测试和功能测试结合以指导核电站实时操作系统在软件的验证实施。
-
公开(公告)号: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: 本发明涉及一种软件变更影响范围的识别方法及系统,属于计算机软件技术领域,解决了现有技术分析软件变更影响范围造成的精度差且效率低的问题。识别方法包括:基于所述软件的基本项识别得到关联因子,其中,所述基本项包括软件的功能项和性能项,所述关联因子表示各基本项之间关联关系的承载内容;根据所述关联因子,获得所述软件的关联矩阵;其中,所述软件的关联矩阵包含所述软件所有基本项间的关联关系;对比变更前后的基本项,获得变更基本项;基于所述变更基本项,在关联矩阵中进行变更影响分析,获得所述软件的变更影响范围。实现了软件变更影响范围的自动化识别,提高了分析结果的精度。
-
公开(公告)号:CN105975573B
公开(公告)日:2019-08-13
申请号:CN201610288920.7
申请日:2016-05-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F16/35
Abstract: 本发明公开了一种基于KNN的文本分类方法,适用于核安全级软件验证和可靠性验证。本发明的文本分类方法包括训练过程处理和测试过程处理,将训练样本数据集以原始文本自身和文本中所有的标题两部分的信息来表示。依据文本由浅到深的特征层次结构构建两个DBM模型,提取低维高区分度的深层特征并存储,在测试过程中以适当的权重考虑文本标题给相似度的计算带来的贡献来确定待测试文本的类别。本发明充分利用文本标题的信息,比将浅层特征向量作为训练集在分类性能上有显著改善,同时能够降低存储需求和在线计算量,解决了特征向量高维灾难问题,提高了分类的准确度,可以用于安全级软件可靠性评价分析中的规则匹配和失效模式库的建立。
-
公开(公告)号:CN103973504B
公开(公告)日:2017-01-04
申请号:CN201310028941.1
申请日:2013-01-25
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: H04L12/26
Abstract: 本发明公开了一种多网络协议的并行测试装置及测试方法,包括在线运行部分和离线部分,在线运行部分由依次连接的客户端模块,服务器,检测器模块组成,离线部分即为离线组态工具模块;客户端模块提供实时交互界面,通过网络查询位于服务器的历史转存模块的日志、报文和事件并显示;服务器由通信代理模块和历史转存模块组成,通信代理模块将来自检测器的测点转换为citect要求的数据格式供其使用,同时,将日志、报文和事件通过自定义协议提交给历史转存模块;检测器模块将被测对象的原始报文或者经过检测器处理的测点、日志和事件通过自定义协议发送给服务器,并接收来自服务器通信代理模块命令;离线组态工具模块组态工具包括组态模块和编译模块两部分。
-
公开(公告)号:CN115081032B
公开(公告)日:2025-04-04
申请号:CN202210688391.5
申请日:2022-06-17
Applicant: 北京广利核系统工程有限公司
IPC: G06F21/71 , G06F21/85 , G06F16/2458
Abstract: 本发明公开了一种闭锁报警实现系统和逻辑架构,系统包括:工程师站、主控站和显示设备,其中:工程师站用于基于形式化开发方法得到闭锁报警算法功能模块,并编译生成算法组态文件,将算法组态文件分别下装到主控站和显示设备;主控站用于按照固定周期运行所述组态文件,并与所述工程师站和所述显示设备通信交互数据;显示设备用于显示报警信息和基于用户输入消除报警。上述方案中,闭锁报警基于形式化开发方法实现,可进行图形化的闭锁报警算法的逻辑架构搭建,可相对于传统开发方法,具有更高的逻辑精确性,这种精确性为开发人员与用户对需求的一致性理解及需求的正确执行提供了更大的可能性,且支持在线监控,满足企业的应用需求。
-
-
-
-
-
-
-
-
-