progr. |
static code analysis (набор методов анализа исходного текста или объектного кода программы (без его исполнения) с целью понять, что эта программа делает, и определить критерии правильности её функционирования (correctness criteria); также используется компилятором, чтобы собрать факты, полезные для оптимизации. Этот термин обычно относится к анализу, выполняемому при помощи автоматических инструментов; если анализ делает человек, которому нужно понять, как построена и как работает программа, это называется осмыслением программы (program understanding) или обозримостью программы (program comprehension) ssn); static analysis of code (Alex_Odeychuk); static program analysis (Alex_Odeychuk) |