Content deleted Content added
m Replace magic links with templates per local RfC and MediaWiki RfC |
|||
Line 5:
* ''Dynamic verification'', also known as [[experimentation]], [[dynamic testing]] or, simply testing. - This is good for finding faults ([[software bugs]]).
* ''Static verification'', also known as [[static code analysis|analysis]] or, [[static code analysis|static testing]] - This is useful for proving the correctness of a program. Although it may result in false positives when there are one or more conflicts between the process a software really does and what the static verification assumes it does.
== Dynamic verification (Test, experimentation) ==
| |||