| Russian | English |
| безопасно выполнить проверку на потенциально возможное арифметическое переполнение | safely check for potential overflows (корпорации 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) |
| выполнять проверку на выход за границы массива | 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) |
| инструментальное средство проверки на соответствие | 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) |
| оборудование и проверка на соответствие техническим требованиям | 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) |
| проверка на 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) |
| проверки на возникновение ошибок | 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) |
| проходить проверку на неопределённое значение | be checked for null (Alex_Odeychuk) |
| рассматриваться как синоним проверки на эквивалентность | be considered synonymous with equivalency checking (ssn) |
| синтаксическая диаграмма проверки на принадлежность диапазону | range test syntax diagram (ssn) |
| средство проверки на соответствие стандартам оформления кода | 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) |
| тип, допускающий проверку на равенство | 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) |
