基于基准题的中子扩散程序蜕变测试验证方法

阳小华, 闫仕宇, 李萌, 于涛, 谢金森, 刘朝晖, 刘华

阳小华, 闫仕宇, 李萌, 于涛, 谢金森, 刘朝晖, 刘华. 基于基准题的中子扩散程序蜕变测试验证方法[J]. 原子能科学技术, 2017, 51(7): 1239-1243. DOI: 10.7538/yzk.2017.51.07.1239
引用本文: 阳小华, 闫仕宇, 李萌, 于涛, 谢金森, 刘朝晖, 刘华. 基于基准题的中子扩散程序蜕变测试验证方法[J]. 原子能科学技术, 2017, 51(7): 1239-1243. DOI: 10.7538/yzk.2017.51.07.1239
YANG Xiao-hua, YAN Shi-yu, LI Meng, YU Tao, XIE Jin-sen, LIU Zhao-hui, LIU Hua. Verification Method of Metamorphic Test on Neutron Diffusion Program Based on Benchmark Problem[J]. Atomic Energy Science and Technology, 2017, 51(7): 1239-1243. DOI: 10.7538/yzk.2017.51.07.1239
Citation: YANG Xiao-hua, YAN Shi-yu, LI Meng, YU Tao, XIE Jin-sen, LIU Zhao-hui, LIU Hua. Verification Method of Metamorphic Test on Neutron Diffusion Program Based on Benchmark Problem[J]. Atomic Energy Science and Technology, 2017, 51(7): 1239-1243. DOI: 10.7538/yzk.2017.51.07.1239

基于基准题的中子扩散程序蜕变测试验证方法

Verification Method of Metamorphic Test on Neutron Diffusion Program Based on Benchmark Problem

  • 摘要: 基准题计算是核电设计与安全分析软件验证测试的主要方式之一,但其存在研制成本高、周期长、题量少的问题。本文针对中子扩散程序提出一种新型测试方法,即以基准题作为原始测试用例,依据物理模型蕴含的蜕变关系,生成衍生测试用例,进行蜕变测试验证。实例表明该方法不但可扩充基准题数量,还能提高测试的充分性,是一种很有应用前景的验证测试方法。

     

    Abstract: The benchmark problem computation is one of the main ways on verification test of nuclear power design and safety analysis software, but it has shortcomings of high cost, long cycle, and small number of benchmark problems. A new test method for neutron diffusion program was proposed in this paper, which takes the existing benchmark problem for the original test cases, produces more follow-up test cases based on metamorphic relationships contained in the physical model, and carries out metamorphic test verification on software. The example shows that this method can not only extend the number of benchmark problems, but also improve the adequacy of the test. It is a promising method for verification test.

     

  • [1] 刘占权,杨超,党哈雷,等. COSINE软件包物理系统V&V策略研究[J]. 原子能科学技术,2013,47(增刊):323-326.LIU Zhanquan, YANG Chao, DANG Halei, et al. Research on V&V strategy of reactor physics code of COSINE[J]. Atomic Energy Science and Technology, 2013, 47(Suppl.): 323-326(in Chinese).
    [2] 陈义学,刘占权,胡啸宇,等. COSINE软件包堆芯物理分析程序CORE开发与初步测试验证[J]. 原子能科学技术,2013,47(增刊):365-368.CHEN Yixue, LIU Zhanquan, HU Xiaoyu, et al. Development and preliminary verification of core physics analysis code core of COSINE code package[J]. Atomic Energy Science and Technology, 2013, 47(Suppl.): 365-368(in Chinese).
    [3] 李硕,张斌,刘志彦,等. COSINE软件包组件参数计算程序LATC中SN输运模块的开发与初步验证[J]. 原子能科学技术,2013,47(增刊):338-341.LI Shuo, ZHANG Bin, LIU Zhiyan, et al. Development and preliminary validation of SN transport module in lattice code LATC of COSINE package[J]. Atomic Energy Science and Technology, 2013, 47(Suppl.): 338-341(in Chinese).
    [4] CHEN T Y, CHEUNG S C, YIU S M. Metamorphic testing: A new approach for generating next test cases, technical report HKUST-CS98-01[R]. Hong Kong: University of Science and Technology, 1998.
    [5] CHEN T Y, FENG J, TSE T H. Metamorphic testing of programs on partial differential equations: A case study[C]∥Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment. [S. l.]: IEEE Computer Society, 2002: 327-333.
    [6] CHEN T Y, KUO F C, TSE T H, et al. Metamorphic testing and beyond[C]∥Proceedings of the International Workshop on Software Technology and Engineering Practice (STEP 2003).[S. l.]: IEEE Computer Society, 2003: 94-100.
    [7] CHEN T Y, HUANG D H, TSE T H, et al. Case studies on the selection of useful relations in metamorphic testing[C]∥Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering. [S. l.]: [s. n.], 2004: 569-583.
    [8] ZHOU Z Q, HUANG D H, TSE T H, et al. Metamorphic testing and its applications[C]∥Proceedings of the 8th International Symposium on Future Software Technology. [S. l.]: [s. n.], 2004: 346-351.
    [9] 谢金森. ADS次临界反应堆物理特性的谐波展开法研究[D]. 北京:中国原子能科学研究院,2016.
    [10] SINGH K P, DEGWEKER S B, MODAK R S, et al. Iterative method for obtaining the prompt and delayed alpha-modes of the diffusion equation[J]. Annals of Nuclear Energy, 2011, 38(9): 1996-2004.
计量
  • 文章访问数:  213
  • HTML全文浏览量:  0
  • PDF下载量:  1201
  • 被引次数: 0
出版历程
  • 刊出日期:  2017-07-19

目录

    /

    返回文章
    返回