安全级软件V&V活动流程的探讨

来源：核动力工程杂志2016年第6期北京时间：

作者：何鹏, 杨戴博, 朱加良, 李红霞, 余俊辉, 朱毖微

单位：中国核动力研究设计院核反应堆系统设计技术重点实验室, 成都, 610213；

摘要：为了确保核电厂数字化系统中安全级软件的质量,有必要对这些软件开展完善的验证和确认(V&V)活动。在国内外标准体系的指导下,建立合乎标准要求的V&V活动流程,并开展一系列严格和完整的V&V活动,是当前较为可行的提高软件质量的手段。本文以HAD102/16-2004和IEEE 1012-2004为依据,详细探讨了安全级软件开发过程的V&V流程,并对V&V活动中一些重要问题进行了讨论,以期为安全级软件的V&V活动开展提供一定的借鉴。

关键词：安全级软件, V&V, 标准体系, 追踪分析, 人因故障