-
公开(公告)号:CN114327488A
公开(公告)日:2022-04-12
申请号:CN202210005759.3
申请日:2022-01-04
Applicant: 北京广利核系统工程有限公司 , 广东核电合营有限公司
Abstract: 本发明公开了一种实时操作系统的生成方法及装置,确定核电领域对实时操作系统的功能需求,基于功能需求对实时操作系统进行整体架构设计得到初始实时操作系统,对初始实时操作系统进行对应编码得到中间实时操作系统,对中间实时操作系统进行集成调试,对通过集成调试的中间实时操作系统进行功能需求确认测试,并将通过功能需求确认测试的中间实时操作系统确定为适用核电领域的目标实时操作系统。由此可以看出,本发明公开的目标实时操作系统是针对核电领域设计的,因此,核电仪控系统使用本发明生成的目标实时操作系统,无需再进行测试、验证和商业级调查活动,从而大大节省了人力和物力,降低了核电厂的建设成本。
-
公开(公告)号:CN116701167A
公开(公告)日:2023-09-05
申请号:CN202310280881.6
申请日:2023-03-21
Applicant: 北京广利核系统工程有限公司
Abstract: 本申请公开了一种最坏执行时间确定方法及装置,可应用于计算机技术领域。该方法包括:获取待测汇编程序中各函数的起始位置;根据所述起始位置建立函数调用关系树;根据函数调用关系树为建立函数调用点阵图,得到函数调用关系树中的所有可能的函数调用方式;通过比对所有函数调用方式对应的运行时间,得到最坏执行时间。可见,本申请利用汇编程序中函数起始位置构建调用关系树,进一步建立函数调用点阵图,即可遍历得到函数中所有可能的调用方式,与现有技术中单独的静态分析技术和动态分析技术相比,同时具有了高精确度和低复杂度。
-
公开(公告)号:CN115473837B
公开(公告)日:2024-03-22
申请号:CN202210163861.6
申请日:2022-02-22
Applicant: 北京广利核系统工程有限公司
IPC: H04L43/50 , H04L43/12 , H04L43/0805
Abstract: 本申请公开了一种可配置协议的通讯测试工具和基于其的通讯测试方法,其中,方法包括:接收对通讯测试工具的配置信息,所述配置信息包括通讯模式和第一通讯数据;响应于所述通讯模式,与待测试的核电系统建立通讯连接并按照所述通讯模式与所述待测试的核电系统进行通讯;获取所述待测试的核电系统基于所述通讯模式生成的第二通讯数据;根据所述第一通讯数据和所述第二通讯数据,确定并展示所述通讯模式的测试结果,能够进行自动化的通讯测试,从而实现在测试阶段的通讯测试,提高整体测试效率。
-
公开(公告)号:CN115712553A
公开(公告)日:2023-02-24
申请号:CN202110969418.3
申请日:2021-08-23
Applicant: 北京广利核系统工程有限公司
Abstract: 本申请公开了一种核电DCS系统的UI界面测试方法及装置。其中,核电DCS系统的UI界面测试方法包括:获取UI界面测试需求;根据所述测试需求从预先建立的UI脚本类库中选择对应的元素,并将所述元素组合成测试用例库,其中,所述UI脚本类库包括对象库、数据库、操作库以及逻辑库;执行所述测试用例库,以实现UI界面的测试。本申请实施例的核电DCS系统的UI界面测试方法及装置,能够实现对复杂控件组成的软件UI界面的确认测试的自动化,实现了用例脚本的开发和维护工作的高度灵活性,代码复用性高。
-
公开(公告)号:CN116089315A
公开(公告)日:2023-05-09
申请号:CN202310209950.4
申请日:2023-03-07
Applicant: 北京广利核系统工程有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种核电站实时操作系统的验证信息的处理方法及装置,该方法为:确定核电站实时操作系统的标准接口,以及获取核电站实时操作系统的信号量变化详情;针对标准接口,识别标准接口的指定参数情况;基于指定参数情况和预设的接口测试需求,生成用于对核电站实时操作系统进行接口测试的接口测试设计信息;针对信号量变化详情,基于信号量变化详情构建模型;从所构建的模型中提取路径节点序列;基于路径节点序列,生成用于对核电站实时操作系统进行功能测试的功能测试设计信息,从而将接口测试和功能测试结合以指导核电站实时操作系统在软件的验证实施。
-
公开(公告)号:CN115904329A
公开(公告)日:2023-04-04
申请号:CN202211605659.0
申请日:2022-12-14
Applicant: 广东核电合营有限公司 , 北京广利核系统工程有限公司
Inventor: 李明利 , 李刚 , 周飞 , 李萌 , 马忠刚 , 莫昌瑜 , 王晓伟 , 石桂连 , 张智慧 , 李幼媛 , 首云旭 , 窦维维 , 王纪坤 , 刘建刚 , 张晓冬 , 马建新 , 况德军 , 杨晶
IPC: G06F8/20 , G06F18/241 , G06F16/25
Abstract: 本发明公开了一种应用于软件设计的可靠性指标确定方法及装置,包括:对软件设计阶段的设计特征进行分析,获得与所述设计特征对应的故障类型;基于所述故障类型,确定待生成的每一软件设计阶段的可靠性指标对应的涵盖设计缺陷信息以及指导设计措施信息;基于所述涵盖设计缺陷信息以及所述指导设计措施信息,生成软件设计阶段的可靠性指标。本发明能够对软件设计阶段的特征进行充分分析,基于可靠性指标指导软件设计及时定位和修正设计过程中的错误,降低了软件的设计风险,进而提升了整个软件的可靠性。
-
公开(公告)号:CN115473837A
公开(公告)日:2022-12-13
申请号:CN202210163861.6
申请日:2022-02-22
Applicant: 北京广利核系统工程有限公司
IPC: H04L43/50 , H04L43/12 , H04L43/0805
Abstract: 本申请公开了一种可配置协议的通讯测试工具和基于其的通讯测试方法,其中,方法包括:接收对通讯测试工具的配置信息,所述配置信息包括通讯模式和第一通讯数据;响应于所述通讯模式,与待测试的核电系统建立通讯连接并按照所述通讯模式与所述待测试的核电系统进行通讯;获取所述待测试的核电系统基于所述通讯模式生成的第二通讯数据;根据所述第一通讯数据和所述第二通讯数据,确定并展示所述通讯模式的测试结果,能够进行自动化的通讯测试,从而实现在测试阶段的通讯测试,提高整体测试效率。
-
-
-
-
-
-