公开(公告)号：CN113010152B

公开(公告)日：2024-09-20

申请号：CN202110313444.0

申请日：2021-03-24

申请人： 中广核工程有限公司 ,  深圳中广核工程设计有限公司 ,  中国广核集团有限公司 ,  中国广核电力股份有限公司

发明人： 梁慧慧 ,  叶王平 ,  刘伟 ,  谢红云 ,  卢超 ,  王升超 ,  席望 ,  张超 ,  唐建中 ,  熊伟 ,  凡阳阳

IPC分类号： G06F8/20 ,  G06F8/38 ,  G06Q10/0631

摘要： 本发明涉及一种核电厂安全级软件设计系统和方法，包括：对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理，以确定核电厂安全级软件设计开发的基线内容的基线配置模块，根据基线内容对核电厂安全级软件进行设计开发获得开发内容的软件设计模块，根据软件设计模块的设计开发生成软件设计开发文档的文档生成模块，对软件设计开发过程中产生的变更进行记录的设计变更模块和对软件设计的关键信息进行线上审核并输出审核结果的专家评审模块；专家评审模块还基于变更内容进行线上审核并输出变更结果。本发明充分考虑核电厂的特有属性进行安全级软件设计开发，既能满足核电厂安全级软件设计的需求，同时还大大缩短研发周期，降低研发成本。

公开(公告)号：CN109542787B

公开(公告)日：2022-06-07

申请号：CN201811389281.9

申请日：2018-11-21

申请人： 深圳中广核工程设计有限公司 ,  中广核工程有限公司 ,  中国广核集团有限公司 ,  中国广核电力股份有限公司

发明人： 梁慧慧 ,  谷鹏飞 ,  白涛 ,  刘伟 ,  陈卫华 ,  高峰 ,  叶王平 ,  唐建中 ,  何亚南 ,  王升超 ,  席望 ,  熊伟 ,  凡阳阳

IPC分类号： G06F11/36

摘要： 本发明提供了一种核电厂安全级软件测试方法，包括:根据被测对象的核电厂软件分级，从测试任务库中选取与被测对象安全分级相对应的测试任务；根据测试任务库选择的任务，对软件需求进行与测试任务相适用的分解，定位软件需求；根据测试任务库选择的任务以及对应的软件安全等级，通过专家支持库给出每个测试任务对应的测试项；根据软件需求和测试项，确定软件测试策略，生成测试说明，并执行测试工作，记录测试结果并对所述执行结果进行分析。本发明以较少的测试用例实现核电厂安全级软件的测试，提升测试的充分性和完备性，提升测试效率。同时通过缺陷分析模块可快速定位缺陷原因以及更新专家支持模块，增强平台的准确性和适用性。

公开(公告)号：CN113010152A

公开(公告)日：2021-06-22

申请号：CN202110313444.0

申请日：2021-03-24

申请人： 中广核工程有限公司 ,  深圳中广核工程设计有限公司 ,  中国广核集团有限公司 ,  中国广核电力股份有限公司

发明人： 梁慧慧 ,  叶王平 ,  刘伟 ,  谢红云 ,  卢超 ,  王升超 ,  席望 ,  张超 ,  唐建中 ,  熊伟 ,  凡阳阳

IPC分类号： G06F8/20 ,  G06F8/38 ,  G06Q10/06

摘要： 本发明涉及一种核电厂安全级软件设计系统和方法，包括：对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理，以确定核电厂安全级软件设计开发的基线内容的基线配置模块，根据基线内容对核电厂安全级软件进行设计开发获得开发内容的软件设计模块，根据软件设计模块的设计开发生成软件设计开发文档的文档生成模块，对软件设计开发过程中产生的变更进行记录的设计变更模块和对软件设计的关键信息进行线上审核并输出审核结果的专家评审模块；专家评审模块还基于变更内容进行线上审核并输出变更结果。本发明充分考虑核电厂的特有属性进行安全级软件设计开发，既能满足核电厂安全级软件设计的需求，同时还大大缩短研发周期，降低研发成本。

公开(公告)号：CN107957949B

公开(公告)日：2020-08-11

申请号：CN201711290452.8

申请日：2017-12-08

