Verification and Validation

Revised 17 September 2008 by D. Bouldin

IEEE Standard 1012:

Verification is the process of determining that a module conforms to its requirements
whereas validation determines whether the module satisfies its intended use.

V&V processes include analysis, evaluation, review, inspection, assessment and testing.

Verification techniques:

static testing (consistency and measurement)
dynamic testing (functionality, structure and random)

Validation techniques:

formal methods
fault injection
dependability analysis
hazard and risk analysis

V&V reference

dbouldin@tennessee.edu