Method for automated program errors search in complex data processing algorithms

In the paper, an original method developed by the author is discussed. The method permits to search program errors in software without source code. The method is based on stress testing and automated software trace. In this case, the test data can be formed statically or dynamically on the base of tracing results.