ICS27.120.20 F 65 ZB 备案号：46474-2014 中华人民共和国能源行业标准 NB/Z20289—2014 核电厂软件验证和确认计划编制指南 Guidelines for software verification and validation plan in nuclear power plants 2014-06-29发布 2014-11-01实施 国家能源局发布 NB/Z20289—2014 目次 前言 引言 HI 1范围， 2规范性引用文件 3术语和定义、缩略语、 3.1术语和定义 3.2缩略语 2 4软件验证和确认 2 4.1 总则. 2 4.2 软件V&V规划. 4 4.3 V&V任务详细说明 6 5SVVP指南 12 5. 1 总则. 12 5.2 目的. 12 5.3参考文件 5.4定义 13 5.5V&V概述 13 5.6V&V过程 15 5.7报告 29 5.8V&V管理程序 30 5.9V&V文件要求 35 附A（资料性附录）软件完整性等级和关键性分析 36 附录B（资料性附录）SVVP的8个主题 38 参考文献 43 NB/Z20289—2014 本指导性技术文件按照GB/T1.1一2009给出的规则起草。 本指导性技术文件参考IEEEStd1059-1993《软件验证和确认计划》、IEEEStd1012-2004《软件验证和 确认》编制。 本指导性技术文件由能源行业核电标准化技术委员会提出。 本指导性技术文件由核工业标准化研究所归口。 本指导性技术文件起草单位：中核控制系统工程有限公司、北京广利核系统工程有限公司、国核自仪系统 工程有限公司。 本指导性技术文件主要起草人：马刚、李朝历、郭小星、王怀敬、刘瑞、唐意、张亚栋、李灵坡。 2 NB/Z 20289—2014 随着数字化技术的发展，软件在核电厂仪表和控制系统及电气系统中应用日益广泛，通过在软件生命周期 中执行一系列软件验证和确认（V&V）活动，能够最大限度地揭示软件缺陷，保证软件质最和可靠性。美国核 管会（NRC）导则（RG）1.168支持IEEE1012（RG1.168第2版支持IEEE1012-2004版）。IEEE1012提出 了V&V的基本要求及软件验证和确认计划（SVVP）的内容要求，IEEE1059作为IEEE1012的配套标准，描 述了如何编写符合IEEE1012要求的SVVP。 本指导性技术文件对编写SVVP进行规范和指导。编写合格的SVVP将有效确保V&V活动的顺利开展， 从而保证核电厂仪表和控制系统及也气系统中软件的可靠性。 本指导性技术文件分为5章：第1章为范围；第2章为规范性引用文件；第3章为本指导性技术文件使用 的术语、定义和缩略语；第4章为软件V&V的总则，软件V&V规划及持续跨越生命周期多个阶段的主要V&V 活动（例如可追踪性分析、评价、接口分析、测试）的描述；第5章依次对SVVP的每个部分做了讨论，并提 供了详细指导。多数情况下，对每一部分或任务的指导是以问题或活动清单的形式予以考虑。值得说明的是， 这些清单是不完维的，因为对于任何给定的情况会涉及其他的问题或活动。同样，给定清单中的所有条目也不 是对所有给定的情况都适用。 本指导性技术文件还包含2个附录。附录A为软件完整性等级及关键性分析的描述和概述。附录B为SVVP 中的8个主题。 3 NB/Z20289—2014 核电厂软件验证和确认计划编制指南 1范围 本指导性技术文件规定了核电厂仪表和控制系统及电气系统中的软件验证和确认计划（SVVP）的内容， 为核电厂仪表和控制系统及电气系统中的软件验证和确认（V&V）工作的规划和计划的编制提供具体指导。 本指导性技术文件适用于核电厂仪表和控制系统及电气系统的SVVP编写工作。 2规范性引用文件 下列文件对于本文件的应用是必不可少的。凡是标注日期的引用文件，仅所注日期的版本适用于本文件。 凡是不注日期的引用文件，其最新版木（包括所有的修改单）适用于木文件。 GB/T9385—2008计算机软件需求规格说明规范 GB/T9386—2008计算机软件测试文档编制规范 GB/T11457一2006信息技术软件工程术语 NB/T20063—2012 核电厂仪表和控制术语 HAD102/16核动力厂基于计算机的安全重要系统软件 IEEE1012-2004软件验证和确认（IEEEStandardforSoftwareVerificationandValidation） 3术语和定义、缩略语 3.1术语和定义 下列术语和定义适用于本文件。 3.1.1 验收测试acceptancetesting a）确定系统是否符合其验收标准旦能使客户确定是否接受此系统的正式测试； b) 使用户、客户或其他授权实体确定是否接受系统或部件的正式测试。 [GJB5234—2004,定义3.1.1] 3.1.2 部件测试componenttesting 为验证一个软件单元或相关软件单元组合的准确实现和对程序要求的符合性而进行的测试。 3.1.3 生命周期模型lifecyclemodel 描述软件开发过程中各种活动如何执行的模型。生命周期模型确立了软件开发中各阶段的次序限制以及各 阶段的准则，确立开发过程所遵守的规定和限制，便于各种活动、人员有效地协调和管理。 3. 1.4 软件验证和确认计划softwareverificationandvalidationPlan 描述软件验证和确认如何进行的计划。