This article systematizes modern methods of searching for errors in software. For each method, a brief description and advantages and disadvantages are considered. On the basis of the analysis the most perspective methods from the point of view of the task of automating the process of searching errors in the software are distinguished.