核素耗损计算程序中切比雪夫合理逼近法的变质关系识别

Meng Li, Lijun Wang, Shiyu Yan, Xiaohua Yang, Jie Liu, Yaping Wan
{"title":"核素耗损计算程序中切比雪夫合理逼近法的变质关系识别","authors":"Meng Li, Lijun Wang, Shiyu Yan, Xiaohua Yang, Jie Liu, Yaping Wan","doi":"10.1109/QRS-C51114.2020.00013","DOIUrl":null,"url":null,"abstract":"The Chebyshev rational approximation method (CRAM) is an essential numerical solution algorithm for the burnup equation. Since the high complexity of nuclide depletion calculation, especially the existence of short-lived nuclide and closed cycle in the transition chains, outputs of the program are almost impossible to predict accurately. Therefore, the traditional testing methods are inapplicable, even invalid. Metamorphic testing (MT) is a promising method to solve such a typical testing oracle problem. However, the absence of metamorphic relations (MRs) severely hinders its application. According to the nuclear software development process, we established a nuclear MR hierarchical model (MRHM) for guiding MR identification and classification. MRHM divides MRs into three layers: physics, algorithm, and code. After in-depth analysis, we carried out a group of MRs from the burnup equation and CRAM and classified them according to MRHM. We adopted these MRs in MT of the Nuclide Inventory Tool (NUIT), which is a program that has implemented CRAM. These MRs represent the natural properties of CRAM, and other CRAM programs indeed used them. Moreover, the MRHM will extend to more nuclear science software.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Metamorphic Relations Identification on Chebyshev Rational Approximation Method in the Nuclide Depletion Calculation Program\",\"authors\":\"Meng Li, Lijun Wang, Shiyu Yan, Xiaohua Yang, Jie Liu, Yaping Wan\",\"doi\":\"10.1109/QRS-C51114.2020.00013\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The Chebyshev rational approximation method (CRAM) is an essential numerical solution algorithm for the burnup equation. Since the high complexity of nuclide depletion calculation, especially the existence of short-lived nuclide and closed cycle in the transition chains, outputs of the program are almost impossible to predict accurately. Therefore, the traditional testing methods are inapplicable, even invalid. Metamorphic testing (MT) is a promising method to solve such a typical testing oracle problem. However, the absence of metamorphic relations (MRs) severely hinders its application. According to the nuclear software development process, we established a nuclear MR hierarchical model (MRHM) for guiding MR identification and classification. MRHM divides MRs into three layers: physics, algorithm, and code. After in-depth analysis, we carried out a group of MRs from the burnup equation and CRAM and classified them according to MRHM. We adopted these MRs in MT of the Nuclide Inventory Tool (NUIT), which is a program that has implemented CRAM. These MRs represent the natural properties of CRAM, and other CRAM programs indeed used them. Moreover, the MRHM will extend to more nuclear science software.\",\"PeriodicalId\":358174,\"journal\":{\"name\":\"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/QRS-C51114.2020.00013\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/QRS-C51114.2020.00013","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

摘要

切比雪夫有理近似法(CRAM)是燃耗方程的一种重要的数值求解算法。由于核素损耗计算的高度复杂性,特别是过渡链中存在短寿命核素和闭合循环,程序的输出几乎不可能准确预测。因此,传统的检测方法不适用,甚至无效。变形测试(MT)是解决这类典型测试问题的一种很有前途的方法。然而,变质关系的缺失严重阻碍了它的应用。根据核软件的开发过程,建立了核核核磁共振的层次模型(MRHM),指导核磁共振的识别和分类。MRHM将MRs分为三层:物理层、算法层和代码层。经过深入分析,我们从燃耗方程和CRAM中进行了一组MRs,并根据MRHM进行了分类。我们在核素库存工具(NUIT)的MT中采用了这些MRs, NUIT是一个实施CRAM的程序。这些MRs代表了CRAM的自然属性,其他CRAM程序确实使用了它们。此外,MRHM将扩展到更多的核科学软件。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Metamorphic Relations Identification on Chebyshev Rational Approximation Method in the Nuclide Depletion Calculation Program
The Chebyshev rational approximation method (CRAM) is an essential numerical solution algorithm for the burnup equation. Since the high complexity of nuclide depletion calculation, especially the existence of short-lived nuclide and closed cycle in the transition chains, outputs of the program are almost impossible to predict accurately. Therefore, the traditional testing methods are inapplicable, even invalid. Metamorphic testing (MT) is a promising method to solve such a typical testing oracle problem. However, the absence of metamorphic relations (MRs) severely hinders its application. According to the nuclear software development process, we established a nuclear MR hierarchical model (MRHM) for guiding MR identification and classification. MRHM divides MRs into three layers: physics, algorithm, and code. After in-depth analysis, we carried out a group of MRs from the burnup equation and CRAM and classified them according to MRHM. We adopted these MRs in MT of the Nuclide Inventory Tool (NUIT), which is a program that has implemented CRAM. These MRs represent the natural properties of CRAM, and other CRAM programs indeed used them. Moreover, the MRHM will extend to more nuclear science software.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信