-
公开(公告)号：CN113010152B
公开(公告)日：2024-09-20
申请号：CN202110313444.0
申请日：2021-03-24
Applicant: 中广核工程有限公司 , 深圳中广核工程设计有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC: G06F8/20 , G06F8/38 , G06Q10/0631
Abstract: 本发明涉及一种核电厂安全级软件设计系统和方法，包括：对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理，以确定核电厂安全级软件设计开发的基线内容的基线配置模块，根据基线内容对核电厂安全级软件进行设计开发获得开发内容的软件设计模块，根据软件设计模块的设计开发生成软件设计开发文档的文档生成模块，对软件设计开发过程中产生的变更进行记录的设计变更模块和对软件设计的关键信息进行线上审核并输出审核结果的专家评审模块；专家评审模块还基于变更内容进行线上审核并输出变更结果。本发明充分考虑核电厂的特有属性进行安全级软件设计开发，既能满足核电厂安全级软件设计的需求，同时还大大缩短研发周期，降低研发成本。
-
公开(公告)号：CN109542787B
公开(公告)日：2022-06-07
申请号：CN201811389281.9
申请日：2018-11-21
Applicant: 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种核电厂安全级软件测试方法，包括:根据被测对象的核电厂软件分级，从测试任务库中选取与被测对象安全分级相对应的测试任务；根据测试任务库选择的任务，对软件需求进行与测试任务相适用的分解，定位软件需求；根据测试任务库选择的任务以及对应的软件安全等级，通过专家支持库给出每个测试任务对应的测试项；根据软件需求和测试项，确定软件测试策略，生成测试说明，并执行测试工作，记录测试结果并对所述执行结果进行分析。本发明以较少的测试用例实现核电厂安全级软件的测试，提升测试的充分性和完备性，提升测试效率。同时通过缺陷分析模块可快速定位缺陷原因以及更新专家支持模块，增强平台的准确性和适用性。
-
公开(公告)号：CN113010152A
公开(公告)日：2021-06-22
申请号：CN202110313444.0
申请日：2021-03-24
Applicant: 中广核工程有限公司 , 深圳中广核工程设计有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
Abstract: 本发明涉及一种核电厂安全级软件设计系统和方法，包括：对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理，以确定核电厂安全级软件设计开发的基线内容的基线配置模块，根据基线内容对核电厂安全级软件进行设计开发获得开发内容的软件设计模块，根据软件设计模块的设计开发生成软件设计开发文档的文档生成模块，对软件设计开发过程中产生的变更进行记录的设计变更模块和对软件设计的关键信息进行线上审核并输出审核结果的专家评审模块；专家评审模块还基于变更内容进行线上审核并输出变更结果。本发明充分考虑核电厂的特有属性进行安全级软件设计开发，既能满足核电厂安全级软件设计的需求，同时还大大缩短研发周期，降低研发成本。
-
公开(公告)号：CN107957949B
公开(公告)日：2020-08-11
申请号：CN201711290452.8
申请日：2017-12-08
Applicant: 中广核工程有限公司 , 中国广核集团有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种核电厂反应堆保护系统的测试方法，包括：根据核电厂事故发展阶段及每一阶段所触发的保护设备构建设备序列；每设置所述设备序列中的至少一个保护设备失效，则构建一个设备失效状态；在预先选定的事故场景中，分别获取每个设备失效状态下的核电厂运行参数变化曲线；随机选取一个变化曲线，并将所述变化曲线对应的运行参数输入至保护系统进行测试。本发明还公开了一种核电厂反应堆保护系统的测试系统。本发明能够提高保护系统测试的充分性、完备性和真实性。
-
公开(公告)号：CN107132837B
公开(公告)日：2019-07-23
申请号：CN201710271555.3
申请日：2017-04-24
Applicant: 中广核工程有限公司 , 中国广核集团有限公司
IPC: G05B23/02
Abstract: 本发明公开了一种核电站数字化反应堆保护系统的测试方法，包括：随机选取核电站的一个运行工况及所述运行工况下的一个场景或事故；根据所选的运行工况和所述运行工况下的场景或事故生成第一测试用例，以使数字化反应堆保护系统触发保护动作；随机选择所述保护动作有效或失效，以生成第二测试用例使数字化反应堆保护系统继续触发保护动作，直到当前的测试过程覆盖一条完整的场景或事故序列为止。本发明还公开了一种核电站数字化反应堆保护系统的测试系统。本发明通过构建较为真实的反应堆保护系统操作剖面，能够有效提高数字化反应堆保护系统的测试效率、测试的充分性和有效性。
-
Patent Agency Ranking
公开(公告)号：CN109542787A
公开(公告)日：2019-03-29
申请号：CN201811389281.9
申请日：2018-11-21
Applicant: 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种核电厂安全级软件测试方法，包括:根据被测对象的核电厂软件分级，从测试任务库中选取与被测对象安全分级相对应的测试任务；根据测试任务库选择的任务，对软件需求进行与测试任务相适用的分解，定位软件需求；根据测试任务库选择的任务以及对应的软件安全等级，通过专家支持库给出每个测试任务对应的测试项；根据软件需求和测试项，确定软件测试策略，生成测试说明，并执行测试工作，记录测试结果并对所述执行结果进行分析。本发明以较少的测试用例实现核电厂安全级软件的测试，提升测试的充分性和完备性，提升测试效率。同时通过缺陷分析模块可快速定位缺陷原因以及更新专家支持模块，增强平台的准确性和适用性。
-
公开(公告)号：CN107766256A
公开(公告)日：2018-03-06
申请号：CN201711180067.8
申请日：2017-11-23
Applicant: 中广核工程有限公司 , 中国广核集团有限公司
IPC: G06F11/36
CPC classification number: G06F11/3684
Abstract: 本发明公开了一种软件单元测试用例的转化方法，包括：获取软件单元测试用例的编写文件；根据预设转化规则对所述编写文件中的测试用例信息进行变量名称和数据格式的转化；将转化后的测试用例信息按照预设测试用例模板的格式导出，生成满足要求的测试用例。本发明还公开了一种软件单元测试用例的转化系统。本发明能够提高软件单元测试用例的转化效率和转化质量。
-
公开(公告)号：CN107132837A
公开(公告)日：2017-09-05
申请号：CN201710271555.3
申请日：2017-04-24
Applicant: 中广核工程有限公司 , 中国广核集团有限公司
IPC: G05B23/02
CPC classification number: G05B23/0213 , G05B2219/24065
Abstract: 本发明公开了一种核电站数字化反应堆保护系统的测试方法，包括：随机选取核电站的一个运行工况及所述运行工况下的一个场景或事故；根据所选的运行工况和所述运行工况下的场景或事故生成第一测试用例，以使数字化反应堆保护系统触发保护动作；随机选择所述保护动作有效或失效，以生成第二测试用例使数字化反应堆保护系统继续触发保护动作，直到当前的测试过程覆盖一条完整的场景或事故序列为止。本发明还公开了一种核电站数字化反应堆保护系统的测试系统。本发明通过构建较为真实的反应堆保护系统操作剖面，能够有效提高数字化反应堆保护系统的测试效率、测试的充分性和有效性。
-
公开(公告)号：CN113075911A
公开(公告)日：2021-07-06
申请号：CN202110313958.6
申请日：2021-03-24
Applicant: 中广核工程有限公司 , 深圳中广核工程设计有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC: G05B19/418
Abstract: 本发明涉及核电厂安全级数字化仪控系统软件自动验证方法和系统，包括：获取输入信息；根据输入信息，建立系统控制功能与仪控平台的转换对应追溯表，并定义信号接口；建立逻辑块库；根据转换对应追溯表、信号接口和逻辑块库，生成追溯路径；对追溯路径进行分析，获得追溯性分析结果。本发明建立了基于路径的自动化的图纸可追溯性分析方法，提高核电厂安全级数字化仪控系统应用软件的验证与确认工作的工作效率，减少验证人员的人力投入，提升软件的安全性和可靠性。
-
公开(公告)号：CN109271306A
公开(公告)日：2019-01-25
申请号：CN201811154960.8
申请日：2018-09-30
Applicant: 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC: G06F11/34
Abstract: 本发明适用于核电技术领域，提供了一种基于故障注入的寿命试验方法、装置、设备及介质。所述方法包括：试验平台接收用户的试验指令；生成失效模拟命令；将所述失效模拟命令发送到所述嵌入式计算平台；嵌入式计算平台采用在被测软件中预先注册的Kprobes接口，执行所述失效模拟命令，并将所述被测软件的输出保存到预设的输出文件中；根据所述输出文件判断所述失效模拟命令的执行结果，并将所述执行结果发送给试验平台；试验平台根据所述执行结果执行相应的操作，并将所述执行结果记录在日志中。本发明的技术方案实现了基于故障注入的软件加速寿命试验，能够在有限的时间内收集到充分的数据进行可靠性评估，缩短试验时间，提高试验效率。
-
-
-
-
-
-
-
-
-
Search Results
20
records
(took 0.034 seconds)
