一种基于基准题和蜕变测试的核电设计与安全分析软件验证方法研究.docVIP

一种基于基准题和蜕变测试的核电设计与安全分析软件验证方法研究 第 PAGE \* Arabic \* MERGEFORMAT 1 页 MACROBUTTON MTEditEquationSection2 SEQ MTEqn \r \h \* MERGEFORMAT SEQ MTSec \r 1 \h \* MERGEFORMAT SEQ MTChap \r 1 \h \* MERGEFORMAT 一种基于基准题和蜕变测试的核电设计与安全分析软件验证方法研究 (初稿) 阳小华 闫仕宇 李萌 于涛 谢金森 刘朝晖 刘华 摘 要：基准题计算是核电设计与安全分析软件验证测试的主要方式之一，但存在研制成本高、周期长、题量少的问题。本文提出的方法以基准题作为原始测试用例，依据软件物理计算模型蕴含的蜕变关系，生成更多的衍生测试用例，通过蜕变测试实现软件验证。实例表明，这是一种可行的核电设计与安全分析软件验证测试的方法。 关键字： 核电 设计与分析软件 验证测试 蜕变测试 0 引言 （核电设计与安全分析软件国产化（中核、国核等）面临的问题：如何证明计算机软件的模拟过程是否正确。软件验证和确认（Ｖ＆Ｖ）就是第一步。Ｖ＆Ｖ的概念（尽量简单）） 我国核电软件发展经历了引进国外软件、消化、吸收基础之上、再创新开发出具有中国自主知识产权的核电软件历程。中国核工业集团公司2015年12月正式发布了自主研发的核电软件包和一体化软件集成平台（NESTOR），国家电力投资集团公司同年发布了完全自主知识产权的核电厂核设计与安全分析软件（COSINE）公开测试版本。2015年8月，“华龙一号”通过了国家能源局、国家核安全局牵头组织的专家评审。其安全和性能指标达到了国际三代核电技术的先进水平，具有完整自主知识产权[2]。由此可见，开发具有自主知识产权的核电软件是实现核电“走出去”战略中关键一环。针对国际、国内对核电发展趋势，在软件质量及安全性方面要求更高，其软件质量是关键。 核电设计与安全分析软件主要覆盖了物理设计，屏蔽与源项设计、热工水力设计，系统安全分析、系统与设备设计、核电厂运行支持，以及工程管理等相关计算程序，其核心程序是模拟物理过程的科学计算程序，其用户和开发者会面临一个问题：如何证明计算机软件的模拟过程是否正确[1]。软件的验证（verifecation）和确认（validation）（简称为Ｖ＆Ｖ）就是第一步，是保证软件质量的重要手段。 美国航空航天研究所（AIAA）对验证和确认形成了较贴切的定义[2]。 验证（verifecation）：确定模型的执行是否精确反映了开发者对理论概念的描述和求解过程。 确认（validation）：确定使用的计算模型反映真实世界的现象的精确程度。美国计算机模拟协会（SCS）用图1对验证与确认进行了表示。 图2 V V在模拟过程中的角色 Fig.1 Verification and validation in simulation process 本文针对现有核电设计软件与安全分析软件的验证测试方法的不足，提出一种基于基准题和蜕变测试的核电设计与安全分析软件验证方法。 1、验证测试方法 （程序代码验证分为两部分：数值算法的测试和软件质量保证?（ＳＱＡ）。SQA的基本概念（尽量简单）数值算法的验证测试方法：1）基于简单物理问题解析解的验证测试方法2）基于半解析基准问题的验证测试方法3）基于高精确度基准问题的验证测试方法等等（直接验证法）核电国产软件实际拟采用的验证测试方法：测试充分性问题（引出蜕变测试，间接验证法） ） 文献[]给出了科学计算程序验证活动的模型图，如图2所示。 图2 验证活动 Fig.2 Integrated view of verification assessment for computational physics 验证包含程序验证和解验证( 计算验证) 两个方面，其中程序验证又分为数值算法验证和软件质量保证( software quality assurance, SQA) 。如图2所示， 数值算法的验证过程关注于代码中数值算法执行的正确性，如精确性和有效性。软件质量保证的目的是从软件工程的角度，将代码作为一个软件系统。评估其是否足够可靠和健壮，计算过程是否可在特定硬件、特定系统、特定软件环境下可移植性。本文主要讨论数值算法的验证。 数值算法的验证测试方法包括：基于简单物理问题解析解的验证测试方法；基于半解析基准问题的验证测试方法；基于高精确度基准问题的验证测试方法等直接验证的方法。 基准题计算是核电国产软件实际拟采用的验证测试的主要方式之一，比如在COSINE软件包一期中采用了由美国ANS发布的D