版权说明 操作指南
首页 > 成果 > 详情

Verification of multi-scale coupling program for high temperature gas-cooled reactor based on metamorphic testing

认领
导出
Link by DOI
反馈
分享
QQ微信 微博
成果类型:
期刊论文
作者:
Yin Zhao;Meng Li*;Ke Zhang;Xiaohua Yang;Jie Liu;...
通讯作者:
Meng Li
作者机构:
[Yin Zhao; Ke Zhang] School of Computing, University of South China, Hengyang, 421001, China
Hunan Engineering Research Center of Software Evaluation and Testing for Intellectual Equipment, Hengyang, 421001, China
CNNC Key Laboratory on High Trusted Computing, Hengyang, 421001, China
[Meng Li; Xiaohua Yang; Jie Liu; Shiyu Yan] School of Computing, University of South China, Hengyang, 421001, China<&wdkj&>Hunan Engineering Research Center of Software Evaluation and Testing for Intellectual Equipment, Hengyang, 421001, China<&wdkj&>CNNC Key Laboratory on High Trusted Computing, Hengyang, 421001, China
通讯机构:
[Meng Li] S
School of Computing, University of South China, Hengyang, 421001, China<&wdkj&>Hunan Engineering Research Center of Software Evaluation and Testing for Intellectual Equipment, Hengyang, 421001, China<&wdkj&>CNNC Key Laboratory on High Trusted Computing, Hengyang, 421001, China
语种:
英文
期刊:
Annals of Nuclear Energy
ISSN:
0306-4549
年:
2026
卷:
226
页码:
111846
机构署名:
本校为第一且通讯机构
摘要:
The multi-scale coupling program for high temperature gas-cooled reactors encompasses complex physical phenomena across the microscopic, mesoscopic, and macroscopic level. Owing to the significant development expenses and the complexity of forming precise analytical solutions, making traditional testing methods invalid, verifying multi-scale codes is hindered by the oracle problem. Metamorphic testing is an effective technique to alleviate the oracle problem. This study uses a two-stage verification method grounded in metamorphic relations, following the introduction of code verification in th...

反馈

验证码:
看不清楚,换一个
确定
取消

成果认领

标题:
用户 作者 通讯作者
请选择
请选择
确定
取消

提示

该栏目需要登录且有访问权限才可以访问

如果您有访问权限,请直接 登录访问

如果您没有访问权限,请联系管理员申请开通

管理员联系邮箱:yun@hnwdkj.com