Software verification is a broader and more complex discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.
There are two fundamental approaches to verification:
- Dynamic verification, also known as Test or Experimentation - This is good for finding bugs
- Static verification, also known as Analysis - This is useful for proving correctness of a program although it may result in false positives
Read more about Software Verification: Dynamic Verification (Test, Experimentation), Static Verification (Analysis)
Famous quotes containing the word verification:
“Science is a system of statements based on direct experience, and controlled by experimental verification. Verification in science is not, however, of single statements but of the entire system or a sub-system of such statements.”
—Rudolf Carnap (1891–1970)