Software testing means to determine whether the software meets the requirements.

Requirements in natural language, however, are not suitable as the basis of a test. ("Well, the thing must not crash" or "If I enter 100, then a particular result must be calculated").

Moreover, it is not possible to precisely describe complex applications.

To test software, it is important to split the large complexity of an application into small testable fragments (= functions / procedures).