-
题名基于蜕变测试的点燃耗程序验证研究
- 1
-
-
作者
王丽君
李萌
-
机构
南华大学创新创业训练中心
南华大学计算机学院
中核集团高可信计算重点学科实验室
湖南省智能装备软件评测工程技术研究中心
-
出处
《核科学与工程》
CAS
CSCD
北大核心
2021年第5期891-898,共8页
-
基金
国家科技重大专项(2019ZX06005001)
湖南省教育厅科研项目(16C1362和19C1608)
+1 种基金
湖南省普通高等学校教学改革研究项目(湘教通(2018)436号-327)
衡阳市科学计划发展计划项目(2015KG59)。
-
文摘
由于核素数量庞大,并且存在短半衰期核素和闭环燃耗链,难以构造预期输出,点燃耗程序验证面对测试预言问题。这使得高度依赖于测试预言的传统测试方法不可用,甚至无效。蜕变测试虽然是解决测试预言问题一种有效方法,因蜕变关系难以识别,因此尚未能在核设计软件验证中广泛应用。在分析燃耗计算物理性质的基础上,识别蜕变关系,并将蜕变测试应用于点燃耗程序的验证。实验表明在没有测试预言的情况下,通过比较程序的多次输出,蜕变测试能有效地检测出程序缺陷。此外,即使原始程序以及TTA检测失效,蜕变测试仍然揭示了代码缺陷。本研究为蜕变测试在核设计领域的应用提供有益参考。
-
关键词
点燃耗程序
蜕变关系
蜕变测试
-
Keywords
Point depletion program
Metamorphic relation
Metamorphic testing
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名科学计算程序蜕变关系层次分类模型
被引量：3
- 2
-
-
作者
阳小华
闫仕宇
刘杰
李萌
-
机构
南华大学计算机学院
湖南省智能装备软件评测工程技术研究中心
中核集团高可信计算重点学科实验室
-
出处
《计算机科学》
CSCD
北大核心
2020年第S02期557-561,共5页
-
基金
国家科技重大专项子课题(2019ZX06005001)
湖南省自然科学基金项目(2020JJ4519)。
-
文摘
蜕变测试是一种解决测试Oracle问题的有效方法,其关键在于蜕变关系的发现。文中通过分析科学计算程序的研发过程,提出物理模型蜕变关系、计算模型蜕变关系和代码模型蜕变关系的概念,明确了3类蜕变关系之间的层次结构,建立了蜕变关系的层次分类模型,并探讨了其在蜕变关系发现方法研究方面的应用前景。
-
关键词
科学计算程序
蜕变测试
蜕变关系
分类模型
-
Keywords
Scientific computing program
Metamorphic test
Metamorphic relations
Classification model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
