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