申请人： 中广核工程有限公司 ,  中国广核集团有限公司

发明人： 席望 ,  谷鹏飞 ,  白涛 ,  刘伟 ,  叶王平 ,  陈卫华 ,  高峰 ,  上官斌 ,  王升超 ,  何亚南 ,  梁慧慧 ,  熊伟 ,  唐建中 ,  凡阳阳

IPC分类号： G06F11/36

摘要： 本发明公开了一种核电厂反应堆保护系统的测试方法，包括：根据核电厂事故发展阶段及每一阶段所触发的保护设备构建设备序列；每设置所述设备序列中的至少一个保护设备失效，则构建一个设备失效状态；在预先选定的事故场景中，分别获取每个设备失效状态下的核电厂运行参数变化曲线；随机选取一个变化曲线，并将所述变化曲线对应的运行参数输入至保护系统进行测试。本发明还公开了一种核电厂反应堆保护系统的测试系统。本发明能够提高保护系统测试的充分性、完备性和真实性。

公开(公告)号：CN107132837B

公开(公告)日：2019-07-23

申请号：CN201710271555.3

申请日：2017-04-24

申请人： 中广核工程有限公司 ,  中国广核集团有限公司

发明人： 白涛 ,  陈卫华 ,  席望 ,  谷鹏飞 ,  叶王平 ,  刘伟 ,  何亚南 ,  梁慧慧 ,  王升超 ,  唐建中 ,  熊伟

IPC分类号： G05B23/02

摘要： 本发明公开了一种核电站数字化反应堆保护系统的测试方法，包括：随机选取核电站的一个运行工况及所述运行工况下的一个场景或事故；根据所选的运行工况和所述运行工况下的场景或事故生成第一测试用例，以使数字化反应堆保护系统触发保护动作；随机选择所述保护动作有效或失效，以生成第二测试用例使数字化反应堆保护系统继续触发保护动作，直到当前的测试过程覆盖一条完整的场景或事故序列为止。本发明还公开了一种核电站数字化反应堆保护系统的测试系统。本发明通过构建较为真实的反应堆保护系统操作剖面，能够有效提高数字化反应堆保护系统的测试效率、测试的充分性和有效性。

公开(公告)号：CN109542787A

公开(公告)日：2019-03-29

申请号：CN201811389281.9

申请日：2018-11-21

申请人： 深圳中广核工程设计有限公司 ,  中广核工程有限公司 ,  中国广核集团有限公司 ,  中国广核电力股份有限公司

发明人： 梁慧慧 ,  谷鹏飞 ,  白涛 ,  刘伟 ,  陈卫华 ,  高峰 ,  叶王平 ,  唐建中 ,  何亚南 ,  王升超 ,  席望 ,  熊伟 ,  凡阳阳

IPC分类号： G06F11/36

摘要： 本发明提供了一种核电厂安全级软件测试方法，包括:根据被测对象的核电厂软件分级，从测试任务库中选取与被测对象安全分级相对应的测试任务；根据测试任务库选择的任务，对软件需求进行与测试任务相适用的分解，定位软件需求；根据测试任务库选择的任务以及对应的软件安全等级，通过专家支持库给出每个测试任务对应的测试项；根据软件需求和测试项，确定软件测试策略，生成测试说明，并执行测试工作，记录测试结果并对所述执行结果进行分析。本发明以较少的测试用例实现核电厂安全级软件的测试，提升测试的充分性和完备性，提升测试效率。同时通过缺陷分析模块可快速定位缺陷原因以及更新专家支持模块，增强平台的准确性和适用性。

公开(公告)号：CN107766256A

公开(公告)日：2018-03-06

申请号：CN201711180067.8

申请日：2017-11-23

申请人： 中广核工程有限公司 ,  中国广核集团有限公司

发明人： 刘伟 ,  王升超 ,  席望 ,  谷鹏飞 ,  陈卫华 ,  白涛 ,  叶王平 ,  梁慧慧 ,  何亚南 ,  唐建中 ,  凡阳阳 ,  熊伟 ,  张超

IPC分类号： G06F11/36

CPC分类号： G06F11/3684

