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.