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

一种基于基准题的核电设计与安全分析软件蜕变测试验证方法研究-阳16.12.2 PAGE 第 PAGE \* Arabic \* MERGEFORMAT 7 页 收稿日期：2016年9月-日；修回日期： 基金项目:湖南省教育厅科学研究项目(2016C1380) 作者简介：阳小华（1963-），男，湖南衡阳，教授，博士，计算机软件 MACROBUTTON MTEditEquationSection2 SEQ MTEqn \r \h \* MERGEFORMAT SEQ MTSec \r 1 \h \* MERGEFORMAT SEQ MTChap \r 1 \h \* MERGEFORMAT 一种基于基准题的中子扩散程序蜕变测试验证方法 阳小华1,2，闫仕宇1,2，李萌2，于涛2，谢金森2，刘朝晖1,2，刘华2 (1. 南华大学计算机科学与技术学院 湖南衡阳 421001；2. 中核集团高可信计算重点学科实验室，湖南衡阳 421001) 摘要：基准题计算是核电设计与安全分析软件验证测试的主要方式之一，但存在研制成本高、周期长、题量少的问题。针对中子扩散程序提出一种新型测试方法，即以基准题作为原始测试用例，依据物理模型蕴含的蜕变关系，生成衍生测试用例，进行蜕变测试验证，提高测试的充分性。通过实例说明了方法的可行性，并探讨了应用前景和需要解决的关键问题。 关键词：核电；设计与分析软件；验证测试；蜕变测试 中图分类号：TL339 文献标志码：A 文章编号： A Verification Method of Metamorphic Testing Research on the Neutron Diffusion Program in Nuclear Power based on Benchmark Problem Yang Xiaohua1,2，Yan Shiyu1,2，Li Meng2，Yu Tao2，Xie Jinsen 2，Liu Zhaohui1,2，Liu Hua2， (1. School of Computer Science and Technology, University of South China, Hengyang 421001; 2. CNNC key laboratory on high trusted computing, Hengyang 421001, China) Abstract： The benchmark problem computing is one of the main ways on Verification test of nuclear power design and safety analysis software, but it has shortcomings with high cost, long cycle, small?number?of?benchmark problems. This article proposes the method which takes the existing benchmark problem for the original test cases, produce more follow-up test case based on metamorphic relationships contained in the physical model, and verification test on software by Metamorphic Testing. Example shows that this is a viable verification test method in nuclear power design and safety analysis software. Key words：Nuclear Power; Design and Safety Analysis Software; Verification; Metamorphic Testing 我国核电软件正在经历引进、消化、吸收、再创新开发具有自主知识产权软件的发展历程。中国核工业集团公司2015年12月正式发布了自主研发的核电软件包和一体化软件集成平台（NESTOR），国家电力投资集团公司同年发布了完全自主知识产权的核电设计与安全分析软件（COSINE）公开测试版本。 核电设计与安全分析软件覆盖了反应堆物理计算、热工水力计算、安全分析、严重事故分析、燃料设计、力学分析等各类程序，其核心是模拟物理过程的科学计算程序。为了得到