基于蜕变测试的点燃耗程序验证研究

Study on Verification of the Point Depletion Program Based on Metamorphic Testing

由于核素数量庞大,并且存在短半衰期核素和闭环燃耗链,难以构造预期输出,点燃耗程序验证面对测试预言问题。这使得高度依赖于测试预言的传统测试方法不可用,甚至无效。蜕变测试虽然是解决测试预言问题一种有效方法,因蜕变关系难以识别,因此尚未能在核设计软件验证中广泛应用。在分析燃耗计算物理性质的基础上,识别蜕变关系,并将蜕变测试应用于点燃耗程序的验证。实验表明在没有测试预言的情况下,通过比较程序的多次输出,蜕变测试能有效地检测出程序缺陷。此外,即使原始程序以及TTA检测失效,蜕变测试仍然揭示了代码缺陷。本研究为蜕变测试在核设计领域的应用提供有益参考。

Due to a large number of nuclides and the existence of short half-life nuclides and closed-cycle nuclide depletion chains,it is hard to construct the expected outputs,and the verification of burnup programs faced test oracle problem.It makes these traditional test methods that rely heavily on test oracle unavailable or even ineffective.Although metamorphic testing is an effective method to solve the test oracle problem,it is difficult to identify the metamorphic relation.Hence it has not been widely used in nuclear design software verification.Based on the analysis of the physical properties of the point depletion calculation program,the metamorphic relation is identified,and the metamorphic testing is applied to those codes.It can be shown from experiments that metamorphic testing can still effectively detect program defects by comparing multiple outputs of the program without test oracle.Furthermore,when the original program and TTA work invalid,the metamorphic testing yet reveals the code faults.This study provides a useful reference for the application of metamorphic testing in the field of nuclear design.