Metamorphic testing of the NUIT code based on burnup time

Li, Meng; Wang, Lijun; Yue, Wei; Liu, Bei; Liu, Jiawei; Liu, Zixi; Yan, Shiyu; Yang, Xiaohua

doi:10.1016/j.anucene.2020.108027

Cited by 5 publications

(1 citation statement)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Twenty-eight MRs have been identified from NUIT using the static analysis technique, of which eighteen are physical model MR, and the rest are computational model MR (Meng et al, 2020;Li et al, 2020a;Li et al, 2020b;Li et al, 2021). Specifically, they are listed as follows.…”

Section: Methodsmentioning

confidence: 99%

A Lightweight Verification Method Based on Metamorphic Relation for Nuclear Power Software

Yang

Yan

et al. 2022

Front. Energy Res.

Self Cite

View full text Add to dashboard Cite

The verification of nuclear design software commonly uses direct comparison methods. Benchmark questions, classical programs, experimental data, manual solutions, etc., would be used as expected results to compare with program outputs to evaluate the reliability of software coding and the accuracy of the numerical solution. Because nuclear power software numerically simulates complex physical processes, it involves many partial differential equations. It is usually challenging to construct analytical or accurate solutions and is expensive to develop benchmark questions and experimental data. Hence, the quantity of verification examples is small. By using the direct comparison method, verification is complicated, high cost, and inadequate. Entering the validation process without adequate proof will adversely impact the effectiveness and efficiency of validation. Metamorphic testing is an indirect verification technology that cleverly combines the nature of the model with software verification. It evaluates the correctness of the code by examining whether the program satisfies the metamorphic relation. Without manual solutions or benchmark examples, it has broad application prospects in the field of nuclear power. A lightweight verification method based on metamorphic relation has been produced here. Metamorphic relations are identified from physical equations, numerical algorithms, and program specifications. Next, they are explicitly used to system, integration, and unit tests to improve test adequacy. Because no need to develop verification examples, this method can detect code errors as soon as possible at a low cost, improve test efficiency, avoid mistakes remaining in subsequent stages and reduce the overall cost of verification.

show abstract

Section: Methodsmentioning

confidence: 99%

A Lightweight Verification Method Based on Metamorphic Relation for Nuclear Power Software

Yang

Yan

et al. 2022

Front. Energy Res.

Self Cite

View full text Add to dashboard Cite

show abstract

Metamorphic Testing on Scientific Programs for Solving Second‐Order Elliptic Differential Equations

Yan,

Zhu

2024

Software Testing Verif & Rel

View full text Add to dashboard Cite

Practical problems in scientific computation that solve differential equations rarely have explicit exact solutions. Therefore, verifying the correctness of such programs has long been a challenge due to the difficulty of producing expected outputs on test cases. In this paper, the principles of metamorphic testing are applied to verify programs that solve second‐order elliptic differential equations. We present a testing process specifically tailored for the verification testing of scientific computation programs and integrate it to the process of developing scientific software. Unlike existing approaches, we formally derive metamorphic relations from the numerical models of differential equations built in development process of scientific computing programs. The experimental results clearly show that our approach is effective in detecting faults commonly found in scientific computing programs. It outperforms the fault detecting ability of the trend method, which is a traditional testing method for scientific software.

show abstract

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

Yang

et al. 2021

2021 3rd International Academic Exchange Conference on Science and Technology Innovation (IAECST)

View full text Add to dashboard Cite

Metamorphic testing of the NUIT code based on burnup time

Cited by 5 publications

References 18 publications

A Lightweight Verification Method Based on Metamorphic Relation for Nuclear Power Software

A Lightweight Verification Method Based on Metamorphic Relation for Nuclear Power Software

Metamorphic Testing on Scientific Programs for Solving Second‐Order Elliptic Differential Equations

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

Contact Info

Product

Resources

About