Revision as of 10:32, 3 May 2015 edit 124.253.114.20 (talk) →Dynamic verification (Test, experimentation) ← Previous edit		Revision as of 19:38, 4 May 2015 edit undo Bamyers99 (talk \| contribs) Extended confirmed users 113,650 edits Undid revision 660569218 by 124.253.114.20 (talk) Next edit →
Line 5: * ''Static verification'', also known as [[Static code analysis\|Analysis]] - This is useful for proving correctness of a program although it may result in false positives == Dynamic verification (Test, experimentation) == ~~== =~~ Dynamic verification is performed during the execution of software, and dynamically checks its behaviour; it is commonly known as the [[Software testing\|Test]] phase.

Software verification: Difference between revisions