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

基于基准题的中子扩散程序蜕变测试验证方法

认领
导出
下载 Link by 中国知网学术期刊 Link by 维普学术期刊 Link by 万方学术期刊
反馈
分享
QQ微信 微博
成果类型:
期刊论文
作者:
阳小华;闫仕宇;李萌;于涛;谢金森;...
通讯作者:
Yan, Shi-Yu(yanshiyu_2008@163.com)
作者机构:
[阳小华; 闫仕宇; 刘朝晖] School of Computer Science and Technology, University of South China, Hengyang, 421001, China
[刘华; 于涛; 刘朝晖; 谢金森; 李萌; 阳小华; 闫仕宇] CNNC Key Laboratory on High Trusted Computing, Hengyang, 421001, China
通讯机构:
School of Computer Science and Technology, University of South China, Hengyang, China
语种:
中文
关键词:
核电设计软件;中子扩散程序;验证;蜕变测试
关键词(英文):
Metamorphic test;Neutron diffusion program;Nuclear power design software;Verification
期刊:
原子能科学技术
ISSN:
1000-6931
年:
2017
卷:
51
期:
7
页码:
1239-1243
基金类别:
国家自然科学基金重大研究计划资助项目(11575079);
机构署名:
本校为第一且通讯机构
院系归属:
计算机科学与技术学院
摘要:
基准题计算是核电设计与安全分析软件验证测试的主要方式之一,但其存在研制成本高、周期长、题量少的问题。本文针对中子扩散程序提出一种新型测试方法,即以基准题作为原始测试用例,依据物理模型蕴含的蜕变关系,生成衍生测试用例,进行蜕变测试验证。实例表明该方法不但可扩充基准题数量,还能提高测试的充分性,是一种很有应用前景的验证测试方法。
摘要(英文):
The benchmark problem computation is one of the main ways on verification test of nuclear power design and safety analysis software,but it has shortcomings of high cost,long cycle,and small number of benchmark problems.A new test method for neutron diffusion program was proposed in this paper,which takes the existing benchmark problem for the original test cases,produces more follow-up test cases based on metamorphic relationships contained in the physical model,and carries out metamorphic test verification on software.The example shows that this method can not only extend the number of benchm...

反馈

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

成果认领

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

提示

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

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

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

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