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