# Code Verification by the Method of Manufactured Solutions

## Abstract

A procedure for code Verification by the Method of Manufactured Solutions (MMS) is presented. Although the procedure requires a certain amount of creativity and skill, we show that MMS can be applied to a variety of engineering codes which numerically solve partial differential equations. This is illustrated by detailed examples from computational fluid dynamics. The strength of the MMS procedure is that it can identify any coding mistake that affects the order-of-accuracy of the numerical method. A set of examples which use a blind-test protocol demonstrates the kinds of coding mistakes that can (and cannot) be exposed via the MMS code Verification procedure. The principle advantage of the MMS procedure over traditional methods of code Verification is that code capabilities are tested in full generality. The procedure thus results in a high degree of confidence that all coding mistakes which prevent the equations from being solved correctly have been identified.

- Authors:

- Publication Date:

- Research Org.:
- Sandia National Labs., Albuquerque, NM (US); Sandia National Labs., Livermore, CA (US)

- Sponsoring Org.:
- US Department of Energy (US)

- OSTI Identifier:
- 759450

- Report Number(s):
- SAND2000-1444

TRN: US200312%%300

- DOE Contract Number:
- AC04-94AL85000

- Resource Type:
- Technical Report

- Resource Relation:
- Other Information: PBD: 1 Jun 2000

- Country of Publication:
- United States

- Language:
- English

- Subject:
- 99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; PARTIAL DIFFERENTIAL EQUATIONS; VERIFICATION; COMPUTER CODES; NUMERICAL SOLUTION; FLUID MECHANICS

### Citation Formats

```
SALARI,KAMBIZ, and KNUPP,PATRICK.
```*Code Verification by the Method of Manufactured Solutions*. United States: N. p., 2000.
Web. doi:10.2172/759450.

```
SALARI,KAMBIZ, & KNUPP,PATRICK.
```*Code Verification by the Method of Manufactured Solutions*. United States. doi:10.2172/759450.

```
SALARI,KAMBIZ, and KNUPP,PATRICK. Thu .
"Code Verification by the Method of Manufactured Solutions". United States. doi:10.2172/759450. https://www.osti.gov/servlets/purl/759450.
```

```
@article{osti_759450,
```

title = {Code Verification by the Method of Manufactured Solutions},

author = {SALARI,KAMBIZ and KNUPP,PATRICK},

abstractNote = {A procedure for code Verification by the Method of Manufactured Solutions (MMS) is presented. Although the procedure requires a certain amount of creativity and skill, we show that MMS can be applied to a variety of engineering codes which numerically solve partial differential equations. This is illustrated by detailed examples from computational fluid dynamics. The strength of the MMS procedure is that it can identify any coding mistake that affects the order-of-accuracy of the numerical method. A set of examples which use a blind-test protocol demonstrates the kinds of coding mistakes that can (and cannot) be exposed via the MMS code Verification procedure. The principle advantage of the MMS procedure over traditional methods of code Verification is that code capabilities are tested in full generality. The procedure thus results in a high degree of confidence that all coding mistakes which prevent the equations from being solved correctly have been identified.},

doi = {10.2172/759450},

journal = {},

number = ,

volume = ,

place = {United States},

year = {2000},

month = {6}

}