10.3969/j.issn.0258-0918.2021.05.002
基于蜕变测试的点燃耗程序验证研究
由于核素数量庞大,并且存在短半衰期核素和闭环燃耗链,难以构造预期输出,点燃耗程序验证面对测试预言问题.这使得高度依赖于测试预言的传统测试方法不可用,甚至无效.蜕变测试虽然是解决测试预言问题一种有效方法,因蜕变关系难以识别,因此尚未能在核设计软件验证中广泛应用.在分析燃耗计算物理性质的基础上,识别蜕变关系,并将蜕变测试应用于点燃耗程序的验证.实验表明在没有测试预言的情况下,通过比较程序的多次输出,蜕变测试能有效地检测出程序缺陷.此外,即使原始程序以及TTA检测失效,蜕变测试仍然揭示了代码缺陷.本研究为蜕变测试在核设计领域的应用提供有益参考.
点燃耗程序、蜕变关系、蜕变测试
41
TP311.5(计算技术、计算机技术)
国家科技重大专项;湖南省教育厅科学研究项目;湖南省普通高等学校教学改革研究项目;衡阳市科学计划发展计划项目
2022-04-26(万方平台首次上网日期,不代表论文的发表时间)
共8页
891-898