The invention discloses a method for evaluating the reliability of nuclear safety level DCS software work, which includes: acquiring personnel participation process and testing tool implementation process in the software work process; evaluating the uncertainty of personnel participation process and obtaining personnel uncertainty; evaluating the uncertainty of the testing tool implementation process, and obtaining The test tool uncertainty is obtained, and the software work uncertainty is synthesized according to the personnel uncertainty and the test tool uncertainty to evaluate the software work reliability. The invention also discloses an evaluation system for the reliability of the nuclear safety level DCS software. The invention can stereotypically evaluate the reliability of the nuclear safety level DCS software and ensure that the nuclear safety level DCS software correctly realizes its predetermined safety function.
【技术实现步骤摘要】
一种核安全级DCS软件工作信赖度的评估方法及系统
本专利技术涉及核电站
,尤其涉及一种核安全级DCS软件工作信赖度的评估方法及系统。
技术介绍
由于核电站的高安全性要求,核安全级DCS软件具有高可靠性要求、软件结构复杂等特点,软件代码作为软件的主体,直接决定核电站能否正常有效运行,因此如何保证核安全级DCS软件代码的有效性越来越受到重视。目前核安全级DCS软件通过软件验证与确认工作,一定程度上的保证了核安全级DCS软件的质量。其中软件实现阶段验证与确认的验证对象为代码、数据库结构及相关的机器执行码,主要任务为验证和确认核安全级DCS软件从软件设计说明书到代码的这种转化是否正确、准确和完整,保证软件设计说明书中定义的各个软件模块的功能得到正确实现,未在编码中引入错误,要求的编程规范、习惯和约定在编码中得到了正确贯彻和落实。现有软件实现阶段验证与确认工作具有一定的不足,目前并没有明确的方法评价软件实现阶段验证与确认工作的可信赖程度,即没有明确的方法评价核安全级DCS软件代码的有效性,无法保证核安全级DCS软件正确实现其预定安全功能。
技术实现思路
本专利技术针对现有技术中存在的问题,提供了一种核安全级DCS软件工作信赖度的评估方法及系统,能够定型地评估核安全级DCS软件工作的信赖度,保证核安全级DCS软件正确实现其预定安全功能。本专利技术就上述技术问题而提出的技术方案如下:一方面,本专利技术提供一种核安全级DCS软件工作信赖度的评估方法,包括:获取软件工作过程中的人员参与流程和测试工具实现流程;评估所述人员参与流程的不确定度,获得人员不确定度;评估所述测试工 ...
【技术保护点】
1.一种核安全级DCS软件工作信赖度的评估方法,其特征在于,包括:获取软件工作过程中的人员参与流程和测试工具实现流程;评估所述人员参与流程的不确定度,获得人员不确定度;评估所述测试工具实现流程的不确定度,获得测试工具不确定度;根据所述人员不确定度和所述测试工具不确定度合成软件工作不确定度,以评估软件工作信赖度。
【技术特征摘要】
1.一种核安全级DCS软件工作信赖度的评估方法,其特征在于,包括:获取软件工作过程中的人员参与流程和测试工具实现流程;评估所述人员参与流程的不确定度,获得人员不确定度;评估所述测试工具实现流程的不确定度,获得测试工具不确定度;根据所述人员不确定度和所述测试工具不确定度合成软件工作不确定度,以评估软件工作信赖度。2.如权利要求1所述的核安全级DCS软件工作信赖度的评估方法,其特征在于,所述人员参与流程包括文档审查工作、静态分析工作、代码检查工作、白盒测试工作和黑盒测试工作;所述评估所述人员参与流程的不确定度,获得人员不确定度,具体包括:评估从软件设计说明书到代码的文档审查工作的第一不确定度;评估所述静态分析工作的第二不确定度;评估代码审查或走查工作的第三不确定度;评估所述白盒测试工作的第四不确定度;评估所述黑盒测试工作的第五不确定度;根据所述第一不确定度、所述第二不确定度、所述第三不确定度、所述第四不确定度和所述第五不确定度,计算获得所述人员不确定度。3.如权利要求2所述的核安全级DCS软件工作信赖度的评估方法,其特征在于,所述根据所述第一不确定度、所述第二不确定度、所述第三不确定度、所述第四不确定度和所述第五不确定度,计算获得所述人员不确定度,具体包括:分析软件相关要求与所述第一不确定度、所述第二不确定度、所述第三不确定度、所述第四不确定度和所述第五不确定度之间的比例关系,并根据所述比例关系配置权重;根据所述第一不确定度、所述第二不确定度、所述第三不确定度、所述第四不确定度、所述第五不确定度及相应的权重,计算获得所述人员不确定度。4.如权利要求1所述的核安全级DCS软件工作信赖度的评估方法,其特征在于,所述测试工具实现流程包括静态分析工作、白盒测试工作和黑盒测试工作;所述评估所述测试工具实现流程的不确定度,获得测试工具不确定度,具体包括:分别将所述静态分析工作、所述白盒测试工作和所述黑盒测试工作中所使用到的测试工具进行对比试验,获得每款测试工具的对比试验结果;采用评价算法对所述对比试验结果进行合成,获得所述测试工具不确定度。5.如权利要求1所述的核安全级DCS软件工作信赖度的评估方法,其特征在于,所述人员不确定度是由不同人员的思维习惯、操作方式、工作经验及工作状态的不同所引起的软件工作结果的不确定度;所述测试工具不确定度是由软件其本身的不确定度及工具与代码相互作用所带来的测试结果的不确定度所引起的软件工作结果的不确定度。6.一种核安全级DCS软件工作信赖度的评估系统,其特征在于,包括:获取模块,用于获取...
【专利技术属性】
技术研发人员:熊伟,王升超,谷鹏飞,白涛,刘伟,叶王平,
申请(专利权)人:中广核工程有限公司,中国广核集团有限公司,
类型:发明
国别省市:广东,44
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。