-
公开(公告)号:CN113010152B
公开(公告)日:2024-09-20
申请号:CN202110313444.0
申请日:2021-03-24
Applicant: 中广核工程有限公司 , 深圳中广核工程设计有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC: G06F8/20 , G06F8/38 , G06Q10/0631
Abstract: 本发明涉及一种核电厂安全级软件设计系统和方法,包括:对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理,以确定核电厂安全级软件设计开发的基线内容的基线配置模块,根据基线内容对核电厂安全级软件进行设计开发获得开发内容的软件设计模块,根据软件设计模块的设计开发生成软件设计开发文档的文档生成模块,对软件设计开发过程中产生的变更进行记录的设计变更模块和对软件设计的关键信息进行线上审核并输出审核结果的专家评审模块;专家评审模块还基于变更内容进行线上审核并输出变更结果。本发明充分考虑核电厂的特有属性进行安全级软件设计开发,既能满足核电厂安全级软件设计的需求,同时还大大缩短研发周期,降低研发成本。
-
公开(公告)号:CN113342881B
公开(公告)日:2023-07-07
申请号:CN202110555933.7
申请日:2021-05-21
Applicant: 中广核工程有限公司 , 深圳中广核工程设计有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC: G06F16/248 , G06F16/2458
Abstract: 本发明提供了一种核电厂仪控系统测试曲线构建方法、装置、设备及介质,方法包括:获取原始输入曲线,根据曲线时间长度t及原始采样周期T,计算原始采样点数N以及坐标;设定目标输入曲线的曲线参数;根据原始输入曲线的曲线斜率对原始输入曲线进行分段,得到m个曲线段;根据插值精度K对每个曲线段进行分段,得到多个曲线分段;对每个曲线分段进行K阶牛顿插值表达式的计算,得到各曲线分段的插值表达式;根据每个曲线分段的时间长度、目标采样点数以及插值表达式计算插值;将已完成插值的曲线分段重新拼接,获得目标曲线。本发明提高统计测试的完备性、准确性、有效性,为核电厂仪控系统统计测试提供技术支撑。
-
公开(公告)号:CN109542787B
公开(公告)日:2022-06-07
申请号:CN201811389281.9
申请日:2018-11-21
Applicant: 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种核电厂安全级软件测试方法,包括:根据被测对象的核电厂软件分级,从测试任务库中选取与被测对象安全分级相对应的测试任务;根据测试任务库选择的任务,对软件需求进行与测试任务相适用的分解,定位软件需求;根据测试任务库选择的任务以及对应的软件安全等级,通过专家支持库给出每个测试任务对应的测试项;根据软件需求和测试项,确定软件测试策略,生成测试说明,并执行测试工作,记录测试结果并对所述执行结果进行分析。本发明以较少的测试用例实现核电厂安全级软件的测试,提升测试的充分性和完备性,提升测试效率。同时通过缺陷分析模块可快速定位缺陷原因以及更新专家支持模块,增强平台的准确性和适用性。
-
公开(公告)号:CN113742218A
公开(公告)日:2021-12-03
申请号:CN202110898929.0
申请日:2021-08-04
Applicant: 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC: G06F11/36 , G06F16/35 , G06F40/186 , G06Q10/10
Abstract: 本申请涉及一种问题单方法、装置、计算机设备和存储介质。所述方法包括:所述问题单起草节点根据用户输入的问题单信息生成初始问题单,并将所述初始问题单提供给所述至少一个问题单答复节点;所述问题单答复节点获取上一节点提供的待答复问题单,根据用户基于所述待答复问题单输入的答复信息生成中间问题单,其中,在所述上一节点为问题单答复节点时,所述待答复问题单为所述上一节点生成的中间问题单,在所述上一节点为所述问题单起草节点时,所述待答复问题单为所述初始问题单。采用本方法能够通过线上方式进行问题单的起草和答复,提高了问题单的填写质量。
-
公开(公告)号:CN113010152A
公开(公告)日:2021-06-22
申请号:CN202110313444.0
申请日:2021-03-24
Applicant: 中广核工程有限公司 , 深圳中广核工程设计有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
Abstract: 本发明涉及一种核电厂安全级软件设计系统和方法,包括:对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理,以确定核电厂安全级软件设计开发的基线内容的基线配置模块,根据基线内容对核电厂安全级软件进行设计开发获得开发内容的软件设计模块,根据软件设计模块的设计开发生成软件设计开发文档的文档生成模块,对软件设计开发过程中产生的变更进行记录的设计变更模块和对软件设计的关键信息进行线上审核并输出审核结果的专家评审模块;专家评审模块还基于变更内容进行线上审核并输出变更结果。本发明充分考虑核电厂的特有属性进行安全级软件设计开发,既能满足核电厂安全级软件设计的需求,同时还大大缩短研发周期,降低研发成本。
-
公开(公告)号:CN109542787A
公开(公告)日:2019-03-29
申请号:CN201811389281.9
申请日:2018-11-21
Applicant: 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种核电厂安全级软件测试方法,包括:根据被测对象的核电厂软件分级,从测试任务库中选取与被测对象安全分级相对应的测试任务;根据测试任务库选择的任务,对软件需求进行与测试任务相适用的分解,定位软件需求;根据测试任务库选择的任务以及对应的软件安全等级,通过专家支持库给出每个测试任务对应的测试项;根据软件需求和测试项,确定软件测试策略,生成测试说明,并执行测试工作,记录测试结果并对所述执行结果进行分析。本发明以较少的测试用例实现核电厂安全级软件的测试,提升测试的充分性和完备性,提升测试效率。同时通过缺陷分析模块可快速定位缺陷原因以及更新专家支持模块,增强平台的准确性和适用性。
-
公开(公告)号:CN107480051B
公开(公告)日:2020-07-17
申请号:CN201710597261.X
申请日:2017-07-20
Applicant: 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种核电厂数字化反应堆保护系统软件测试系统及方法,包括:概率分配组件,用于对参数生成组件的多个选择模块进行的概率进行分配,并用于对每一所述选择模块的下一步的分支选择进行概率分配;参数生成组件,包括多个选择模块并分别与部分所述概率分配组件连接,用于生成每一轮次测试的期望值以及运行参数值;数据分析组件,与所述参数生成组件连接,用于对每一轮次的所述期望值以及运行参数值进行分析对比,自定义统计并导出多轮次的测试结果。本发明提供的核电厂数字化反应堆保护系统软件测试系统及方法具有操作剖面的随机特性,对参数的取值范围进行全面覆盖,实现测试环境对核电厂运行状态的充分模拟。
-
公开(公告)号:CN109857664A
公开(公告)日:2019-06-07
申请号:CN201910079992.4
申请日:2019-01-28
Applicant: 中广核工程有限公司 , 深圳中广核工程设计有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种预开发软件核安全级适用性评估的系统测试方法以及系统,方法包括:提取获得预开发软件的基本测试需求;对质量评估活动和适宜性评估活动的结果进行分析以确定系统测试的补充测试需求,补充测试需求用于确认质量评估活动和适宜性评估活动中发现的可能的风险项是否存在;对预开发软件已执行的系统测试进行审查评估,并根据评估结果将基本测试需求和补充测试需求中所有未通过的测试需求确定为最终测试需求,如此可为预开发软件的核安全级适用性认证的系统测试工作提供指导,通过本发明可在降低系统测试需求的同时,通过系统测试充分确认预开发软件在核安全级系统中应用可能存在的风险,提供预开发软件的可靠性的置信度。
-
公开(公告)号:CN107480051A
公开(公告)日:2017-12-15
申请号:CN201710597261.X
申请日:2017-07-20
Applicant: 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种核电厂数字化反应堆保护系统软件测试系统及方法,包括:概率分配组件,用于对参数生成组件的多个选择模块进行的概率进行分配,并用于对每一所述选择模块的下一步的分支选择进行概率分配;参数生成组件,包括多个选择模块并分别与部分所述概率分配组件连接,用于生成每一轮次测试的期望值以及运行参数值;数据分析组件,与所述参数生成组件连接,用于对每一轮次的所述期望值以及运行参数值进行分析对比,自定义统计并导出多轮次的测试结果。本发明提供的核电厂数字化反应堆保护系统软件测试系统及方法具有操作剖面的随机特性,对参数的取值范围进行全面覆盖,实现测试环境对核电厂运行状态的充分模拟。
-
公开(公告)号:CN113075911A
公开(公告)日:2021-07-06
申请号:CN202110313958.6
申请日:2021-03-24
Applicant: 中广核工程有限公司 , 深圳中广核工程设计有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC: G05B19/418
Abstract: 本发明涉及核电厂安全级数字化仪控系统软件自动验证方法和系统,包括:获取输入信息;根据输入信息,建立系统控制功能与仪控平台的转换对应追溯表,并定义信号接口;建立逻辑块库;根据转换对应追溯表、信号接口和逻辑块库,生成追溯路径;对追溯路径进行分析,获得追溯性分析结果。本发明建立了基于路径的自动化的图纸可追溯性分析方法,提高核电厂安全级数字化仪控系统应用软件的验证与确认工作的工作效率,减少验证人员的人力投入,提升软件的安全性和可靠性。
-
-
-
-
-
-
-
-
-