Question

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

Answer 1

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