Patrick M. Knupp

Distinguished Member Technical Staff
Optimization and Uncertainty Estimation Dept.

[Sandia National Laboratories]

Code Order-Verification

Order-verification means verifying that the order-of-accuracy of the numerical solution produced by the code matches one's expectations or, better still, the formal order-of-accuracy of the underlying discretization algorithm. Order-verification applies only to codes which solve differential equations. Code verification is more general than order-verification and includes things like benchmark, regression, and other types of testing. Order-verification directly addresses the question "is this code correctly solving it's governing differential equations?"

Publications:

  1. "Measuring Progress in Code Order-Verification," SAND 2005-6894, Sandia National Laboratories, 2005.
  2. W. Oberkampf and P. Knupp, "Open Questions in the Method of Manufactured Solutions," 22p, Sandia Internal Memo, 8 March 2004.
  3. (with R. Bond and C. Ober) "A Manufactured Solution for Verifying CFD Boundary Conditions, Part II" AIAA Paper 2005-0088.
  4. (with R. Bond and C. Ober) "A Manufactured Solution for Verifying CFD Boundary Conditions," AIAA Paper 2004-2629.
  5. P. Knupp and K. Salari, Verification of Computer Codes in Compuatational Science and Engineering, Chapman and Hall-CRC, 2002.
  6. T. Corbet, C. Ho, P. Knupp, and J. Ramsey, "Review and Verification of the MINEDW Groundwater Flow Code," Sandia National Laboratories, December 4, 1998.
  7. (with P.J. Roache et al) "Experience with Benchmark Test Cases for Groundwater Flow," ASME FED Vol. 93, Benchmark Test Cases for Computational Fluid Dynamics, I. Celik and C.J. Freitas eds., 1990.

Much of my work in code verification is described in P.J. Roache, "Verification and Validation in Computational Sciences and Engineering," Hermosa Publishers, Albquerque NM, 1998.

snlogo© Sandia Corporation | Return to the Sandia Home Page | Optimization & Uncertainty Estimation | Site Map | Privacy and Security