摘要： 本发明公开了一种软件单元测试用例的转化方法，包括：获取软件单元测试用例的编写文件；根据预设转化规则对所述编写文件中的测试用例信息进行变量名称和数据格式的转化；将转化后的测试用例信息按照预设测试用例模板的格式导出，生成满足要求的测试用例。本发明还公开了一种软件单元测试用例的转化系统。本发明能够提高软件单元测试用例的转化效率和转化质量。

公开(公告)号：CN107132837A

公开(公告)日：2017-09-05

申请号：CN201710271555.3

申请日：2017-04-24

申请人： 中广核工程有限公司 ,  中国广核集团有限公司

发明人： 白涛 ,  陈卫华 ,  席望 ,  谷鹏飞 ,  叶王平 ,  刘伟 ,  何亚南 ,  梁慧慧 ,  王升超 ,  唐建中 ,  熊伟

IPC分类号： G05B23/02

CPC分类号： G05B23/0213 ,  G05B2219/24065

摘要： 本发明公开了一种核电站数字化反应堆保护系统的测试方法，包括：随机选取核电站的一个运行工况及所述运行工况下的一个场景或事故；根据所选的运行工况和所述运行工况下的场景或事故生成第一测试用例，以使数字化反应堆保护系统触发保护动作；随机选择所述保护动作有效或失效，以生成第二测试用例使数字化反应堆保护系统继续触发保护动作，直到当前的测试过程覆盖一条完整的场景或事故序列为止。本发明还公开了一种核电站数字化反应堆保护系统的测试系统。本发明通过构建较为真实的反应堆保护系统操作剖面，能够有效提高数字化反应堆保护系统的测试效率、测试的充分性和有效性。

公开(公告)号：CN113075911B

公开(公告)日：2023-01-06

申请号：CN202110313958.6

申请日：2021-03-24

申请人： 中广核工程有限公司 ,  深圳中广核工程设计有限公司 ,  中国广核集团有限公司 ,  中国广核电力股份有限公司

发明人： 梁慧慧 ,  叶王平 ,  刘伟 ,  谢红云 ,  卢超 ,  熊伟 ,  王升超 ,  席望 ,  张超 ,  唐建中 ,  凡阳阳

IPC分类号： G05B19/418

摘要： 本发明涉及核电厂安全级数字化仪控系统软件自动验证方法和系统，包括：获取输入信息；根据输入信息，建立系统控制功能与仪控平台的转换对应追溯表，并定义信号接口；建立逻辑块库；根据转换对应追溯表、信号接口和逻辑块库，生成追溯路径；对追溯路径进行分析，获得追溯性分析结果。本发明建立了基于路径的自动化的图纸可追溯性分析方法，提高核电厂安全级数字化仪控系统应用软件的验证与确认工作的工作效率，减少验证人员的人力投入，提升软件的安全性和可靠性。

公开(公告)号：CN109189039A

公开(公告)日：2019-01-11

申请号：CN201810711572.9

申请日：2018-07-03

申请人： 深圳中广核工程设计有限公司 ,  中广核工程有限公司 ,  中国广核集团有限公司 ,  中国广核电力股份有限公司

发明人： 叶王平 ,  谷鹏飞 ,  陈卫华 ,  高峰 ,  白涛 ,  刘伟 ,  何亚南 ,  席望 ,  梁慧慧 ,  唐建中 ,  王升超 ,  熊伟 ,  凡阳阳

IPC分类号： G05B23/02

摘要： 本发明公开了一种用于核电站的系统可靠性测试方法以及系统，方法包括：通过故障注入的方式使待测系统在不同的加速应力水平下运行；获取待测系统在不同的加速应力水平下运行时的失效数据，并将获取的失效数据还原为正常应力水平下的失效数据；根据正常应力水平下的失效数据获取待测系统的可靠性信息。本发明加速了失效过程，将长时间的可靠性测试缩短到可接受的水平；进一步地，故障模式库包括与待测系统的层级架构对应的几种层级故障，因此可选的故障模式囊括了各种层级故障，可以引发系统各层级协同失效，克服单一应力不足以表征系统失效机理的弊端；通过危害度刻画应力水平，所选取的故障模式的危害度累加符合加速应力水平所对应的危害度要求。