| Russian | English |
| автоматический статический анализ | automated static analysis (программ ssn) |
| автоматический статический анализ программ | automated static analysis (ssn) |
| выполнить статический анализ кода | statically verify (Alex_Odeychuk) |
| инструмент статического анализа | static analysis program (Alex_Odeychuk) |
| инструмент статического анализа | static analysis tool (см. Standard glossary of terms used in Software Testing ssn) |
| инструмент статического анализа кода | static code analysis tool (Alex_Odeychuk) |
| инструментальное средство глубокого статического анализа кода | deep static analysis tool (Alex_Odeychuk) |
| инструментальное средство статического анализа использования стека | static stack analysis tool (корпорации AdaCore Alex_Odeychuk) |
| исчерпывающий статический анализ | exhaustive static analysis (embedded.com Alex_Odeychuk) |
| обзор кода, тестирование и статический анализ кода | review, testing and static analysis (корпорации AdaCore Alex_Odeychuk) |
| основные инструментальные средства статического анализа | basic static analysis tools (корпорации AdaCore Alex_Odeychuk) |
| платформа динамического и статического анализа кода | dynamic and static analysis framework (e.g., CodeChecker Alex_Odeychuk) |
| платформа статического анализа | static analysis platform (Alex_Odeychuk) |
| Последствие делегирования таково, что клиент может и не знать своего реального поставщика и он даже может не хотеть знать это, пока не получит "требуемое". В отличие от рис. 9.7 знание реального поставщика может быть недоступно из статического анализа программного кода и может быть скрыто за динамикой наследования в частности, наследования интерфейса и полиморфизма | the consequence of delegation is that a client might not know its real supplier and it might not even care to know as long as the "goods" are supplied. Unlike in Figure 9-7, the knowledge of the real supplier may not be available from a static analysis of the program code and be hidden behind the dynamicity of inheritance in particular interface inheritance and polymorphism (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| правила статического анализа кода | static code analysis rules (Alex_Odeychuk) |
| правила статического анализа кода | rules for static code analysis (Alex_Odeychuk) |
| программа статического анализа | static analysis program (Alex_Odeychuk) |
| система статического анализа | static analysis system (Alex_Odeychuk) |
| система статического анализа | static analysis system (IBM Alex_Odeychuk) |
| соответствовать правилам статического анализа кода | pass static code analysis rules (Alex_Odeychuk) |
| статический анализ | static analysis (программы; см. static code analysis ssn) |
| статический анализ алгоритмов и программ | static program analysis (Alex_Odeychuk) |
| статический анализ аппаратного обеспечения | hardware static analysis (процесс оценки модели аппаратного обеспечения, носящий систематический характер. Процесс оценки может быть произведен при помощи вычислительной машины и может включать проверку перечня комплектующих, схем цепей, анализ интерфейса и функциональные проверки. См. ГОСТ IEC 60730-1-2011 ssn) |
| статический анализ задержки распространения сигнала | static analysis of the propagation delay (ssn) |
| статический анализ и формальная верификация программного обеспечения | analysis and verification (Alex_Odeychuk) |
| статический анализ кода | static analysis of code (Alex_Odeychuk) |
| статический анализ кода | static program analysis (Alex_Odeychuk) |
| статический анализ кода | static code analysis (набор методов анализа исходного текста или объектного кода программы (без его исполнения) с целью понять, что эта программа делает, и определить критерии правильности её функционирования (correctness criteria); также используется компилятором, чтобы собрать факты, полезные для оптимизации. Этот термин обычно относится к анализу, выполняемому при помощи автоматических инструментов; если анализ делает человек, которому нужно понять, как построена и как работает программа, это называется осмыслением программы (program understanding) или обозримостью программы (program comprehension) ssn) |
| статический анализ кода на соответствие принципу подстановки Лисков | Liskov substitutability analysis (verifying that a class is substitutable by its subclasses in the case of dynamic dispatch. In other words, the child classes must be consistent with their parent; Electronic Design Alex_Odeychuk) |
| статический анализ мультимедийных ресурсов | static analysis of multimedia resources (ssn) |
| статический анализ ПО | software static analysis (ssn) |
| статический анализ программного кода | static analysis of the program code (ssn) |
| статический анализ программного обеспечения | software static analysis (процесс оценки программы, носящий систематический характер, без обязательного выполнения программы. Процесс оценки может быть произведен при помощи вычислительной машины и обычно включает анализ программной логики, маршрутов данных, интерфейсов и переменных. См. ГОСТ IEC 60730-1-2011 ssn) |
| статический анализ размера используемого стека | static stack size analysis (корпорации AdaCore Alex_Odeychuk) |
| статический анализ с целью заблаговременного выявления потенциальный ошибок | static analysis for upfront detection of potential errors (корпорации AdaCore Alex_Odeychuk) |
| статический временной анализ | STA (сокр. от static timing analysis ssn) |
