Почему с тестирования сложно доказать правильность программы? В каких случаях это всё же можно сделать?

Тестирование направлено на выявление ошибок и багов. Правильность программы зависит от того, на решение какой задачи она направлена. Но тестирование может определять правильность программы в том случае, если задача программы в получение определенного результата, как например калькулятор.