公开(公告)号：CN106547695B

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

申请号：CN201610947172.9

申请日：2016-10-26

申请人： 中广核工程有限公司 ,  上海交通大学

发明人： 白涛 ,  胡立生 ,  谷鹏飞 ,  张建波 ,  查敬芳 ,  刘真 ,  叶王平 ,  刘伟 ,  唐建中 ,  梁慧慧 ,  王升超 ,  何亚南

IPC分类号： G06F11/36

摘要： 本发明公开了一种规模软件的测试系统及方法，该测试系统包括：向量生成模块，用于针对被测对象采用功能驱动和随机测试的方法生成测试向量；监测模块，用于根据所述生成测试向量，监测所述被测对象的测试目标集的路径覆盖率，并在监测到所述测试目标集的路径覆盖率达到临界状态时，搜索并获取所述被测对象的测试目标集未被覆盖的路径；以及，模型计算模块，用于根据所述测试目标集未被覆盖的路径建立数学模型，对所述数学模型求解获得所述测试目标集未被覆盖的路径的测试向量。本发明提供一种简洁的测试向量集构建方案，能够提高测试目标集的覆盖率，且提高测试可靠性和测试效率。

公开(公告)号：CN113342881A

公开(公告)日：2021-09-03

申请号：CN202110555933.7

申请日：2021-05-21

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

发明人： 席望 ,  白涛 ,  刘伟 ,  叶王平 ,  史觊 ,  王升超 ,  梁慧慧 ,  张超

IPC分类号： G06F16/248 ,  G06F16/2458

摘要： 本发明提供了一种核电厂仪控系统测试曲线构建方法、装置、设备及介质，方法包括：获取原始输入曲线，根据曲线时间长度t及原始采样周期T，计算原始采样点数N以及坐标；设定目标输入曲线的曲线参数；根据原始输入曲线的曲线斜率对原始输入曲线进行分段，得到m个曲线段；根据插值精度K对每个曲线段进行分段，得到多个曲线分段；对每个曲线分段进行K阶牛顿插值表达式的计算，得到各曲线分段的插值表达式；根据每个曲线分段的时间长度、目标采样点数以及插值表达式计算插值；将已完成插值的曲线分段重新拼接，获得目标曲线。本发明提高统计测试的完备性、准确性、有效性，为核电厂仪控系统统计测试提供技术支撑。

公开(公告)号：CN107480051B

公开(公告)日：2020-07-17

申请号：CN201710597261.X

申请日：2017-07-20

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

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

IPC分类号： G06F11/36

摘要： 本发明公开了一种核电厂数字化反应堆保护系统软件测试系统及方法，包括：概率分配组件，用于对参数生成组件的多个选择模块进行的概率进行分配，并用于对每一所述选择模块的下一步的分支选择进行概率分配；参数生成组件，包括多个选择模块并分别与部分所述概率分配组件连接，用于生成每一轮次测试的期望值以及运行参数值；数据分析组件，与所述参数生成组件连接，用于对每一轮次的所述期望值以及运行参数值进行分析对比，自定义统计并导出多轮次的测试结果。本发明提供的核电厂数字化反应堆保护系统软件测试系统及方法具有操作剖面的随机特性，对参数的取值范围进行全面覆盖，实现测试环境对核电厂运行状态的充分模拟。

公开(公告)号：CN109857664A

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

申请号：CN201910079992.4

申请日：2019-01-28

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

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

IPC分类号： G06F11/36

摘要： 本发明公开了一种预开发软件核安全级适用性评估的系统测试方法以及系统，方法包括：提取获得预开发软件的基本测试需求；对质量评估活动和适宜性评估活动的结果进行分析以确定系统测试的补充测试需求，补充测试需求用于确认质量评估活动和适宜性评估活动中发现的可能的风险项是否存在；对预开发软件已执行的系统测试进行审查评估，并根据评估结果将基本测试需求和补充测试需求中所有未通过的测试需求确定为最终测试需求，如此可为预开发软件的核安全级适用性认证的系统测试工作提供指导，通过本发明可在降低系统测试需求的同时，通过系统测试充分确认预开发软件在核安全级系统中应用可能存在的风险，提供预开发软件的可靠性的置信度。

公开(公告)号：CN108492018A

公开(公告)日：2018-09-04

申请号：CN201810216528.0

申请日：2018-03-16

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

发明人： 熊伟 ,  王升超 ,  谷鹏飞 ,  白涛 ,  刘伟 ,  叶王平

IPC分类号： G06Q10/06 ,  G06Q10/10 ,  G06Q50/06

