核电厂安全系统软件验证和确认方法探索

• 作者: 龚益
• 来源期刊: 低压电器
• 学科: 工学
• 关键词: 核电厂 安全系统 验证和确认 软件寿期
• 年，卷（期）: 2004,（5）
• 所属期刊栏目: 计算机及PLC应用
• 页码范围: 27-30,57
• 页数: 5页
• 分类号: TP319
• 字数: 3733字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-5531.2004.05.008

摘要

核电厂安全系统软件的可靠性直接影响核电厂的安全运行.如何保证该类软件的可靠性是必须解决的问题.对软件寿期各阶段进行验证和确认是保证软件可靠性的方法.在开发新的软件时,从要求规范的确定到系统集成的开发过程的每个阶段都存在引入错误的可能.软件验证的首要作用是在软件寿期内尽可能早地发现及纠正错误;其次是为已排除了所有影响系统性能的软件错误提供保证.软件的确认为软件满足所有特定的要求提供了证明和保证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	龚益		1	8	1.0	1.0