Как я могу убедиться, что весь мой код Python & # 8220; компилируется &? 8221 ;?

Question

Моя история - C и C ++. Мне очень нравится Python, но есть один его аспект (и другие интерпретируемые языки, я думаю), с которым действительно трудно работать, когда вы привыкли к скомпилированным языкам.

Когда я написал что-то на Python и подошел к тому моменту, когда я смогу это выполнить, все еще нет гарантии, что не останется ошибок, специфичных для языка. Для меня это означает, что я не могу полагаться исключительно на свою защиту во время выполнения (тщательное тестирование ввода, подтверждений и т. Д.), Чтобы избежать сбоев, потому что через 6 месяцев, когда какой-то хороший код в конечном итоге будет запущен, он может взломать из-за глупой опечатки .

Ясно, что система должна быть достаточно протестирована, чтобы убедиться, что весь код был выполнен, но большую часть времени я использую Python для собственных скриптов и небольших инструментов, что, разумеется, никогда не привлекает внимания QA, в котором они нуждаются. Кроме того, некоторый код настолько прост, что (если вы работали с C / C ++), вы знаете, что он будет хорошо работать до тех пор, пока он компилируется (например, методы getter внутри классов, обычно это простой возврат переменной-члена).

Итак, мой вопрос очевиден - есть ли способ (с помощью специального инструмента или чего-то еще), чтобы я мог убедиться, что весь код в моем скрипте Python будет "компилироваться"? и бежать?

Answer 1

Посмотрите PyChecker и PyLint .

Вот пример вывода из pylint, полученного из тривиальной программы:

print a

Как вы можете видеть, он обнаруживает неопределенную переменную, чего не будет py_compile (намеренно).

in foo.py:

************* Module foo
C:  1: Black listed name "foo"
C:  1: Missing docstring
E:  1: Undefined variable 'a'


...

|error      |1      |1        |=          |

Тривиальный пример того, почему тесты недостаточно хороши, даже если они охватывают «каждую строку»:

bar = "Foo"
foo = "Bar"
def baz(X):
    return bar if X else fo0

print baz(input("True or False: "))

РЕДАКТИРОВАТЬ: PyChecker обрабатывает троичный для меня:

Processing ternary...
True or False: True
Foo

Warnings...

ternary.py:6: No global (fo0) found
ternary.py:8: Using input() is a security problem, consider using raw_input()

Answer 2

Другие упоминали о таких инструментах, как PyLint, которые довольно хороши, но, в общем и целом, это просто невозможно сделать 100%. На самом деле, вы можете даже не захотеть это делать. Одним из преимуществ динамичности Python является то, что вы можете делать сумасшедшие вещи, такие как вставка имен в локальную область посредством доступа к словарю.

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

Answer 3

Я думаю, что вы ищете, это покрытие строк кода теста. Вы хотите добавить тесты в ваш скрипт, которые будут проверять все ваши строки кода или столько, сколько у вас есть время. Тестирование - это большая работа, но если вам нужна гарантия, которую вы запрашиваете, бесплатного обеда нет, извините :(.

Answer 4

Если вы используете Eclipse с Pydev в качестве IDE, он может пометить много опечаток красным немедленно, и имеет интеграцию с Pylint. Например:

foo = 5
print food

будет помечено как " неопределенная переменная: еда " ;. Конечно, это не всегда точно (возможно, еда была определена ранее с использованием setattr или других экзотических методов), но в большинстве случаев она работает хорошо.

Как правило, вы можете статически анализировать ваш код только в той степени, в которой он действительно статичен; чем динамичнее ваш код, тем больше вам действительно нужно автоматизированное тестирование.

Answer 5

Ваш код на самом деле компилируется, когда вы его запускаете, среда выполнения Python будет жаловаться на наличие синтаксической ошибки в коде. По сравнению со статически скомпилированными языками, такими как C / C ++ или Java, он не проверяет правильность имен и типов переменных & # 8211; для этого вам необходимо запустить код (например, с помощью автоматических тестов).