基于蜕变测试的热传导程序的验证测试研究
作者机构：南华大学计算机科学技术学院湖南衡阳4221001 中核集团高可信计算学科重点实验室湖南衡阳421001
出 版 物：《核科学与工程》 (Nuclear Science and Engineering)
年 卷 期：2017年第37卷第3期
页 码：380-385页
摘 要：核电设计与分析软件的数值计算程序的验证测试过程,受制于代码中数值算法执行的正确性,但存在Oracle问题,即测试人员很难构造或者得到程序的预期输出来验证程序计算结果是否正确。蜕变测试无需程序预期值来验证结果,已应用于软件测试领域,其蜕变关系是关键。本文应用蜕变测试技术,以堆芯燃料元件热传导程序为例,从数值计算模型中导出蜕变关系,实例初步验证该蜕变关系的有效性,也表明蜕变测试技术可以在核电设计与分析软件验证测试中发挥作用。
学科分类：08[工学] 082701[082701] 0827[工学-食品科学与工程类]
核心收录：
D O I：10.3969/j.issn.0258-0918.2017.03.007
馆 藏 号：203236857...
