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