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