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