Patrick M. Knupp

Distinguished Member Technical Staff
Applied Mathematics & Applications 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. P. Knupp and C. Ober, "A Code-verification Evidence Generation Process Model and Checklist,"
    SAND2008-4832, Sandia National Laboratories, 2008.
  2. P. Knupp, C. Ober, R. Bond, "Measuring progress in order-verification," Engr. w/Computers,
    23:271-282, 2007.
  3. R. Bond, C. Ober, P. Knupp, "Measuring progress in Premo order-verification," Engr.
    w/Computers, 23:283-294, 2007.
  4. R. Bond, P. Knupp, C. Ober, and S. Bova, "Manufactured Solutions for Computational Fluid
    Dynamics Boundary Condition," pp2224-2226, AIAA Journal, Vol. 45, No. 9, 2007.
  5. P. Knupp, C. Ober, and R. Bond, "Impact of Coding Mistakes on Numerical Error and
    Uncertainty in Solutions to PDE's," SAND2007-5341, Sandia National Laboratories, 2007.
  6. K. Dowding, B. Blackwell, and P. Knupp, "Demonstrating Code Verification Methods with
    Calore," SAND2007-5612, Sandia National Laboratories, 2007.
  7. L. Shunn and P. Knupp, "Verification of Low Mach-Number Combustion Codes Using the
    Method of Manufactured Solutions," pp126-136, CSRI Summer Proceedings, Sandia National
    Laboratories, 2007.
  8. P. Constantine and P. Knupp, "A Method of Manufactured Solutions for PDE's with Stochastic Inputs,"
    pp176-186, CSRI Summer Proceedings, Sandia National Laboratories, 2007.
  9. W. Oberkampf and P. Knupp, "Open Questions in the Method of Manufactured Solutions," 22p, Sandia Internal Memo, 8 March 2004.
  10. (with R. Bond and C. Ober) "A Manufactured Solution for Verifying CFD Boundary Conditions, Part II" AIAA Paper 2005-0088.
  11. (with R. Bond and C. Ober) "A Manufactured Solution for Verifying CFD Boundary Conditions," AIAA Paper 2004-2629.
  12. P. Knupp and K. Salari, Verification of Computer Codes in Compuatational Science and Engineering, Chapman and Hall-CRC, 2002.
  13. T. Corbet, C. Ho, P. Knupp, and J. Ramsey, "Review and Verification of the MINEDW Groundwater Flow Code," Sandia National Laboratories, December 4, 1998.
  14. (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