Editing Software verification (section)

== Dynamic verification (Test, experimentation)  ==

Dynamic verification is performed during the execution of software, and dynamically checks its behavior; it is commonly known as the [[Software testing|Test]] phase.
Verification is a Review Process.
Depending on the scope of tests, we can categorize them in three families:
* ''Test in the small'': a test that checks a single function or class ([[Unit test]])
* ''Test in the large'': a test that checks a group of classes, such as
** Module test (a single module)
** [[Integration test]] (more than one module)
** System test (the entire system)
* ''Acceptance test'': a formal test defined to check acceptance criteria for a software
** Functional test
** Non functional test (performance, [[stress testing (software)|stress test]])

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).