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:
“A fact is a proposition of which the verification by an appeal to the primary sources of our knowledge or to experience is direct and simple. A theory, on the other hand, if true, has all the characteristics of a fact except that its verification is possible only by indirect, remote, and difficult means.”
—Chauncey Wright (1830–1875)
Related Phrases
Related Words