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

An Identification Method of Image-based for Output Pattern of Metamorphic Relation in Burnup Calculation Program

认领
导出
Link by DOI
反馈
分享
QQ微信 微博
成果类型:
会议论文
作者:
Shengfu Fu;Xiaohua Yang;Meng Li;Fan Wang
作者机构:
Engineering and Technology Research Center of Software Evaluation and Testing for Intellectual Equipment of Hunan Province, Hengyang of Hunan Prov., China
CNNC Key Laboratory on High Trusted Computing, Hengyang of Hunan Prov., China
School of Computer Science and Technology, University of South China, Hengyang, China
[Shengfu Fu; Xiaohua Yang; Meng Li; Fan Wang] Engineering and Technology Research Center of Software Evaluation and Testing for Intellectual Equipment of Hunan Province, Hengyang of Hunan Prov., China<&wdkj&>CNNC Key Laboratory on High Trusted Computing, Hengyang of Hunan Prov., China<&wdkj&>School of Computer Science and Technology, University of South China, Hengyang, China
语种:
英文
关键词:
Metamorphic testing;Metamorphic relation;Output pattern;Burnup calculation program
年:
2021
页码:
811-818
会议名称:
2021 3rd International Academic Exchange Conference on Science and Technology Innovation (IAECST)
会议论文集名称:
2021 3rd International Academic Exchange Conference on Science and Technology Innovation (IAECST)
会议时间:
10 December 2021
会议地点:
Guangzhou, China
出版者:
IEEE
ISBN:
978-1-6654-0268-2
基金类别:
10.13039/501100018537-National Science and Technology Major Project 10.13039/501100004735-Natural Science Foundation of Hunan Province
机构署名:
本校为其他机构
院系归属:
计算机科学与技术学院
摘要:
It is challenging to verify the design and analysis software adequately for nuclear power areas because of the inflated cost, time-consuming benchmark problems development, and few verification examples. This situation is called the test oracle problem. Metamorphic testing cleverly combines the specific properties of physical equations and numerical algorithms with software verification. Without constructing numerical solutions or verification examples, it verifies the software by checking whether the input and output of multiple executions mee...

反馈

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

成果认领

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

提示

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

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

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

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