Code Verification by the Method of Manufactured Solutions
Top Cited Papers
- 12 November 2001
- journal article
- Published by ASME International in Journal of Fluids Engineering
- Vol. 124 (1), 4-10
- https://doi.org/10.1115/1.1436090
Abstract
Verification of Calculations involves error estimation, whereas Verification of Codes involves error evaluation, from known benchmark solutions. The best benchmarks are exact analytical solutions with sufficiently complex solution structure; they need not be realistic since Verification is a purely mathematical exercise. The Method of Manufactured Solutions (MMS) provides a straightforward and quite general procedure for generating such solutions. For complex codes, the method utilizes Symbolic Manipulation, but here it is illustrated with simple examples. When used with systematic grid refinement studies, which are remarkably sensitive, MMS produces strong Code Verifications with a theorem-like quality and a clearly defined completion point.Keywords
This publication has 22 references indexed in Scilit:
- Verification and validation in computational fluid dynamicsProgress in Aerospace Sciences, 2002
- Computational Fluid Dynamics Validation Issues in Transition ModelingAIAA Journal, 1998
- Exact fully 3D Navier–Stokes solutions for benchmarkingInternational Journal for Numerical Methods in Fluids, 1994
- Comparison of numerical oblique detonation solutions with an asymptotic benchmarkAIAA Journal, 1992
- Variational curve and surface grid generationJournal of Computational Physics, 1992
- Approximate solutions for oblique detonations in the hypersonic limitAIAA Journal, 1992
- Using MACSYMA to write FORTRAN subroutinesJournal of Symbolic Computation, 1986
- Editorial Policy Statement on the Control of Numerical AccuracyJournal of Fluids Engineering, 1986
- Variational grid generationNumerical Methods for Partial Differential Equations, 1986
- Symbolic manipulation and computational fluid dynamicsJournal of Computational Physics, 1985