基于蜕变测试的热传导程序的验证测试研究

核电设计与分析软件的数值计算程序的验证测试过程,受制于代码中数值算法执行的正确性,但存在Oracle问题,即测试人员很难构造或者得到程序的预期输出来验证程序计算结果是否正确。蜕变测试无需程序预期值来验证结果,已应用于软件测试领域,其蜕变关系是关键。本文应用蜕变测试技术,以堆芯燃料元件热传导程序为例,从数值计算模型中导出蜕变关系,实例初步验证该蜕变关系的有效性,也表明蜕变测试技术可以在核电设计与分析软件验证测试中发挥作用。

Research of Verification Test for Heat Transfer Program Based on Metamorphic Testing

Verification test process of numerical calculation program in Nuclear power design analysis software,focus on the correctness of the numerical algorithms execution. But it has Oracle problems,namely the testers are difficult to construct or get program expected output to verify the calculation results are correct. Metamorphic testing without expected output to verify the results has been applied in the field of software testing. Its key point is metamorphic relations. This paper introduces Metamorphic testing technology to address the above problems as mentioned. This technology deduces metamorphic relations from numerical calculation model in the software programs. Finally,the results of empirical studies demonstrate the effectiveness of the metamorphic relations in addition to show that Metamorphic testing technology can play a role in Verification test of Nuclear power design analysis software.