核安全关键软件验证与确认技术.docVIP

核安全关键软件验证与确认技术 　　摘 要：近年来，随着核动力技术的快速发展，核动力单位核安全关键软件也实现了数字化的发展。在核动力厂核安全关键软件的运行和使用过程中，软件的验证与确认技术是最为关键的一个环节。本文就对核安全关键软件的验证与确认内涵及其主要方法进行了分析。 　　关键词：核安全；关键软件；验证；确认技术 　　中图分类号：TL364 　　关键软件系统是核动力厂运行的中枢神经系统，也是为核动力厂可靠、安全运行提供保障的基础性装备。现阶段，核动力厂关键软件系统已经逐步实现了模拟系统向数字化系统的发展和过度，且两者之间差异主要表现为软件的引入。为了进一步完善数字化软件控制系统，提高关键软件运行的可行度，有必要对核安全关键软件进行全面认知的验证和确认（VV）。 　　1 关键软件的验证与确认介绍 　　核动力厂安全软件的设计与开发是一种逐步渐进的过程，软件系统的设计与实现设计多个环节，且各个环节之间根据特定的顺序相互连接，共同构成软件开发整体。所有的核安全关键软件在其开发设计过程中均以上一环节的工作结果为基础，且这一阶段的工作结果也是下阶段开发工作的基础，并为其提供所需输入的信息。核安全关键软件的验证与确认结果是软件产品质量和价值评价的主要依据，且贯穿于软件系统的整个使用周期中，是软件开发设计过程的一个重要环节。核安全关键软件验证与确认的主要目标在于提高软件产品的质量，使其满足软件使用者的各项基本需要。核安全关键软件验证与确认过程中所应用的测试、分析和审查技术共同构成了一个较为系统的软件开发和设计过程，有助于软件质量和功能的改进。 　　2 核安全关键软件验证与确认方案设计 　　核安全关键软件验证与确认工作的主要作用在于通过相关证据的收集，形成系统性文件，用以证明各个软件熊开发环节均符合安全性与可靠性要求。核安全关键软件验证与确认计划是验证与确认过程最终结果的代表性文件，按照IEEE 1021对其定义进行的总结，该计划主要包括下述三个构成部分：第一，所有的核安全关键软件验证与确认文件，包括确认与验证的测??文件，以及确认与验证报告等等；第二，对软件系统运行过程中需要完成的确认与验证任务、活动进行准确定义；第三，对软件系统进行确认与验证的综合性成果信息，包括确认与验证的时间进度、确认与验证的组织活动、参考标准、专用名词内涵以及确认与验证的基本目标等等。本文所述研究的主要内容在于核安全关键软件确认与验证方案的选择与设计，以及与其相关的各项任务和活动。 　　3 核安全关键软件验证与确认活动 　　核安全关键软件确认与验证活动的主要作用在于对各个开发环节是否符合这一阶段设定目标进行准确判断，同时，判断这一环节内软件系统是否符合其设定的用户需要和结果。核安全关键软件确认与验证活动是软件系统设计开发过程中的主要环节，其主要任务包括：第一，对核安全关键软件验证与确认环节的开发结果进行分析，确认其是否满足系统和软件的需求；第二，核安全关键软件设计开发过程中所有环节的结构都应满足上一阶段的开发需要，以及该阶段的预定标准，从而为下一阶段的设计开发工作奠定良好的初始条件。 　　本文为核安全关键软件的验证与确认方案设定了8项确认与验证目标或活动，现进行详细说明： 　　第一，核安全关键软件确认与验证过程的管理。核安全关键软件确认与验证过程的管理活动通常会贯穿于整个软件的确认与验证活动的全过程，对软件开发的实施、组织和规划过程进行全面详细的确认与验证，且各项活动之间存在紧密的联系，共同形成了一个涉及整个软件运行周期的确认与验证过程。核安全关键软件确认与验证过程的管理的最终目的在于软件确认与验证计划的制定，以及软件运行过程中计划的完善和修改。 　　第二，软件维护的确认与验证。对于因有性能改进需要或存在问题而应修改相关文档和代码的软件，软件维护过程则具有一定的必要性，软件维护的确认与验证工作包括软件退役、软件移植和软件修改等多个环节。软件维护的确认与验证活动主要涉及软件的修改以及常见问题的分析，软件修改目标的达成，有助于软件系统功能的审查，以及软件退役、移植需求的满足[1]。 　　第三，软件运行的确认与验证。核安全关键软件运行过程涉及软件产品的客户服务和操作等环节。软件运行的确认与验证指的是在特定操作环境内，最终用户对软件产品的操作，能够对用户支持、系统操作和操作测试等进行较为准确的评估。软件运行的确认与验证目的在于对系统的潜在变化情况和约束条件等进行评价，同时评估软件产品的可用性与准确性[2]。 　　第四，软件检查和安装过程的确认与验证。软件检查和安装过程的确认与验证活动主要包括软件产品的测试提交、软件用户的审查接受和软件的目标安装环境等，其主要作用在于对目标环境中软件安装的准确性进行确认与验证[3]。 　　第五，软件测试的确认