Здравствуйте, tdiff, Вы писали:

T>Вот я по то же. black-box тестирование алгоритма может сказать только то, что он в некоторых случаях работает правильно или нет.
T>Если алгоритм достаточно сложен, и мы знаем, что он неисправен, далеко не всегда тесты помогут выявить ошибку.

Если алгоритм достаточно сложен для того, чтобы по провалившимся тестам было непонятно, где именно ошибка, то этот алгоритм должен быть разбит на более мелкие части, у которых тоже должны быть свои юнит-тесты.