Subject | Russian | English |
progr. | автоматический статический анализ | automated static analysis (программ ssn) |
softw. | автоматический статический анализ и формальная верификация программного обеспечения | automatic analysis and verification (Electronic Design Alex_Odeychuk) |
progr. | автоматический статический анализ программ | automated static analysis (ssn) |
geophys. | анализ статических поправок | statics analysis |
microel. | анализ статических рисков сбоя | static timing analysis |
nano | анализ статических характеристик | static analysis |
microel. | анализ статического режима | steady-state analysis |
progr. | выполнить статический анализ кода | statically verify (Alex_Odeychuk) |
softw. | инструмент глубокого статического анализа кода | deep static analysis tool (Alex_Odeychuk) |
softw. | инструмент профессионального уровня для статического анализа кода | professional tool for static analysis (Electronic Design Alex_Odeychuk) |
progr. | инструмент статического анализа | static analysis program (Alex_Odeychuk) |
softw. | инструмент статического анализа | linting tool (that checks code for readability, maintainability, and functionality errors Alex_Odeychuk) |
softw. | инструмент статического анализа | linter (that checks code for readability, maintainability, and functionality errors Alex_Odeychuk) |
progr. | инструмент статического анализа | static analysis tool (см. Standard glossary of terms used in Software Testing ssn) |
softw. | инструмент статического анализа кода | linting tool (that checks code for readability, maintainability, and functionality errors Alex_Odeychuk) |
softw. | инструмент статического анализа кода | linter (that checks code for readability, maintainability, and functionality errors Alex_Odeychuk) |
progr. | инструмент статического анализа кода | static code analysis tool (Alex_Odeychuk) |
progr. | инструментальное средство глубокого статического анализа кода | deep static analysis tool (Alex_Odeychuk) |
progr. | инструментальное средство статического анализа использования стека | static stack analysis tool (корпорации AdaCore Alex_Odeychuk) |
progr. | исчерпывающий статический анализ | exhaustive static analysis (embedded.com Alex_Odeychuk) |
el. | концепция статистического статического временного анализа | concept of the statistical static timing analysis (ssn) |
softw. | набор инструментов статического анализа | static analysis toolset (adacore.com Alex_Odeychuk) |
progr. | обзор кода, тестирование и статический анализ кода | review, testing and static analysis (корпорации AdaCore Alex_Odeychuk) |
progr. | основные инструментальные средства статического анализа | basic static analysis tools (корпорации AdaCore Alex_Odeychuk) |
progr. | платформа динамического и статического анализа кода | dynamic and static analysis framework (e.g., CodeChecker Alex_Odeychuk) |
progr. | платформа статического анализа | static analysis platform (Alex_Odeychuk) |
softw. | поддержка статического анализа модели | support for model static analysis (корпорации AdaCore Alex_Odeychuk) |
progr. | Последствие делегирования таково, что клиент может и не знать своего реального поставщика и он даже может не хотеть знать это, пока не получит "требуемое". В отличие от рис. 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) |
progr. | правила статического анализа кода | static code analysis rules (Alex_Odeychuk) |
progr. | правила статического анализа кода | rules for static code analysis (Alex_Odeychuk) |
progr. | программа статического анализа | static analysis program (Alex_Odeychuk) |
progr. | система статического анализа | static analysis system (Alex_Odeychuk) |
progr. | система статического анализа | static analysis system (IBM Alex_Odeychuk) |
progr. | соответствовать правилам статического анализа кода | pass static code analysis rules (Alex_Odeychuk) |
el. | статистический статический временной анализ | statistical static timing analysis (ssn) |
stat. | статический анализ | static analysis |
progr. | статический анализ | static analysis (программы; см. static code analysis ssn) |
comp., MS | статический анализ | static analysis (The analysis of the source or object code of a program without executing the code. Typically the analysis is designed to detect errors) |
O&G, sakh. | статический анализ | in-place analyses |
automat. | статический анализ | steady-state analysis (ssn) |
IT | статический анализ | static analysis (программы) |
el. | статический анализ | statical analysis |
O&G, sakh. | статический анализ | in-place analysis |
econ. | статический анализ | cross-sectional analysis (основанный на данных, относящихся к одному и тому же периоду времени) |
progr. | статический анализ алгоритмов и программ | static program analysis (Alex_Odeychuk) |
progr. | статический анализ аппаратного обеспечения | hardware static analysis (процесс оценки модели аппаратного обеспечения, носящий систематический характер. Процесс оценки может быть произведен при помощи вычислительной машины и может включать проверку перечня комплектующих, схем цепей, анализ интерфейса и функциональные проверки. См. ГОСТ IEC 60730-1-2011 ssn) |
O&G, casp. | статический анализ волнения | static wave analysis (raf) |
el. | статический анализ временной диаграммы | static timing analysis (метод расчёта ожидаемой временной диаграммы (timing chart) цифровой схемы, не требующий моделирования. Основная цель – убедиться в том, что все сигналы будут приходить не слишком рано и не слишком поздно, так что схема будет нормально работать. Был создан в 1970-е годы ssn) |
progr. | статический анализ задержки распространения сигнала | static analysis of the propagation delay (ssn) |
progr. | статический анализ и формальная верификация программного обеспечения | analysis and verification (Alex_Odeychuk) |
progr. | статический анализ кода | static analysis of code (Alex_Odeychuk) |
progr. | статический анализ кода | static program analysis (Alex_Odeychuk) |
progr. | статический анализ кода | static code analysis (набор методов анализа исходного текста или объектного кода программы (без его исполнения) с целью понять, что эта программа делает, и определить критерии правильности её функционирования (correctness criteria); также используется компилятором, чтобы собрать факты, полезные для оптимизации. Этот термин обычно относится к анализу, выполняемому при помощи автоматических инструментов; если анализ делает человек, которому нужно понять, как построена и как работает программа, это называется осмыслением программы (program understanding) или обозримостью программы (program comprehension) ssn) |
progr. | статический анализ кода на соответствие принципу подстановки Лисков | 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) |
softw. | статический анализ модели | model static analysis (корпорации AdaCore Alex_Odeychuk) |
progr. | статический анализ мультимедийных ресурсов | static analysis of multimedia resources (ssn) |
progr. | статический анализ ПО | software static analysis (ssn) |
progr. | статический анализ программного кода | static analysis of the program code (ssn) |
softw. | статический анализ программного обеспечения | static software analysis (корпорации AdaCore Alex_Odeychuk) |
progr. | статический анализ программного обеспечения | software static analysis (процесс оценки программы, носящий систематический характер, без обязательного выполнения программы. Процесс оценки может быть произведен при помощи вычислительной машины и обычно включает анализ программной логики, маршрутов данных, интерфейсов и переменных. См. ГОСТ IEC 60730-1-2011 ssn) |
mil., avia. | статический анализ программных кодов | static code analysis |
progr. | статический анализ размера используемого стека | static stack size analysis (корпорации AdaCore Alex_Odeychuk) |
progr. | статический анализ с целью заблаговременного выявления потенциальный ошибок | static analysis for upfront detection of potential errors (корпорации AdaCore Alex_Odeychuk) |
el. | статический временной анализ | static timing analysis (ssn) |
progr. | статический временной анализ | STA (сокр. от static timing analysis ssn) |
polym. | статический линейный анализ | linear static analysis (MichaelBurov) |
chromat. | статический парофазный анализ | static headspace analysis (Wakeful dormouse) |
O&G | упруго-линейный статический анализ | linear elastic static analysis (MichaelBurov) |
IT | широкомасштабный статический анализ | large-scale static analysis (Alex_Odeychuk) |