Content deleted Content added
CLCStudent (talk | contribs) m Reverted 1 edit by 39.42.45.241 (talk) to last revision by Kind Tennis Fan (TW) |
|||
Line 22:
The aim of software dynamic verification is to find the errors introduced by an activity (for example, having a medical software to analyze bio-chemical data); or by the repetitive performance of one or more activities (such as a stress test for a web server, i.e. check if the current product of the activity is as correct as it was at the beginning of the activity).
== Static verification (Analysis)
Static verification is the process of checking that software meets requirements by inspecting the code before it runs. For example: * ''[[Code conventions]] verification''
* ''Bad practices ([[anti-pattern]]) detection''
| |||