王丽君，李　萌

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

王丽君1，李萌2,3,4,*

（1. 南华大学 创新创业训练中心，湖南 衡阳 421001；2. 南华大学 计算机学院，湖南 衡阳 421001；3. 中核集团高可信计算重点学科实验室，湖南 衡阳 421001；4. 湖南省智能装备软件评测工程技术研究中心，湖南 衡阳 421001）

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

点燃耗程序；蜕变关系；蜕变测试

燃耗计算刻画了核素随时间的衰变规律。同时，在反应堆的燃料增殖、消耗和反应性变化等方面，燃耗计算起着至关重要的作用。为了保持不同堆型的适用性，通常采用复杂核素系统，它覆盖了数千种同位素，例如：清华大学核研院的NUIT燃耗数据库超过3 000种核素，ORIGEN-S超过1 500种核素。燃耗程序计算高度复杂，因此，准确预测程序的输出是一项极具挑战的任务，这项工作称之为测试预言（Test Oracle）问题。……