-
公开(公告)号：CN106547695B
公开(公告)日：2019-03-05
申请号：CN201610947172.9
申请日：2016-10-26
IPC: G06F11/36
Abstract: 本发明公开了一种规模软件的测试系统及方法，该测试系统包括：向量生成模块，用于针对被测对象采用功能驱动和随机测试的方法生成测试向量；监测模块，用于根据所述生成测试向量，监测所述被测对象的测试目标集的路径覆盖率，并在监测到所述测试目标集的路径覆盖率达到临界状态时，搜索并获取所述被测对象的测试目标集未被覆盖的路径；以及，模型计算模块，用于根据所述测试目标集未被覆盖的路径建立数学模型，对所述数学模型求解获得所述测试目标集未被覆盖的路径的测试向量。本发明提供一种简洁的测试向量集构建方案，能够提高测试目标集的覆盖率，且提高测试可靠性和测试效率。
-
公开(公告)号：CN101847307B
公开(公告)日：2011-12-14
申请号：CN200910189936.2
申请日：2009-09-01
Applicant: 中广核工程有限公司 , 中国广东核电集团有限公司
CPC classification number: Y02E30/40
Abstract: 本发明涉及一种核电厂数字化报警系统和方法。本发明的核电厂数字化报警系统包括第一检测单元、第二检测单元、手动信号逻辑处理单元、自动信号逻辑处理单元、信号判断单元、逻辑综合处理单元、故障报警单元和失效报警单元。本发明的核电厂数字化报警方法包括接收到自动处理信号时判断是否接收到手动处理信号，是则产生失效报警，否则产生故障报警。本发明解决了核电厂数字化控制系统中无法触发辅助设备报警的弊端，可合理、全面的触发报警，使报警信息和实际信息相一致。
-
公开(公告)号：CN109271306A
公开(公告)日：2019-01-25
申请号：CN201811154960.8
申请日：2018-09-30
Applicant: 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC: G06F11/34
Abstract: 本发明适用于核电技术领域，提供了一种基于故障注入的寿命试验方法、装置、设备及介质。所述方法包括：试验平台接收用户的试验指令；生成失效模拟命令；将所述失效模拟命令发送到所述嵌入式计算平台；嵌入式计算平台采用在被测软件中预先注册的Kprobes接口，执行所述失效模拟命令，并将所述被测软件的输出保存到预设的输出文件中；根据所述输出文件判断所述失效模拟命令的执行结果，并将所述执行结果发送给试验平台；试验平台根据所述执行结果执行相应的操作，并将所述执行结果记录在日志中。本发明的技术方案实现了基于故障注入的软件加速寿命试验，能够在有限的时间内收集到充分的数据进行可靠性评估，缩短试验时间，提高试验效率。
-
公开(公告)号：CN104462933A
公开(公告)日：2015-03-25
申请号：CN201410712835.X
申请日：2014-12-01
Applicant: 中广核工程有限公司 , 中国广核集团有限公司
IPC: G06F21/44
CPC classification number: G06F21/44
Abstract: 本发明公开了一种核电站安全级软件验证与确认方法，该方法包括：建立核电站安全级软件验证与确认对照单，所述对照单至少包括基础文件列、验证文件列以及意见反馈列；在所述基础文件列中输入核电站安全级软件的功能需求信息；验证所述功能需求信息能否被产品功能信息满足；将验证结果写入所述意见反馈列。此外，本发明还公开了一种核电站安全级软件验证与确认系统。本发明通过在核电站安全软件的概念阶段实现验证和确认，避免了安全软件需求方与软件提供方对概念理解不一致导致的软件故障风险。
-
公开(公告)号：CN101789275A
公开(公告)日：2010-07-28
申请号：CN200910105188.5
申请日：2009-01-22
Applicant: 中广核工程有限公司 , 中国广东核电集团有限公司
IPC: G21D3/00 , G05B19/418
Abstract: 本发明涉及一种最小可用配置检测系统及方法，该系统包括功能检测模块、状态检测模块、故障记录模块、计算模块和显示模块；其中计算模块可根据可用级别，计算电站计算机信息与控制系统的最小可用配置级别，以通过与故障状况相比较，判断电站计算机信息与控制系统的可用性；或根据功能检测模块的功能可用性检测结果，判断电站计算机信息与控制系统的可用性；实施本发明的技术方案后，当电站计算机信息与控制系统出现故障，即计算机工作站部分失效时，实现了在保证电站安全性的前提下，根据不同电站工况的监控要求，最大限度的停留在计算机工作站上监控电站，以避免放弃计算机工作站一段时间后引起电站状态后撤，进而提高电站运行经济性。
-
Patent Agency Ranking
公开(公告)号：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: 本发明公开了一种预开发软件核安全级适用性评估的系统测试方法以及系统，方法包括：提取获得预开发软件的基本测试需求；对质量评估活动和适宜性评估活动的结果进行分析以确定系统测试的补充测试需求，补充测试需求用于确认质量评估活动和适宜性评估活动中发现的可能的风险项是否存在；对预开发软件已执行的系统测试进行审查评估，并根据评估结果将基本测试需求和补充测试需求中所有未通过的测试需求确定为最终测试需求，如此可为预开发软件的核安全级适用性认证的系统测试工作提供指导，通过本发明可在降低系统测试需求的同时，通过系统测试充分确认预开发软件在核安全级系统中应用可能存在的风险，提供预开发软件的可靠性的置信度。
-
公开(公告)号：CN108492018A
公开(公告)日：2018-09-04
申请号：CN201810216528.0
申请日：2018-03-16
Applicant: 中广核工程有限公司 , 中国广核集团有限公司
Abstract: 本发明公开了一种核安全级DCS软件工作信赖度的评估方法，包括：获取软件工作过程中的人员参与流程和测试工具实现流程；评估所述人员参与流程的不确定度，获得人员不确定度；评估所述测试工具实现流程的不确定度，获得测试工具不确定度；根据所述人员不确定度和所述测试工具不确定度合成软件工作不确定度，以评估软件工作信赖度。本发明还公开了一种核安全级DCS软件工作信赖度的评估系统。本发明能够定型地评估核安全级DCS软件工作的信赖度，保证核安全级DCS软件正确实现其预定安全功能。
-
公开(公告)号：CN107480051A
公开(公告)日：2017-12-15
申请号：CN201710597261.X
申请日：2017-07-20
Applicant: 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种核电厂数字化反应堆保护系统软件测试系统及方法，包括：概率分配组件，用于对参数生成组件的多个选择模块进行的概率进行分配，并用于对每一所述选择模块的下一步的分支选择进行概率分配；参数生成组件，包括多个选择模块并分别与部分所述概率分配组件连接，用于生成每一轮次测试的期望值以及运行参数值；数据分析组件，与所述参数生成组件连接，用于对每一轮次的所述期望值以及运行参数值进行分析对比，自定义统计并导出多轮次的测试结果。本发明提供的核电厂数字化反应堆保护系统软件测试系统及方法具有操作剖面的随机特性，对参数的取值范围进行全面覆盖，实现测试环境对核电厂运行状态的充分模拟。
-
公开(公告)号：CN106547695A
公开(公告)日：2017-03-29
申请号：CN201610947172.9
申请日：2016-10-26
Applicant: 中广核工程有限公司
IPC: G06F11/36
CPC classification number: G06F11/3676
Abstract: 本发明公开了一种规模软件的测试系统及方法，该测试系统包括：向量生成模块，用于针对被测对象采用功能驱动和随机测试的方法生成测试向量；监测模块，用于根据所述生成测试向量，监测所述被测对象的测试目标集的路径覆盖率，并在监测到所述测试目标集的路径覆盖率达到临界状态时，搜索并获取所述被测对象的测试目标集未被覆盖的路径；以及，模型计算模块，用于根据所述测试目标集未被覆盖的路径建立数学模型，对所述数学模型求解获得所述测试目标集未被覆盖的路径的测试向量。本发明提供一种简洁的测试向量集构建方案，能够提高测试目标集的覆盖率，且提高测试可靠性和测试效率。
-
-
-
-
-
-
-
-
-
Search Results
31
records
(took 0.043 seconds)
