期刊检索

  • 2019年第51卷
  • 2018年第50卷
  • 2017年第49卷
  • 2016年第48卷
  • 2015年第47卷
  • 2014年第46卷
  • 2013年第45卷
  • 2012年第44卷
  • 2011年第43卷
  • 2010年第42卷
  • 第1期
  • 第2期

主管单位 中华人民共和国
工业和信息化部
主办单位 哈尔滨工业大学 主编 冷劲松 国际刊号ISSN 0367-6234 国内刊号CN 23-1235/T

期刊网站二维码
微信公众号二维码
引用本文:闫仕宇,阳小华,刘志明,王瑶.堆芯稳态核设计程序验证基准题衍生技术研究[J].哈尔滨工业大学学报,2019,51(11):160.DOI:10.11918/j.issn.0367-6234.201901149
YAN Shiyu,YANG Xiaohua,LIU Zhiming,WANG Yao.Research on benchmark derivation techniques in verification of steady state nuclear reactor core design programs[J].Journal of Harbin Institute of Technology,2019,51(11):160.DOI:10.11918/j.issn.0367-6234.201901149
【打印本页】   【HTML】   【下载PDF全文】   查看/发表评论  下载PDF阅读器  关闭
过刊浏览    高级检索
本文已被:浏览 141次   下载 167 本文二维码信息
码上扫一扫!
分享到: 微信 更多
堆芯稳态核设计程序验证基准题衍生技术研究
闫仕宇,阳小华,刘志明,王瑶
(南华大学计算机学院,湖南 衡阳 421001)
摘要:
软件验证是保证核电软件质量的必经步骤之一,基准题验证是核电软件验证的一种重要手段.基准题的数据来源主要是通过自主实验、收集核电厂运行数据、加入国际实验研究计划和购买国际基准题的数据等传统方法获取,但是存在成本高,周期长的问题.为了给堆芯稳态核设计程序验证测试提供更多的验证基准题,本文基于蜕变测试原理提出一种基准题衍生技术,该技术首先建立基准题衍生框架,主要思想是根据蜕变关系的参变量及关系式,直接对原始基准题的相关输入和输出参变量进行计算求解,得到衍生基准题(新的测试用例).再者,针对基准题以固定格式输入卡的形式实现待测程序数据输入的特点,为了提高衍生效率,设计基准题自动衍生算法,开发基准题自动衍生工具系统.最后,以堆芯稳态中子扩散程序的二维、三维基准题的衍生为实例展示.结果表明,该技术可自动地实现单个或者批量生成二维,三维衍生基准题.不但生成数据准确、效率高,而且比传统的方法成本低.
关键词:  堆芯稳态核设计  基准题  衍生技术  核电软件  验证
DOI:10.11918/j.issn.0367-6234.201901149
分类号:TP319
文献标识码:A
基金项目:国家自然科学基金(3,5);国防科技创新特区前沿创新计划(18-163-15-LZ-001-002-09)
Research on benchmark derivation techniques in verification of steady state nuclear reactor core design programs
YAN Shiyu,YANG Xiaohua,LIU Zhiming,WANG Yao
(Computer School, University of South China, Hengyang 421001, Hunan, China)
Abstract:
Verification is one of the necessary steps to ensure the quality of nuclear power software, and benchmark calculation is an important mean of nuclear power software verification. The traditional methods of obtaining benchmark data mainly include independent experiments, collecting operation data of nuclear power plants, joining international experimental research programs, and purchasing data of international benchmarks. However, they have the problems of high cost and long cycle. In order to provide more benchmarks for the verification of steady state nuclear reactor core design programs, a benchmark derivation technique based on metamorphic testing principle is proposed in this paper. First, the technology established the framework of benchmark derivation, whose main idea is to directly calculate and solve the related input and output parameters of the original benchmark according to the parameters and relations of the metamorphic relationship, so as to obtain the derived benchmark (new test cases). Furthermore, aiming at the characteristic that the benchmark problems can input the data of the program under test in the form of a fixed format input card, an automatic derivation algorithm for benchmark questions was designed and a benchmark automatic derivation system was developed to improve the efficiency of derivation. Finally, the two-dimensional and three-dimensional benchmarks of the steady state neutron diffusion program were demonstrated as examples. Results show that the technology can automatically generate two-dimensional and three-dimensional derivative benchmarks in a single or batch way, which not only generates data accurately and efficiently, but also costs less than traditional methods.
Key words:  steady state nuclear reactor core design  benchmark  derivative technique  nuclear software  verification

友情链接LINKS