摘要： 本发明公开了一种核安全级DCS软件工作信赖度的评估方法，包括：获取软件工作过程中的人员参与流程和测试工具实现流程；评估所述人员参与流程的不确定度，获得人员不确定度；评估所述测试工具实现流程的不确定度，获得测试工具不确定度；根据所述人员不确定度和所述测试工具不确定度合成软件工作不确定度，以评估软件工作信赖度。本发明还公开了一种核安全级DCS软件工作信赖度的评估系统。本发明能够定型地评估核安全级DCS软件工作的信赖度，保证核安全级DCS软件正确实现其预定安全功能。

公开(公告)号：CN107480051A

公开(公告)日：2017-12-15

申请号：CN201710597261.X

申请日：2017-07-20

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

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

IPC分类号： G06F11/36

摘要： 本发明公开了一种核电厂数字化反应堆保护系统软件测试系统及方法，包括：概率分配组件，用于对参数生成组件的多个选择模块进行的概率进行分配，并用于对每一所述选择模块的下一步的分支选择进行概率分配；参数生成组件，包括多个选择模块并分别与部分所述概率分配组件连接，用于生成每一轮次测试的期望值以及运行参数值；数据分析组件，与所述参数生成组件连接，用于对每一轮次的所述期望值以及运行参数值进行分析对比，自定义统计并导出多轮次的测试结果。本发明提供的核电厂数字化反应堆保护系统软件测试系统及方法具有操作剖面的随机特性，对参数的取值范围进行全面覆盖，实现测试环境对核电厂运行状态的充分模拟。

公开(公告)号：CN106547695A

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

申请号：CN201610947172.9

申请日：2016-10-26

申请人： 中广核工程有限公司

发明人： 白涛 ,  胡立生 ,  谷鹏飞 ,  张建波 ,  查敬芳 ,  刘真 ,  叶王平 ,  刘伟 ,  唐建中 ,  梁慧慧 ,  王升超 ,  何亚南

IPC分类号： G06F11/36

CPC分类号： G06F11/3676

摘要： 本发明公开了一种规模软件的测试系统及方法，该测试系统包括：向量生成模块，用于针对被测对象采用功能驱动和随机测试的方法生成测试向量；监测模块，用于根据所述生成测试向量，监测所述被测对象的测试目标集的路径覆盖率，并在监测到所述测试目标集的路径覆盖率达到临界状态时，搜索并获取所述被测对象的测试目标集未被覆盖的路径；以及，模型计算模块，用于根据所述测试目标集未被覆盖的路径建立数学模型，对所述数学模型求解获得所述测试目标集未被覆盖的路径的测试向量。本发明提供一种简洁的测试向量集构建方案，能够提高测试目标集的覆盖率，且提高测试可靠性和测试效率。

公开(公告)号：CN113075911A

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

申请号：CN202110313958.6

申请日：2021-03-24

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

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

IPC分类号： G05B19/418

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

公开(公告)号：CN109271306A

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

申请号：CN201811154960.8

申请日：2018-09-30

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

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

IPC分类号： G06F11/34

摘要： 本发明适用于核电技术领域，提供了一种基于故障注入的寿命试验方法、装置、设备及介质。所述方法包括：试验平台接收用户的试验指令；生成失效模拟命令；将所述失效模拟命令发送到所述嵌入式计算平台；嵌入式计算平台采用在被测软件中预先注册的Kprobes接口，执行所述失效模拟命令，并将所述被测软件的输出保存到预设的输出文件中；根据所述输出文件判断所述失效模拟命令的执行结果，并将所述执行结果发送给试验平台；试验平台根据所述执行结果执行相应的操作，并将所述执行结果记录在日志中。本发明的技术方案实现了基于故障注入的软件加速寿命试验，能够在有限的时间内收集到充分的数据进行可靠性评估，缩短试验时间，提高试验效率。

公开(公告)号：CN104462933A

公开(公告)日：2015-03-25

申请号：CN201410712835.X

申请日：2014-12-01

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

发明人： 郑添 ,  刘真 ,  陈卫华 ,  高峰 ,  叶王平 ,  唐建中 ,  白涛 ,  梁慧慧 ,  彭华清 ,  周军 ,  谷鹏飞 ,  张建波 ,  何亚南 ,  王升超

IPC分类号： G06F21/44

CPC分类号： G06F21/44

摘要： 本发明公开了一种核电站安全级软件验证与确认方法，该方法包括：建立核电站安全级软件验证与确认对照单，所述对照单至少包括基础文件列、验证文件列以及意见反馈列；在所述基础文件列中输入核电站安全级软件的功能需求信息；验证所述功能需求信息能否被产品功能信息满足；将验证结果写入所述意见反馈列。此外，本发明还公开了一种核电站安全级软件验证与确认系统。本发明通过在核电站安全软件的概念阶段实现验证和确认，避免了安全软件需求方与软件提供方对概念理解不一致导致的软件故障风险。