| Russian | English |
| автомат проверки готовности | automaton for ready (ssn) |
| автомат проверки чётности | automaton for parity (ssn) |
| автоматическая проверка инструментом параметризации | automatic check by a parameterization tool (ssn) |
| адаптер проверки | validation adapter (ssn) |
| алгоритм аутентификации и проверки целостности информации | secure hash algorithm (т.ж. алгоритм SHA ssn) |
| алгоритм проверки типа | algorithm for type checking (см. ISO/IEC 10746-3, ГОСТ Р ИСО/МЭК 10746-3-2001 ssn) |
| алгоритм проверок | test algorithm (ssn) |
| алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов | algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata (ssn) |
| алгоритмы проверки включения временных омега-автоматов | algorithms for testing inclusion between timed omega automata (ssn) |
| анализатор проверки следов | audit trail examiner (ssn) |
| анонимная проверка подлинности | anonymous authentication (ssn) |
| антивирусная проверка | virus checking (ssn) |
| архивист проверки следов | audit trail archiver (ssn) |
| атрибут проверки данных | data validation attribute (microsoft.com Alex_Odeychuk) |
| атрибут проверки допустимости данных | data validation attribute (microsoft.com Alex_Odeychuk) |
| атрибут проверки достоверности | validation attribute (из кн.: Фримен А. ASP.NET MVC 5 с примерами на C# для профессионалов Alex_Odeychuk) |
| атрибуты проверки достоверности | data annotations (данных; из кн.: Фримен А. ASP.NET MVC 5 с примерами на C# для профессионалов Alex_Odeychuk) |
| аудиторская проверка кода | code audit (InfoWorld Alex_Odeychuk) |
| беззнаковая проверка "меньше, чем" | SLTU (ssn) |
| беззнаковая проверка "меньше, чем" | Set on Less Than Unsigned (ssn) |
| беззнаковое умножение с проверкой переполнения | determination of overflow of unsigned multiplication (ssn) |
| безопасно выполнить проверку на потенциально возможное арифметическое переполнение | safely check for potential overflows (корпорации Apple; контекстуальный перевод на русс. язык Alex_Odeychuk) |
| блокирование для проверки наличия сигнала | blocking to test for delivery of a signal (ssn) |
| блокировка с двойной проверкой | double-check locking (Alex_Odeychuk) |
| блокировка с двойной проверкой | double checked locking (шаблок проектирования, предназначенный для уменьшения накладных расходов, связанных с получением блокировки Alex_Odeychuk) |
| блокировка с двойной проверкой | double-checked locking (ssn) |
| быть автоматически приведенным к типу, не допускающему пустого значения, после проверки переменной на пустое значение | be automatically cast to non-nullable after null check (Alex_Odeychuk) |
| верификация и проверка правильности требований | verify and validate requirements (ssn) |
| верификация и проверка правильности требований, а также функционирования решения | verify and validate requirements and solution performance (ssn) |
| возможность использования неявной проверки границ | possibility of using implicit boundary check (ssn) |
| выбор среди альтернативных операций на основе результатов проверки | selecting from alternative actions based on test results (ssn) |
| выполнение проверки | testing (ssn) |
| выполнение проверки с помощью лямбда-выражения | testing with a lambda expression (ssn) |
| выполнить проверку дополнительных условий | check for additional conditions (корпорации Apple Alex_Odeychuk) |
| выполнить проверку на наличие файла или папки с идентичным именем | check for a file or folder having the same name (англ. термин взят из кн.: De Sanctis V. ASP.NET Core and Angular 2 Alex_Odeychuk) |
| выполнить проверку на типобезопасность | do a proof of type safety (корпорации AdaCore Alex_Odeychuk) |
| выполнять проверку иерархии классов на соответствие принципу подстановки Лисков | verify class consistency (Electronic Design Alex_Odeychuk) |
| выполнять проверку на выход за границы массива | bound-check (IBM Alex_Odeychuk) |
| выполнять проверку на соответствие стандарту оформления кода | verify compliance with a coding standard (корпорации AdaCore Alex_Odeychuk) |
| выполнять проверку на соответствие стандарту разработки кода | verify compliance with a coding standard (корпорации AdaCore Alex_Odeychuk) |
| выполнять проверку соответствия типов | typecheck (IBM Alex_Odeychuk) |
| граничная проверка | bounds checking (ssn) |
| динамическая проверка соответствия типов | dynamic typing (ssn) |
| динамическая проверка соответствия типов | dynamic type checking (проверка, выполняемая при интерпретации программы, определяющая допустимость заданных типов данных в операторах программы ssn) |
| динамическая проверка типа | dynamic type test (с использованием информации, доступной во время выполнения программного кода Alex_Odeychuk) |
| динамическая проверка типа в операторе сопоставления с образцом | dynamic type test in the pattern match (the ~ Alex_Odeychuk) |
| динамическая проверка типов | dynamic typing (ssn) |
| динамическая проверка типов | dynamic type checking (ssn) |
| дополнительная динамическая проверка | additional dynamic checking (корпорации AdaCore Alex_Odeychuk) |
| достоинство статической проверки типов | benefit of static typechecking (ssn) |
| ещё совсем недавно большинство разработчиков рассматривали термин формальная верификация как синоним проверки на эквивалентность | in the not-so-distant past, the term formal verification was considered synonymous with equivalency checking for the majority of design engineers (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004) |
| завершающая проверка системы | final system testing (ssn) |
| задача проверки | task of verifying (напр., новых приложений на соответствие каким-либо критериям ssn) |
| задача проверки новых приложений на соответствие временным спецификациям | task of verifying that new applications satisfy their timing specifications (ssn) |
| записывающий проверки | audit recorder (ssn) |
| запрос на антивирусную проверку | virus checking request (ssn) |
| запрос на проверку кода | request for code review (Alex_Odeychuk) |
| запрос на проверку пустоты стека | query to determine whether the stack is empty (ssn) |
| зарегистрированное средство проверки синтаксиса | registered syntax checker (Alex_Odeychuk) |
| затраты на проверку | overhead of checking (ssn) |
| затраты, связанные с проверкой актуальности | costs associated with revalidation (ssn) |
| избыточная проверка | redundant test (ssn) |
| избыточные проверки | redundant tests (ssn) |
| инспекторская проверка | inspection (тж. инспектирование; разновидность "дружеской" экспертизы (peer review), предусматривающая визуальную проверку документации на ПО силами специально подготовленной группы сотрудников с целью обнаружения таких ошибок, как нарушение стандартов на разработку и несоответствие документам более высокого уровня. Это один из самых формализованных видов экспертизы, поэтому он всегда базируется на чётко документированной процедуре ssn) |
| инструкция проверки и установки | testset instruction (ssn) |
| инструмент автоматической проверки | automated checker (корпорации AdaCore Alex_Odeychuk) |
| инструмент автоматической проверки функциональной безопасности приложений | automated safety checker (корпорации AdaCore Alex_Odeychuk) |
| инструмент проверки логических аннотаций | logic checker (в коде на языке программирования Java Alex_Odeychuk) |
| инструмент проверки соблюдения стандартов оформления кода | linter (Alex_Odeychuk) |
| инструментальное средство проверки | solver (Alex_Odeychuk) |
| инструментальное средство проверки на соответствие | verification tool (Alex_Odeychuk) |
| инструментальное средство проверки на соответствие стандарту оформления кода | coding standard verification tool (Alex_Odeychuk) |
| инструментальное средство проверки стиля оформления кода | lint tool (Alex_Odeychuk) |
| интервал диагностических проверок | diagnostic test interval (интервал между неавтономными проверками, предназначенными для того, чтобы обнаружить отказы в системах обеспечения безопасности с заданным диагностическим охватом ssn) |
| информация о версии, которая служит для проверки доступности этой же версии при выполнении | version information that serves to verify the availability of the same version upon execution (ssn) |
| использование диаграммы состояний конечного автомата для проверки правильности вводимых строк | using a FSM to check the validity of an input string (ssn) |
| использование конечного автомата для проверки правильности вводимых строк | using a FSM to check the validity of an input string (ssn) |
| Используйте HCL для проверки совместимости оборудования | Use the HCL to check compatibility (ssn) |
| исследователь проверок следов | audit trail examiner (ssn) |
| исчерпывающая проверка | extensive testing (ssn) |
| канал с функциональной проверкой | channel with functional test (ssn) |
| карта проверки | validation map (набор инструкций преобразования, описывающих дополнительную проверку документа EDI. Один из пяти поддерживаемых типов карт. См. глоссарий основных терминов, применяемых в IBM WebSphere Business Services Fabric версии 7.0 ssn) |
| код с проверками | code with checks (ssn) |
| код с проверкой чётности | parity check code (ssn) |
| количество и виды проверок на ошибки | extent and type of error checking (в скомпилированном коде ssn) |
| количество и виды проверок на ошибки в скомпилированном коде | extent and type of error checking in the compiled code (ssn) |
| кольцевая проверка | loop test (ssn) |
| кольцевая проверка | loopback test (линии связи или канала передачи данных ssn) |
| кольцевая проверка в аналоговом режиме | analog loopback (линии связи или канала передачи данных ssn) |
| кольцевая проверка линий связи | loopback test (тест, выполняемый, напр., с помощью шлейфовой заглушки и кольцевых тестовых пакетов. Обычная цель теста – установить, что сетевой адаптер (network adapter) соединён с сетью и готов к передаче данных ssn) |
| кольцевая проверка оборудования | hardware loop test (ssn) |
| команда беззнаковой проверки "меньше, чем" | SLTU instruction (ssn) |
| конструктив с входной проверкой | pre-tested construct (ssn) |
| конструктив с выходной проверкой | post-tested construct (ssn) |
| контракт с проверкой соблюдения во время выполнения | runtime contract (InfoWorld Alex_Odeychuk) |
| лишняя проверка | redundant check (ssn) |
| мероприятия по проверке высокоуровневых функционалов и макроархитектурных определений | measures verification activity with respect to items in the high-level functional or macroarchitecture definition (ssn) |
| мероприятия по проверке микроархитектурных особенностей готовой реализации | measures verification activity with respect to microarchitecture details of the actual implementation (ssn) |
| метод проверки | scan method (ssn) |
| метод проверки | screening method (ssn) |
| метод проверки | verification technique (ssn) |
| метод проверки допусков | tolerance checking method (ssn) |
| метод проверки допусков | tolerance check method (ssn) |
| метод проверки моделей | model checking method (ssn) |
| метод проверки моделей | model checking technique (ssn) |
| методы, используемые для анализа пространственного состояния системы с целью проверки достоверности её определённых характеристик | techniques used to explore the state-space of a system to test whether or not certain properties (ssn) |
| механизм проверки данных | validation mechanism (Alex_Odeychuk) |
| механизм проверки достоверности | validator (целевого объекта; англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| моделирование исправной схемы с целью проверки правильности проектирования | design verification simulation (ssn) |
| моделирование с целью проверки правильности проектирования | design verification simulation (ssn) |
| модель для проверки приложений, управляемых через меню | model for testing menu-driven applications (ssn) |
| моментальная проверка синтаксиса | on-the-fly syntax checking (Alex_Odeychuk) |
| независимая верификация и проверка правильности | independent verification and validation (Nadezhda_1212) |
| независимая проверка ограничений синхронизации, осуществляемая во время синтеза | independent verification of the timing constraints realised during the synthesis (ssn) |
| неудачная проверка | check failure (корпорации AdaCore Alex_Odeychuk) |
| неудачная проверка по диапазону значений | range check failure (корпорации AdaCore Alex_Odeychuk) |
| неудачная проверка предиката | predicate check failure (корпорации AdaCore Alex_Odeychuk) |
| неуспешно выполнять проверку предиката | fail a predicate check (Alex_Odeychuk) |
| неявная проверка границ | implicit boundary check (ssn) |
| обеспечить проверку изменений кода коллегой-рецензентом | have a colleague verify your changes (Alex_Odeychuk) |
| оборудование и проверка на соответствие техническим требованиям | equipment and requirements test (ssn) |
| обработка данных: эхо, проверка, подсчёт | process data: echo, check, count (ssn) |
| обработка исключений проверки правильности | validation exception handling (Alex_Odeychuk) |
| обработка исключений проверки правильности | validation error handling (Alex_Odeychuk) |
| одинарный канал с функциональной проверкой | single channel with functional test (одноканальная структура, в которой контрольные данные вводятся в функциональный блок перед началом его работы. См. ГОСТ IEC 60730-1-2011 ssn) |
| окончательная проверка безопасности | final security review (ssn) |
| окончательная проверка ПО | final software test (ssn) |
| окончательная проверка программного обеспечения | final software test (тестирование системы на функционирование в соответствие с требованиями ssn) |
| ОО язык с динамической проверкой типов | dynamically typed object-oriented language (ssn) |
| ОО язык с динамической проверкой типов | OO, dynamically typed language (ssn) |
| ОО язык с динамической проверкой типов | object-oriented, dynamically typed language (ssn) |
| ОО язык с динамической проверкой типов | dynamically typed OO language (ssn) |
| ОО язык со статической проверкой типов | statically typed OO language (ssn) |
| ОО язык со статической проверкой типов | object-oriented, statically typed language (ssn) |
| ОО язык со статической проверкой типов | OO, statically typed language (ssn) |
| ОО язык со статической проверкой типов | statically typed object-oriented language (ssn) |
| оператор проверки на непустое значение | not-null assertion operator (kotlinlang.org Alex_Odeychuk) |
| оператор проверки на равенство | equality operator (==,!= (–) Alex_Odeychuk) |
| оператор проверки на равенство | equality test operator (ssn) |
| оператор проверки равенства | test-for-equality operator (ssn) |
| оператор проверки эквивалентности | equality test operator (ssn) |
| Операторы отношения включают проверки на равенство, неравенство и упорядоченность операндов | Relational operators include tests for equality, inequality and ordering of operands (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
| операции по проверке и установке значений битов | operations to test and set the bits (ssn) |
| операция проверки | verify operation (проводится после окончания процесса резервирования или восстановления файлов, в ходе проверки сравниваются файлы на диске с файлами, которые были записаны на носитель ssn) |
| операция проверки состояния блокировки | operation to check the lock status (Alex_Odeychuk) |
| определённые пользователем правила проверки соблюдения стандартов оформления кода | custom lint rules (Alex_Odeychuk) |
| отключать проверку на переполнение в целочисленной арифметике | turn off integer overflow checking (Alex_Odeychuk) |
| отчёт о проверке ссылок | link check report (ssn) |
| ошибка при проверке границ | range check error (ssn) |
| ошибка при проверке допустимых значений | range check error (ssn) |
| ошибка проверки достоверности | validation error (из кн.: Фримен А. ASP.NET MVC 5 с примерами на C# для профессионалов Alex_Odeychuk) |
| ошибка проверки достоверности пользовательского ввода | input validation error (Alex_Odeychuk) |
| параллельная проверка соответствия типов | parallel typechecking (Microsoft Alex_Odeychuk) |
| параметр проверки стиля | style checker option (ssn) |
| перед проверкой условия | before the condition is evaluated (Technical) |
| петлевая проверка | digital loop test (напр., внутренних схем двух модемов и телефонной линии между ними ssn) |
| поблочная проверка | longitudinal redundancy check (ssn) |
| повторная проверка | retesting (ssn) |
| подсистема проверки проекта | design cross checker (ssn) |
| подтип с проверкой выхода за границы диапазона значений | checked subtype (Alex_Odeychuk) |
| политика проверки кода в процессе возврата после правки | check-in policy (Alex_Odeychuk) |
| последовательность проверки блока | block checking sequence (ssn) |
| правила проверки безопасности | security gates (правила задают количество уязвимостей в коде для каждой группы критичности. Если анализатор найдёт в коде заданное или большее количество уязвимостей, то запрос на слияние изменений или сборка кода будут заблокированы. Alex_Odeychuk) |
| правила проверки инварианта типа | type invariant checking rules (Alex_Odeychuk) |
| правила проверки качества кода | code quality gates (SonarQube Alex_Odeychuk) |
| правила проверки соблюдения стандартов оформления кода | lint rules (Alex_Odeychuk) |
| правила проверки типов | rules for type checking (ssn) |
| превосходная модель для проверки приложений, управляемых через меню | excellent model for testing menu-driven applications (ssn) |
| предопределённая проверка | language-defined check (предопределенная стандартом на язык программирования Alex_Odeychuk) |
| Framework Class Library предоставляет много готовых классов с методами для выполнения стандартных математических вычислений, манипуляций со строками, операций ввода-вывода, операций с базами данных, сетевых операций, обработки файлов, проверки ошибок и т.д. | the Framework Class Library provides many predefined classes that contain methods for performing common mathematical calculations, string manipulations, input/output operations, database operations, networking operations, file processing, error checking and more (см. Deitel P., Deitel. H. – Visual C# 2012 How to Program, 5Ed. – 2013) |
| предупреждение проверки синтаксиса | syntax checking warning (ssn) |
| приводить к выполнению проверки предиката | make a predicate check (Alex_Odeychuk) |
| пример логической программы для проверки упорядоченности списка | logic program example for orderliness testing in lists (ssn) |
| присваивание и проверка условия | assignment and testing of the condition (ssn) |
| проведение проверок достоверности | running validation checks (ssn) |
| проверка адаптера дисплея | display adaptor test (ssn) |
| проверка адаптера дисплея | display adapter test (ssn) |
| проверка адреса области памяти | memory address test (ssn) |
| проверка адреса ячейки памяти | memory address test (ssn) |
| проверка безопасности | security review (ssn) |
| проверка безопасности | security inspection (ssn) |
| проверка безопасности кода | code safety verification (ssn) |
| проверка бланка | validate order (заказа ssn) |
| проверка виртуализации | virtualization validation (ssn) |
| проверка виртуализации серверов | server virtualization validation (ssn) |
| проверка включения | testing inclusion (ssn) |
| проверка включения временных омега-автоматов | testing inclusion between timed omega automata (ssn) |
| проверка во время выполнения | runtime check (Alex_Odeychuk) |
| проверка во время инициализации | initialization checking (ssn) |
| проверка во время компиляции | static assertion (Alex_Odeychuk) |
| проверка вызова методов имитирующего объекта | verification of mock method calls (Alex_Odeychuk) |
| проверка выхода за границы | check for out-of-bounds (ssn) |
| проверка граничных значений | range check (Alex_Odeychuk) |
| проверка датчиков | sensor checking (ssn) |
| проверка датчиков, если она не предоставляется как утилита или встроенная программа | sensor checking if not provided as a service of the embedded software (как сервис встроенного программного обеспечения ssn) |
| проверка действительности | validity checking (ssn) |
| проверка диапазона изменения индексов | bounds checking (массива ssn) |
| проверка диска на наличие ошибок | check the disk for errors (ssn) |
| проверка допустимых значений | range check (корпорации AdaCore Alex_Odeychuk) |
| проверка доставки | proof of delivery (ssn) |
| проверка дублирования | duplication check (ssn) |
| проверка за столом | desk checking (ssn) |
| проверка задержки распространения | path-delay test (сигнала ssn) |
| проверка значения атрибута | attribute value assertion (ssn) |
| проверка значения бита | bit test (определение, равен заданный бит 0 или 1. Применяется в самых разных целях ssn) |
| проверка значения свойства | property verification (Alex_Odeychuk) |
| проверка идентификации системы | checking the system identification (ssn) |
| проверка информации по проекту | project information verification (ssn) |
| проверка истинности | truth test (ssn) |
| проверка источников данных | data origin authentication (ssn) |
| проверка исходного кода | code checking (Alex_Odeychuk) |
| проверка качества для завершения фазы | quality gates (тестирования ssn) |
| проверка качества на этапе приёмочного тестирования | quality gates (financial-engineer) |
| проверка качества функционирования | performance testing (ssn) |
| проверка кода | code checking (Alex_Odeychuk) |
| проверка кода программы | code checking (ssn) |
| проверка компилятором типов внешних функций | compiler type checks on external functions (Alex_Odeychuk) |
| проверка конца данных | test for end of data (ssn) |
| проверка менеджмента риска | risk management audit (ssn) |
| проверка напр. правильности счёта методом дублирования | twin check (ssn) |
| проверка моделей | model checking (ssn) |
| проверка модели программного обеспечения | software model checking (Microsoft Alex_Odeychuk) |
| проверка на null | null check (ssn) |
| проверка на | test for (ssn) |
| проверка на вирусы | virus filtering (ssn) |
| проверка на возникновение ошибки | error checking (Alex_Odeychuk) |
| проверка на изоморфизм | isomorphism testing (ssn) |
| проверка на месте производства | inspection at source (ssn) |
| проверка на модели | model checking (Alex_Odeychuk) |
| проверка на наличие / отсутствие типичных ошибок / дефектов | fault-based testing |
| проверка на неопределённое значение | null check (Alex_Odeychuk) |
| проверка на неопределённое значение | checking for null (Alex_Odeychuk) |
| проверка на неравенство | test for inequality (операндов ssn) |
| проверка на неравенство операндов | test for inequality of operands (ssn) |
| проверка на отсутствие синтаксических ошибок | well-formedness check (в исходном коде Alex_Odeychuk) |
| проверка на переполнение | overflow checking (Alex_Odeychuk) |
| проверка на переполнение | overflow test (ssn) |
| проверка на переполнение в целочисленной арифметике | integer overflow checking (Alex_Odeychuk) |
| проверка на переполнение произведения знаковых операндов | overflow test for signed multiplication (ssn) |
| проверка на правдоподобие | reasonableness check (ssn) |
| проверка на предмет проблем | checking for problems (ssn) |
| проверка на принадлежность | membership test (к диапазону, подтипу, типу, классу Alex_Odeychuk) |
| проверка на принадлежность диапазону | range test (ssn) |
| проверка на простоту | testing for primality (ssn) |
| проверка на пустое значение | null-checking (Alex_Odeychuk) |
| проверка на пустое значение | null check (SergeiAstrashevsky) |
| проверка на пустой указатель | null-checking (Alex_Odeychuk) |
| проверка на равенство | equality test (ssn) |
| проверка на равенство | test for equality (операндов ssn) |
| проверка на равенство | comparing for equality (ssn) |
| проверка на равенство значению NULL | null value test (ssn) |
| проверка на равенство операндов | test for equality of operands (ssn) |
| проверка на равенство типов значений | comparing value types for equality (ssn) |
| проверка на соответствие | consistency checking (напр., проверка соответствия структуры каталога диска блокам данных на диске ssn) |
| проверка на соответствие стандарту | conformance testing (ssn) |
| проверка на соответствие стандарту оформления кода | code standard verification (корпорации AdaCore Alex_Odeychuk) |
| проверка на соответствие техническим требованиям | requirements test (ssn) |
| проверка на соответствие шаблону | pattern matching test (ssn) |
| проверка на упорядоченность | test for ordering (операндов ssn) |
| проверка на упорядоченность операндов | test for ordering of operands (ssn) |
| проверка на устойчивость к ошибкам | invalid testing (ssn) |
| проверка на уязвимость | PCI compliance (sSenorita) |
| Проверка на чётность при мультиплексировании с чередованием бит | Bit Interleaved Parity (Himera) |
| проверка на эквивалентность | equivalency checking (ssn) |
| проверка надёжности | reliability testing (ssn) |
| проверка наличия | membership test (Alex_Odeychuk) |
| проверка наличия во множестве | set membership test (ssn) |
| проверка наличия мест | check availability of properties (на туристическом веб-сайте ssn) |
| проверка наличия сигнала | test for delivery of a signal (ssn) |
| проверка насыщением | saturation test (проверка программ с использованием большого количества сообщений, предназначенная для определения ошибок, которые происходят очень редко и которые могут быть вызваны редкими совпадениями, такими как, напр., прибытие двух сообщений в одно и то же время ssn) |
| проверка обоснованности требований | requirements validation (ssn) |
| проверка обратной пересылкой | echo check (диагностический тест – проверка сетевых соединений и целостности передаваемых данных посылкой их после приёма обратно передающей стороне для сравнения с первоначально отправленными данными. Подобный контроль вытеснен использованием контрольных сумм. Syn: echo test , loopback check , loop check , readback check ssn) |
| проверка ограничений синхронизации | verification of the timing constraints (ssn) |
| проверка ограничений синхронизации, осуществляемая во время синтеза | verification of the timing constraints realised during the synthesis (ssn) |
| проверка орфографии в исходном коде | source code spell checking (Alex_Odeychuk) |
| проверка отсутствия ошибок | assertion checking (ssn) |
| проверка перед разыменованием | checking before dereference (ssn) |
| проверка перехода | transition test (ssn) |
| проверка по вероятности | probabilistic verification (ssn) |
| проверка по диапазону значений | range check (корпорации AdaCore Alex_Odeychuk) |
| проверка по контрольной сумме | checksum test (один из простых методов проверки ОЗУ, когда в него сначала записываются блоки данных, контрольная сумма которых заранее известна, а затем производится их считывание, подсчёт контрольной суммы и сравнение результата с сохранённой суммой ssn) |
| проверка по чётности циклическим избыточным кодом | cyclic redundancy check (ssn) |
| проверка правильности | validating (ssn) |
| проверка правильности вводимых строк | check the validity of an input string (ssn) |
| проверка правильности вводимых строк | validating an input string (ssn) |
| проверка правильности выполнения приложения | application verification (ssn) |
| проверка правильности выполнения приложения | app verification (ssn) |
| проверка правильности данных в объектах постоянного хранения | validation of persisted objects (англ. термин взят из кн.: Ottinger J.B., Minter D., Linwood J. Beginning Hibernate. – Apress, 2014. – 223 р. Alex_Odeychuk) |
| проверка правильности проектирования | design validation (ssn) |
| проверка правильности проектного решения | design validation (ssn) |
| проверка правильности функционирования | fault detection in the course of operation (обнаружение неисправностей в процессе функционирования объекта ssn) |
| проверка правописания | spell checking (ssn) |
| проверка предусловия надклассового типа | class-wide precondition check (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| проверка приложений HTTP | HTTP app inspection (ssn) |
| проверка приложений HTTP | HTTP application inspection (ssn) |
| проверка приложений | app inspection (ssn) |
| проверка приложений | application inspection (ssn) |
| проверка приложений, управляемых через меню | testing menu-driven applications (ssn) |
| проверка принадлежности | membership test (Alex_Odeychuk) |
| проверка принадлежности регулярному языку | testing membership in a regular language (ssn) |
| проверка протокола | protocol test (метод контроля повреждения/ошибки, при котором происходит обмен данными с и между компонентами компьютера для обнаружения ошибок во внутреннем протоколе сообщений. См. ГОСТ IEC 60730-1-2011 ssn) |
| проверка пустоты | testing emptiness (ssn) |
| проверка пустоты подкласса | empty subclass test (Alex_Odeychuk) |
| проверка пустоты регулярного языка | testing emptiness of regular language (ssn) |
| проверка работоспособности | sanity check (ssn) |
| проверка равенства | test-for-equality (ssn) |
| проверка равенства объектов | comparing objects for equality (ssn) |
| проверка разделения ПО на части | examination of the software separation (ssn) |
| проверка разделения программного обеспечения на части | examination of the software separation (ssn) |
| проверка различимости состояний | testing distinguishability of states (ssn) |
| проверка распределённых систем | verifying distributed systems (ssn) |
| проверка реализации на соответствие спецификации | verification of consistency between specification and implementation (Electronic Design Alex_Odeychuk) |
| проверка режимов функционирования | behavioral test (ssn) |
| проверка решения | solution verification (ssn) |
| проверка с помощью ping-запросов | pinging (ssn) |
| проверка с помощью шлейфа | loopback (ssn) |
| проверка свойств | checking for properties (ssn) |
| проверка свойства | property checking (ssn) |
| проверка систем реального времени | validation of real-time systems (ssn) |
| проверка системы | system testing (ssn) |
| проверка события полного завершения | comprehensive completion event testing (ssn) |
| проверка события частичного завершения | partial completion event testing (ssn) |
| проверка совместимости | consistency check (ssn) |
| проверка совместимости размерностей | dimension check (корпорации AdaCore Alex_Odeychuk) |
| проверка согласования типов | typecheck (Alex_Odeychuk) |
| проверка согласования типов во время выполнения | runtime checking (корпорации AdaCore Alex_Odeychuk) |
| проверка согласования типов во время выполнения | run-time type check (Alex_Odeychuk) |
| проверка соответствия | conformance checking (ssn) |
| проверка соответствия | ensuring conformance (ssn) |
| проверка соответствия архитектуре | ensuring conformance to an architecture (ssn) |
| проверка соответствия приложения руководящим документам | compliance testing (ssn) |
| проверка соответствия пути | path verification (при проведении тестирования ssn) |
| проверка соответствия реализации архитектуре | ensuring that the implementation conforms to the architecture (ssn) |
| проверка соответствия результатов отдельных этапов разработки программной системы | conformance checking of results of separate phases of software development (ssn) |
| проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах | conformance checking of results of separate phases of software development to requirements and restrictions stated for these results on previous phases (верификация ssn) |
| проверка соответствия спецификации | conformance testing (ssn) |
| проверка соответствия типов | typing (ssn) |
| проверка соответствия типов | typechecking (ssn) |
| проверка соответствия типов | type checking (проверка, выполняемая при компиляции или интерпретации программы, определяющая допустимость заданных типов данных в операторах программы ssn) |
| проверка соответствия типов | type checking analysis (Alex_Odeychuk) |
| проверка соответствия типов во время выполнения | runtime type checking (oracle.com Alex_Odeychuk) |
| проверка соответствия топологии схеме | verification of layout versus schematic (см. IEC 61508-7:2010 ssn) |
| проверка соответствия формальным спецификациям и тестирование программного обеспечения | software validation and testing (Alex_Odeychuk) |
| проверка состояния | status checking (ssn) |
| проверка состояния ввода | input-status check (ssn) |
| проверка состояния приложения | health check (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| проверка состояния файлов | checking the status of files (ssn) |
| проверка списка бесплатных подписок | time to review comp list (ssn) |
| проверка ссылки | reference check (ssn) |
| проверка ссылок | link verification (ssn) |
| проверка ссылок | link check (ssn) |
| проверка строк | testing strings (ssn) |
| проверка строк на равенство | testing strings for equality (ssn) |
| проверка типа | type checking (система типов) |
| проверка типа вместо интерфейса | checking type instead of interface (антишаблон проектирования: проверка того, что объект имеет специфический тип в то время, когда требуется только определённый интерфейс Alex_Odeychuk) |
| проверка типа вместо интерфейса | checking type instead of membership (проверка того, что объект имеет специфический тип в то время, когда требуется только определённый интерфейс Alex_Odeychuk) |
| проверка типа "годен-негоден" | go-no-go test (ssn) |
| проверка типа и раздельная компиляция | type checking and separate compilation (ssn) |
| проверка типа перечислимых констант | type-checking for enum constants (Alex_Odeychuk) |
| проверка условия | testing of the condition (ssn) |
| проверка условия | conditional test (ветвления; проверка на выполнение указанного условия – производится, напр., в начале или конце цикла, чтобы определить, по какой ветви следует продолжить выполнение программы ssn) |
| проверка утверждений | assertion checking (ssn) |
| проверка формата | format validation (ssn) |
| проверка форматов дат | validating date formats (ssn) |
| проверка хранения | storage check (ssn) |
| проверка целостности | verification of the integrity (ssn) |
| проверка целостности | consistency check (данных ssn) |
| проверка целостности | integrity checking (в СУБД – проверка корректности записей БД. Производится при загрузке данных (data loading) ssn) |
| проверка целостности данных | data integrity check (ssn) |
| проверка целостности данных БД | database consistency check (ssn) |
| проверка целостности данных БД | data base consistency check (ssn) |
| проверка целостности конфигурации | configuration integrity check (ssn) |
| проверка целостности созданного приложения | verification of the integrity of a produced application (ssn) |
| проверка целостности созданного приложения системы UM, созданной посредством среды программирования и используемой на машине исполнения системы UM | verification of the integrity of a produced UM application produced by the programming environment and used on a UM execution machine (ssn) |
| проверка целых чисел со знаком | validating a signed integer (ssn) |
| проверка чётности | parity check (ssn) |
| проверка эквивалентности | equality test (ssn) |
| проверка эргономичности | usability testing (ssn) |
| проверка языка, сгенерированного грамматикой | verifying the language generated by a grammar (ssn) |
| проверки на возникновение ошибок | error checking (ssn) |
| проверки на возникновение ошибок во время выполнения наиболее часто вызываемых методов | error checking during the execution of the most frequently called members (ssn) |
| проверки на ошибки | error checking (в скомпилированном коде ssn) |
| проверки на правдоподобие | reasonableness checks (проверки информации, которая поступает в систему, работающую в реальном времени, или передается из нее, на нахождение значений проверяемых данных в определенных разумных пределах ssn) |
| проверки на равенство, неравенство и упорядоченность операндов | tests for equality, inequality and ordering of operands (ssn) |
| протокол защиты от несанкционированного доступа методом многоуровневой проверки с сопровождением состояния | stateful multilayer inspection (на сервере ssn) |
| протокол защиты от несанкционированного доступа методом многоуровневой проверки с сопровождением состояния | stateful multi-layer inspection (на сервере ssn) |
| проходить проверку во время компиляции | pass a compile-time check (Alex_Odeychuk) |
| проходить проверку на неопределённое значение | be checked for null (Alex_Odeychuk) |
| проходить проверку совместимости размерностей | be dimension checked (корпорации AdaCore Alex_Odeychuk) |
| проходить проверку согласования типов | type check (e.g., the invocation, which attempts to index a 2D space using 3D points, does not type check and is rejected at compile time Alex_Odeychuk) |
| проходить проверку согласования типов | be type-checked (Alex_Odeychuk) |
| проходить проверку соответствия типов | type check (Alex_Odeychuk) |
| процесс-проверка | test process (ssn) |
| процесс проверки данных | data verification process (ssn) |
| процесс проверки лицензирования | licensing verification process (ssn) |
| процесс проверки соответствия | validation process (ssn) |
| процесс совместных проверок | joint review process (ssn) |
| разработка, нацеленная на воспроизведение необходимых характеристик с использованием эволюционного инкрементного проектирования, в ходе которой за быстро осуществляемыми этапами разработки следует исчерпывающая проверка | feature-driven development using evolutionary incremental design, with rapid iterations backed by extensive testing (ssn) |
| рассматриваться как синоним проверки на эквивалентность | be considered synonymous with equivalency checking (ssn) |
| режим проверки кадров | frame check mode (ssn) |
| режим проверки МП при наличии взаимодействия между процессором и памятью | closed loop mode (с замкнутой связью ssn) |
| режим проверки МП с разрывом связи между процессором и памятью | open loop mode (ssn) |
| результат проверки | status (code quality status – результат проверки качества кода Alex_Odeychuk) |
| результат проверки | test result (ssn) |
| результат проверки качества кода | code quality status (Alex_Odeychuk) |
| результаты проверки | test results (ssn) |
| роль методов формальной верификации в контексте проверки соответствия и тестирования ПО | role of formal verification techniques in the context of software validation and testing (ssn) |
| ручная проверка | manually check (ssn) |
| ручная проверка наличия перекрытий | manually check for overlaps (ssn) |
| с входной проверкой | pre-tested (ssn) |
| с выходной проверкой | post-tested (ssn) |
| с двойной проверкой | double-checked (ssn) |
| с динамической проверкой типов | dynamically typed (ssn) |
| с проверкой во время выполнения | checked at runtime (Alex_Odeychuk) |
| с проверкой ошибок | failure assertion (e.g., failure assertion programming – программирование с проверкой ошибок Alex_Odeychuk) |
| с проверкой согласования типов во время выполнения | with a run-time type check (Alex_Odeychuk) |
| самое очевидное достоинство статической проверки типов | the most obvious benefit of static typechecking (ssn) |
| сбой проверки | check failure (корпорации AdaCore Alex_Odeychuk) |
| сбой проверки по диапазону значений | range check failure (корпорации AdaCore Alex_Odeychuk) |
| сборщик проверок следов | audit trail collector (ssn) |
| сводка проверки достоверности | validation summary (данных; из кн.: Фримен А. ASP.NET MVC 5 с примерами на C# для профессионалов Alex_Odeychuk) |
| система проверки данных | data checking system (ssn) |
| система проверки орфографии | spellcheck system (ssn) |
| слабая проверка соответствия типов | weak typing (ssn) |
| слабая проверка типов | weak typing (ssn) |
| сложность проверки простоты | complexity of primality testing (ssn) |
| Служба проверки подлинности и прав доступа Java | JAAS (сокр. от Java Authentication and Authorization Service ssn) |
| Служба проверки подлинности и прав доступа Java | Java Authentication and Authorization Service (в технологии Java EE – стандартный API для выполнения защищённых операций. Посредством JAAS службы могут проверять подлинность и права доступа пользователей, при этом приложения могут оставаться независимыми от базовых технологий ssn) |
| согласование и проверка обоснованности требований | requirements negotiation and validation (ssn) |
| сообщение проверки | validation message (ssn) |
| способ проверки | way of checking (ssn) |
| способ проверки линии последовательной передачи данных | a way of checking a serial link (ssn) |
| способ проверки последовательного канала | a way of checking a serial link (ssn) |
| способы проверки | ways of checking (ssn) |
| средства автоматической проверки инструментом параметризации | means of an automatic check by a parameterization tool (ssn) |
| средства проверки | verification (ssn) |
| средства проверки достоверности на клиентской и серверной сторонах | front-end and back-end validators (Alex_Odeychuk) |
| средства проверки устройств | device verification (ssn) |
| средство доставки и проверки кода | means of code delivery and validation (Alex_Odeychuk) |
| средство проверки | checker (ssn) |
| средство проверки достоверности | validator (из кн.: Фримен А. ASP.NET MVC 5 с примерами на C# для профессионалов Alex_Odeychuk) |
| средство проверки достоверности на стороне клиента | front-end validator (Alex_Odeychuk) |
| средство проверки достоверности на стороне сервера | back-end validator (Alex_Odeychuk) |
| средство проверки на соответствие стандартам оформления кода | coding standards enforcement tool (корпорации AdaCore Alex_Odeychuk) |
| средство проверки на соответствие стандартам разработки кода | coding standards enforcement tool (корпорации AdaCore Alex_Odeychuk) |
| средство проверки на соответствие стандарту оформления кода | coding standard checker (корпорации AdaCore Alex_Odeychuk) |
| средство проверки на соответствие стандарту разработки кода | coding standard checker (корпорации AdaCore Alex_Odeychuk) |
| Стандартное покрытие связей мы обычно дополняем чистыми и грязными тестами для проверки показателей, особенно операторов + и * | Beyond mere link cover, we usually supplement the tests with clean and dirty tests to handle exponents, especially the plus and star operator (см. Black-box Testing: Techniques for Functional Testing of Software and Systems / Beizer, Boris 1995 ssn) |
| статическая и динамическая проверка | static and run-time checking (Alex_Odeychuk) |
| статическая проверка | static checking (Alex_Odeychuk) |
| статическая проверка кода | static checking (Alex_Odeychuk) |
| статическая проверка соответствия типов | static typing (ssn) |
| статическая проверка соответствия типов | static typechecking (ssn) |
| статическая проверка соответствия типов | static type checking (ssn) |
| статическая проверка типов | static typing (ssn) |
| статическая проверка типов | static typechecking (ssn) |
| статическая проверка типов | static type checking (проверка типов, производимая во время компиляции программы, не во время её исполнения) |
| статические проверки | static checking (ssn) |
| строгая проверка | rigorous validation (данных ssn) |
| строгая проверка всех данных перед обработкой | rigorous validation of all data before processing (ssn) |
| строгая проверка подлинности | strong authentication (ssn) |
| строгая проверка соответствия типов | strong typing (ssn) |
| строгая проверка типов | strong typing (ssn) |
| строка сообщения проверки | validation message string (ssn) |
| строка сообщения проверки | validate message string (ssn) |
| строка сообщения проверки формата | format validation message string (ssn) |
| схема логической проверки | validation scheme (Alex_Odeychuk) |
| схема логической проверки зависимостей | dependency validation scheme (Alex_Odeychuk) |
| схема проверки правильности зависимостей | dependency validation scheme (Alex_Odeychuk) |
| схема управления циклом, в которой проверка производится в теле цикла | loop control that performs the test somewhere in the middle of the loop body (пример – оператор exit в языке Ада ssn) |
| схемы проверки зависимости по данным | dependency checking logic (в векторных и конвейерных процессорах перед распараллеливанием исполнения выполняется аппаратная проверка операндов команд на зависимость от предыдущих операций ssn) |
| тестирование по проверке версий | build verification testing (выборочное тестирование ssn) |
| тестирование с целью проверки исправности объекта | go-no-go testing (ssn) |
| тестирование с целью проверки работоспособности объекта | go-no-go testing (ssn) |
| тестопригодность: степень, в которой система улучшает определение критериев тестирования и проведение тестирования с целью проверки выполнения данных критериев | testability: The degree to which a system facilitates the establishment of test criteria and the performance of tests to determine whether those criteria have been met (см. IEEE Standard Glossary of Software Engineering Terminology/ IEEE Std. 610.12-1990 ssn) |
| тестопригодность: степень, в которой требования формулируются в терминах, позволяющих определить критерии тестирования и провести тестирование с целью проверки выполнения данных критериев | testability: The degree to which a requirement is stated in terms that permit establishment of test criteria and performance of tests to determine whether those criteria have been met (см. IEEE Standard Glossary of Software Engineering Terminology/ IEEE Std. 610.12-1990 ssn) |
| тип, допускающий проверку на равенство | equality type (Alex_Odeychuk) |
| тип проверки | challenge type (точнее – тип капчи, которая будет выводиться пользователю  remage.su owant) |
| удалённая проверка подлинности | remote authentication (ssn) |
| улучшение тестирования по проверке версий | improved build verification testing (ssn) |
| упреждающая проверка актуальности | prevalidation (ssn) |
| уровень проверок | degree of checking (Alex_Odeychuk) |
| условие проверки | check condition (ограниченная форма условия поиска, используемая в проверочных ограничениях ssn) |
| условия проверки | check conditions (ssn) |
| условия проверки устройства | check conditions of the device (ssn) |
| устройство автоматической проверки кабелей | automatic cabling tester (ssn) |
| устройство автоматической проверки кабелей | automatic cabletester (ssn) |
| устройство автоматической проверки кабелей | automatic cable-tester (ssn) |
| утверждение в целях проверки корректности программного обеспечения | assertions for correctness (Alex_Odeychuk) |
| Хороший компилятор должен уметь порождать код с проверками, избегать лишних проверок и позволять программистам управлять количеством и видами проверок на ошибки в скомпилированном коде | A good compiler should be able to produce code with checks, should avoid redundant checks, and should allow programmers to control the extent and type of error checking in the compiled code (ssn) |
| Цель. Проверка способности систем, связанных с безопасностью, справляться с пиковыми выбросами внешних воздействий | Aim: To check the capacity of the safety-related system to handle peak surges (см. IEC 61508-7:2010 и ГОСТ Р МЭК 61508-7-2012 ssn) |
| цикл с предварительной проверкой условия | pretest loop (цикл, в котором предикат управления циклом вычисляется до того как выполняется какая-либо обработка внутри цикла ssn) |
| цикл с предварительной проверкой условия | pretested loop (условие завершения цикла проверяется до исполнения тела цикла. Ant: posttested loop ssn) |
| цикл с проверкой в теле | in-test loop (пример – оператор exit в языке Ада ssn) |
| цикл с проверкой до | pretest loop (ssn) |
| цикл с проверкой после | posttest loop (ssn) |
| цикл со смешанной проверкой | mixedtest loop (цикл, в котором обработка происходит и до, и после того, как вычислен предикат управления циклом (loop control predicate) ssn) |
| частичная проверка | partial checking (ssn) |
| шаблон блокировки с двойной проверкой | double-checked locking pattern (ssn) |
| ядро инструментального средства проверки | solver kernel (Универсальный (стандартный) программёрский термин Konstantin 1966) |
