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