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

摘要：

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

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

所属期刊栏目：37

分类号：TL363(核反应堆工程)

在线出版日期：2017-02-27（万方平台首次上网日期，不代表论文的发表时间）

页码：90-93