Richardson Extrapolation-Based Verification Method of Scientific Calculation Program without the Oracles: A Case Study
Joint Authors
Yan, Shiyu
Yang, Xiaohua
Cheng, Guodong
Liu, Hua
Source
Mathematical Problems in Engineering
Issue
Vol. 2019, Issue 2019 (31 Dec. 2019), pp.1-9, 9 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2019-01-30
Country of Publication
Egypt
No. of Pages
9
Main Subjects
Abstract EN
For the verification test of some scientific calculation programs, different comparison methods are commonly applied to ensure the correctness of the computations.
However, it is difficult to verify whether the testing output is correct, because the oracles which include the expected output are not always available or too hard to get.
For this reason, the authors focus on using the Richardson Extrapolation to estimate the convergences of the numerical solution on different levels of mesh refinement.
These numerical convergence properties can be applied to verification test, without the need for giving the oracles.
In the present study, the authors take the program test of the multigroup neutron diffusion equations as a study case and propose the Richardson Extrapolation-based verification method.
Three verification criterions are obtained based on our approach.
In addition, a test experiment is conducted demonstrating the validity of our theoretical results.
American Psychological Association (APA)
Yan, Shiyu& Yang, Xiaohua& Cheng, Guodong& Liu, Hua. 2019. Richardson Extrapolation-Based Verification Method of Scientific Calculation Program without the Oracles: A Case Study. Mathematical Problems in Engineering،Vol. 2019, no. 2019, pp.1-9.
https://search.emarefa.net/detail/BIM-1196201
Modern Language Association (MLA)
Yan, Shiyu…[et al.]. Richardson Extrapolation-Based Verification Method of Scientific Calculation Program without the Oracles: A Case Study. Mathematical Problems in Engineering No. 2019 (2019), pp.1-9.
https://search.emarefa.net/detail/BIM-1196201
American Medical Association (AMA)
Yan, Shiyu& Yang, Xiaohua& Cheng, Guodong& Liu, Hua. Richardson Extrapolation-Based Verification Method of Scientific Calculation Program without the Oracles: A Case Study. Mathematical Problems in Engineering. 2019. Vol. 2019, no. 2019, pp.1-9.
https://search.emarefa.net/detail/BIM-1196201
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1196201