Title: A Code Verification Checklist (Software Engineering Seminar Series Talk)

Speaker: Pat Knupp and Curt Ober, Sandia National Laboratories

Date/Time: Tuesday, May 13, 2008, 11:30 am

Location: CSRI Building, Room 90 (Sandia NM)

Brief Abstract: Code verification has been described in the ASME guide as the set of activities that "establish confidence, through the collection of evidence, that the mathematical model and solution algorithms [of a code] are working correctly."  The guide explains in some detail the activities one would undertake in order to do code verification.  However, the guide of course does not give a recipe for code verification that can be used by code development teams nor does it account for the procedures and practices typically used within ASC and other PDE-code development projects at SNL.  Our goal is not quite to provide a detailed recipe, but rather a framework from which a code team might develop their own recipe that is compatible with other practices and goals.  In the talk we provide the context for code verification, then present & explain the checklist. From the checklist activities we derive a list of evidence to be collected in support of code verification, along with a level-of-maturity model

CSRI POC: Todd Coffey, (505) 845- 0520, Heidi Thornquist, (505) 284-8426