| Russian | English |
| безопасно выполнить проверку на потенциально возможное арифметическое переполнение | safely check for potential overflows (корпорации Apple; контекстуальный перевод на русс. язык Alex_Odeychuk) |
| блок проверки текста на отсутствие контекстных ошибок | context checker (ssn) |
| быть автоматически приведенным к типу, не допускающему пустого значения, после проверки переменной на пустое значение | be automatically cast to non-nullable after null check (Alex_Odeychuk) |
| выбор среди альтернативных операций на основе результатов проверки | selecting from alternative actions based on test results (ssn) |
| выполнить проверку на наличие файла или папки с идентичным именем | 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) |
| ещё совсем недавно большинство разработчиков рассматривали термин формальная верификация как синоним проверки на эквивалентность | 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) |
| задача проверки новых приложений на соответствие временным спецификациям | task of verifying that new applications satisfy their timing specifications (ssn) |
| запрос на антивирусную проверку | virus checking request (ssn) |
| запрос на проверку кода | request for code review (Alex_Odeychuk) |
| запрос на проверку пустоты стека | query to determine whether the stack is empty (ssn) |
| затраты на проверку | overhead of checking (ssn) |
| инструментальное средство проверки на соответствие | verification tool (Alex_Odeychuk) |
| инструментальное средство проверки на соответствие стандарту оформления кода | coding standard verification tool (Alex_Odeychuk) |
| исключение проверок на null | null check elimination (ssn) |
| количество и виды проверок на ошибки | extent and type of error checking (в скомпилированном коде ssn) |
| количество и виды проверок на ошибки в скомпилированном коде | extent and type of error checking in the compiled code (ssn) |
| модуль проверки текста на отсутствие контекстных ошибок | context checker (ssn) |
| оборудование и проверка на соответствие техническим требованиям | equipment and requirements test (ssn) |
| оператор проверки на непустое значение | not-null assertion operator (kotlinlang.org Alex_Odeychuk) |
| оператор проверки на равенство | equality operator (==,!= (–) Alex_Odeychuk) |
| оператор проверки на равенство | 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) |
| отключать проверку на переполнение в целочисленной арифметике | turn off integer overflow checking (Alex_Odeychuk) |
| переменная типа, допускающего проверку на равенство | equality type variable (Alex_Odeychuk) |
| проверка диска на наличие ошибок | check the disk for errors (ssn) |
| проверка достоверности на стороне клиента | client-side validation (из кн.: Чедвик Д., Снайдер Т., Панда Х. ASP.NET MVC 4. Разработка реальных веб-приложений с помощью ASP.NET MVC Alex_Odeychuk) |
| проверка качества на этапе приёмочного тестирования | quality gates (financial-engineer) |
| проверка на 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) |
| проверка на равенство | test for equality (операндов ssn) |
| проверка на равенство | equality test (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) |
| проверка подлинности на основе сертификата | certificate authentication (ssn) |
| проверка подлинности на основе учётной записи социальной сети | social authentication (ssn) |
| проверка разделения ПО на части | examination of the software separation (ssn) |
| проверка разделения программного обеспечения на части | examination of the software separation (ssn) |
| проверка реализации на соответствие спецификации | verification of consistency between specification and implementation (Electronic Design Alex_Odeychuk) |
| проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах | conformance checking of results of separate phases of software development to requirements and restrictions stated for these results on previous phases (верификация ssn) |
| проверка строк на равенство | testing strings for equality (ssn) |
| проверка типов значений на равенство | comparing value types for equality (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) |
| проверки на возникновение ошибок | 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) |
| программа проверки текста на отсутствие контекстных ошибок | context checker (ssn) |
| проходить проверку на неопределённое значение | be checked for null (Alex_Odeychuk) |
| разработка, нацеленная на воспроизведение необходимых характеристик с использованием эволюционного инкрементного проектирования, в ходе которой за быстро осуществляемыми этапами разработки следует исчерпывающая проверка | feature-driven development using evolutionary incremental design, with rapid iterations backed by extensive testing (ssn) |
| рассматриваться как синоним проверки на эквивалентность | be considered synonymous with equivalency checking (ssn) |
| синтаксическая диаграмма проверки на принадлежность диапазону | range test syntax diagram (ssn) |
| Специалист, заполняющий таблицу контрольных проверок, должен дать ответ на ряд вопросов | A set of questions to be answered by the person performing the checklist (ssn) |
| средства проверки достоверности на клиентской и серверной сторонах | front-end and back-end validators (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) |
| стороннее приёмочное тестирование: приёмочное тестирование пользователями / заказчиками на своей стороне с целью определить удовлетворяют ли компонент или система надобностям пользователя / заказчика и соответствующим требованиям в рамках бизнес-процессов. Обычно включает в себя проверку, как программного обеспечения, так и аппаратных средств | site acceptance testing: Acceptance testing by users/customers at their site, to determine whether or not a component or system satisfies the user/customer needs and fits within the business processes, normally including hardware as well as software (см. Standard glossary of terms used in Software Testing) |
| тип, допускающий проверку на равенство | equality type (Alex_Odeychuk) |
| удаление проверок на null | null check elimination (ssn) |
| Хороший компилятор должен уметь порождать код с проверками, избегать лишних проверок и позволять программистам управлять количеством и видами проверок на ошибки в скомпилированном коде | 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) |
