[发明专利]一种核安全级DCS软件工作信赖度的评估方法及系统在审
申请号: | 201810216528.0 | 申请日: | 2018-03-16 |
公开(公告)号: | CN108492018A | 公开(公告)日: | 2018-09-04 |
发明(设计)人: | 熊伟;王升超;谷鹏飞;白涛;刘伟;叶王平 | 申请(专利权)人: | 中广核工程有限公司;中国广核集团有限公司 |
主分类号: | G06Q10/06 | 分类号: | G06Q10/06;G06Q10/10;G06Q50/06 |
代理公司: | 深圳市顺天达专利商标代理有限公司 44217 | 代理人: | 蔡晓红;柯夏荷 |
地址: | 518023 广东省深圳市大*** | 国省代码: | 广东;44 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 不确定度 核安全级 信赖度 测试工具 评估 安全功能 合成软件 评估软件 评估系统 定型 保证 | ||
本发明公开了一种核安全级DCS软件工作信赖度的评估方法,包括:获取软件工作过程中的人员参与流程和测试工具实现流程;评估所述人员参与流程的不确定度,获得人员不确定度;评估所述测试工具实现流程的不确定度,获得测试工具不确定度;根据所述人员不确定度和所述测试工具不确定度合成软件工作不确定度,以评估软件工作信赖度。本发明还公开了一种核安全级DCS软件工作信赖度的评估系统。本发明能够定型地评估核安全级DCS软件工作的信赖度,保证核安全级DCS软件正确实现其预定安全功能。
技术领域
本发明涉及核电站技术领域,尤其涉及一种核安全级DCS软件工作信赖度的评估方法及系统。
背景技术
由于核电站的高安全性要求,核安全级DCS软件具有高可靠性要求、软件结构复杂等特点,软件代码作为软件的主体,直接决定核电站能否正常有效运行,因此如何保证核安全级DCS软件代码的有效性越来越受到重视。
目前核安全级DCS软件通过软件验证与确认工作,一定程度上的保证了核安全级DCS软件的质量。其中软件实现阶段验证与确认的验证对象为代码、数据库结构及相关的机器执行码,主要任务为验证和确认核安全级DCS软件从软件设计说明书到代码的这种转化是否正确、准确和完整,保证软件设计说明书中定义的各个软件模块的功能得到正确实现,未在编码中引入错误,要求的编程规范、习惯和约定在编码中得到了正确贯彻和落实。
现有软件实现阶段验证与确认工作具有一定的不足,目前并没有明确的方法评价软件实现阶段验证与确认工作的可信赖程度,即没有明确的方法评价核安全级DCS软件代码的有效性,无法保证核安全级DCS软件正确实现其预定安全功能。
发明内容
本发明针对现有技术中存在的问题,提供了一种核安全级DCS软件工作信赖度的评估方法及系统,能够定型地评估核安全级DCS软件工作的信赖度,保证核安全级DCS软件正确实现其预定安全功能。
本发明就上述技术问题而提出的技术方案如下:
一方面,本发明提供一种核安全级DCS软件工作信赖度的评估方法,包括:
获取软件工作过程中的人员参与流程和测试工具实现流程;
评估所述人员参与流程的不确定度,获得人员不确定度;
评估所述测试工具实现流程的不确定度,获得测试工具不确定度;
根据所述人员不确定度和所述测试工具不确定度合成软件工作不确定度,以评估软件工作信赖度。
进一步地,所述人员参与流程包括文档审查工作、静态分析工作、代码检查工作、白盒测试工作和黑盒测试工作;
所述评估所述人员参与流程的不确定度,获得人员不确定度,具体包括:
评估从软件设计说明书到代码的文档审查工作的第一不确定度;
评估所述静态分析工作的第二不确定度;
评估代码审查或走查工作的第三不确定度;
评估所述白盒测试工作的第四不确定度;
评估所述黑盒测试工作的第五不确定度;
根据所述第一不确定度、所述第二不确定度、所述第三不确定度、所述第四不确定度和所述第五不确定度,计算获得所述人员不确定度。
进一步地,所述根据所述第一不确定度、所述第二不确定度、所述第三不确定度、所述第四不确定度和所述第五不确定度,计算获得所述人员不确定度,具体包括:
分析软件相关要求与所述第一不确定度、所述第二不确定度、所述第三不确定度、所述第四不确定度和所述第五不确定度之间的比例关系,并根据所述比例关系配置权重;
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中广核工程有限公司;中国广核集团有限公司,未经中广核工程有限公司;中国广核集团有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201810216528.0/2.html,转载请声明来源钻瓜专利网。
- 同类专利
- 专利分类
G06Q 专门适用于行政、商业、金融、管理、监督或预测目的的数据处理系统或方法;其他类目不包含的专门适用于行政、商业、金融、管理、监督或预测目的的处理系统或方法
G06Q10-00 行政;管理
G06Q10-02 .预定,例如用于门票、服务或事件的
G06Q10-04 .预测或优化,例如线性规划、“旅行商问题”或“下料问题”
G06Q10-06 .资源、工作流、人员或项目管理,例如组织、规划、调度或分配时间、人员或机器资源;企业规划;组织模型
G06Q10-08 .物流,例如仓储、装货、配送或运输;存货或库存管理,例如订货、采购或平衡订单
G06Q10-10 .办公自动化,例如电子邮件或群件的计算机辅助管理