论文部分内容阅读
关键性分析是核电厂软件验证与确认过程最初始的环节,也是其他V&V工作的基础。该文针对核电厂安全相关级系统的软件,结合IEEE Std 1012标准,建立了一种适用于软件开发各个阶段的关键性分析的具体执行方法,最大限度地对核电厂安全相关级软件关键性分析工作进行了标准化,从而有效提高了软件验证与确认工作的效力。