English | Russian |
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) |
a way of checking a serial link | способ проверки последовательного канала (ssn) |
a way of checking a serial link | способ проверки линии последовательной передачи данных (ssn) |
additional dynamic checking | дополнительная динамическая проверка (корпорации AdaCore Alex_Odeychuk) |
algorithm for type checking | алгоритм проверки типа (см. ISO/IEC 10746-3, ГОСТ Р ИСО/МЭК 10746-3-2001 ssn) |
algorithms for CTL model checking | алгоритмы верификации моделей для формул CTL (ssn) |
algorithms for CTL model checking, LTL model checking | алгоритмы верификации моделей для формул CTL и для формул LTL (ssn) |
algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata | алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов (ssn) |
algorithms for LTL model checking | алгоритмы верификации моделей для формул LTL (ssn) |
assertion checking | проверка отсутствия ошибок (ssn) |
assertion checking | проверка утверждений (ssn) |
automatic bounds checking | автоматический контроль границ (ssn) |
automatic consistency checking | автоматический контроль совместимости (ssn) |
be considered synonymous with equivalency checking | рассматриваться как синоним проверки на эквивалентность (ssn) |
block checking sequence | последовательность проверки блока (ssn) |
bounds checking | граничная проверка (ssn) |
bounds checking | проверка границ (ssn) |
bounds checking | недопущение выхода за границы (отладочная опция компилятора, позволяющая при помощи добавленных им в объектный код программы дополнительных команд обнаруживать попытки обращения к несуществующим элементам массива с выходом за его объявленные границы. Поскольку лишние команды проверки индексов массивов сильно замедляют скорость работы, программа после отладки перетранслируется с отключенной опцией контроля границ. Средства контроля границ предусматриваются во многих компиляторах, а также в некоторых отладчиках ssn) |
bounds checking | недопущение выхода за указанные границы (отладочная опция компилятора, позволяющая при помощи добавленных им в объектный код программы дополнительных команд обнаруживать попытки обращения к несуществующим элементам массива с выходом за его объявленные границы. Поскольку лишние команды проверки индексов массивов сильно замедляют скорость работы, программа после отладки перетранслируется с отключенной опцией контроля границ. Средства контроля границ предусматриваются во многих компиляторах, а также в некоторых отладчиках ssn) |
bounds checking | недопущение выхода за заданные границы (отладочная опция компилятора, позволяющая при помощи добавленных им в объектный код программы дополнительных команд обнаруживать попытки обращения к несуществующим элементам массива с выходом за его объявленные границы. Поскольку лишние команды проверки индексов массивов сильно замедляют скорость работы, программа после отладки перетранслируется с отключенной опцией контроля границ. Средства контроля границ предусматриваются во многих компиляторах, а также в некоторых отладчиках ssn) |
bounds checking | проверка диапазона изменения индексов (массива ssn) |
bounds checking | контроль границ (отладочная опция компилятора, позволяющая при помощи добавленных им в объектный код программы дополнительных команд обнаруживать попытки обращения к несуществующим элементам массива с выходом за его объявленные границы. Поскольку лишние команды проверки индексов массивов сильно замедляют скорость работы, программа после отладки перетранслируется с отключенной опцией контроля границ. Средства контроля границ предусматриваются во многих компиляторах, а также в некоторых отладчиках ssn) |
bounds-checking elimination | исключение контроля границ (реализуемый в некоторых компиляторах способ оптимизации, направленный на то, чтобы обнаруживать и удалять необязательные операции контроля индексов массивов ssn) |
bounds checking for fixed-size arrays | проверка границ массивов фиксированной длины (ssn) |
built-in self-checking monitoring circuit | самопроверяемая схема встроенного контроля (ssn) |
Certainly, most of the research on continuous-time model checking is based on this model | Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
check for a file or folder having the same name | выполнить проверку на наличие файла или папки с идентичным именем (англ. термин взят из кн.: De Sanctis V. ASP.NET Core and Angular 2 Alex_Odeychuk) |
check for additional conditions | выполнить проверку дополнительных условий (корпорации Apple Alex_Odeychuk) |
check for the success of the previous attempt | проверять успешность предыдущей попытки (Alex_Odeychuk) |
check metrics | проверять метрики (Alex_Odeychuk) |
check out | получить из хранилища (Alex_Odeychuk) |
check out | взять из репозитория (Alex_Odeychuk) |
check-out | извлечь из системы контроля версий (Alex_Odeychuk) |
check out | получить из репозитория (Alex_Odeychuk) |
check out | взять из хранилища (Alex_Odeychuk) |
checking and error reporting | обнаружение и регистрация ошибок (ssn) |
checking before dereference | проверка перед разыменованием (ssn) |
checking character | контрольный символ (ssn) |
checking element | контролирующий элемент (элемент, предназначенный для осуществления контроля в системе управления. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988 ssn) |
checking features | возможности самоконтроля (ssn) |
checking for null | проверка на неопределённое значение (Alex_Odeychuk) |
checking for problems | проверка на предмет проблем (ssn) |
checking for properties | проверка свойств (ssn) |
checking function | функция проверки (ssn) |
checking of assertion sets | контроль множеств фактов (ssn) |
checking of terms | контроль термов (ssn) |
checking the status of files | проверка состояния файлов (ssn) |
checking the system identification | проверка идентификации системы (ssn) |
checking type instead of interface | проверка типа вместо интерфейса (антишаблон проектирования: проверка того, что объект имеет специфический тип в то время, когда требуется только определённый интерфейс Alex_Odeychuk) |
checking type instead of membership | проверка типа вместо интерфейса (проверка того, что объект имеет специфический тип в то время, когда требуется только определённый интерфейс Alex_Odeychuk) |
client version checking function | функция проверки версии клиента (ssn) |
code checking | проверка кода (Alex_Odeychuk) |
code checking | проверка исходного кода (Alex_Odeychuk) |
code checking | проверка кода программы (ssn) |
coding standard checking | проверка соблюдения стандарта оформления кода (корпорации AdaCore Alex_Odeychuk) |
compile-time checking of exceptions | проверка исключений во время компиляции (Alex_Odeychuk) |
compile-time type checking | проверка типов во время компиляции (Alex_Odeychuk) |
conformance checking | проверка соответствия (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) |
consistency checking | контроль совместимости (ssn) |
consistency checking | проверка на соответствие (напр., проверка соответствия структуры каталога диска блокам данных на диске ssn) |
constness-checking | проверка неизменяемость (for ... – ... чего-либо; англ. термин взят из документа корпорации Cray Alex_Odeychuk) |
continuous-time model checking | верификация с непрерывным временем (моделей ssn) |
CRC error checking | контроль с помощью циклического избыточного кода (ssn) |
CRC error checking mechanism | механизм контроля с помощью циклического избыточного кода (ssn) |
CTL model checking algorithm | алгоритм верификации моделей для CTL (ssn) |
CTL symbolic model checking | символьная верификация моделей для CTL (Computation Tree Logic ssn) |
CTL symbolic model checking algorithm | алгоритм символьной верификации моделей для CTL (Computation Tree Logic ssn) |
data checking system | система проверки данных (ssn) |
data input checking | проверка ввода данных (ssn) |
degree of checking | уровень проверок (Alex_Odeychuk) |
dependency checking logic | схемы проверки зависимости по данным (в векторных и конвейерных процессорах перед распараллеливанием исполнения выполняется аппаратная проверка операндов команд на зависимость от предыдущих операций ssn) |
desk checking | проверка программы за столом (ssn) |
desk checking | проверка за столом (ssn) |
desk checking | отладка программы по исходному тексту (ssn) |
desk checking | отладка по исходному тексту (когда-то популярный, но сейчас редко применяемый способ отладки, при котором программист обнаруживает ошибки, просматривая распечатку исходного текста программы, "прокручивая" её логику в уме. Эффективность такой отладки несколько повысится, если от момента написания программы до просмотра текста пройдёт некоторое время, существенно помогает совместное обсуждение текста программы с коллегами (code inspection). Syn: dry run ssn) |
desk checking | отладка за столом (когда-то популярный, но сейчас редко применяемый способ отладки, при котором программист обнаруживает ошибки, просматривая распечатку исходного текста программы, "прокручивая" её логику в уме. Эффективность такой отладки несколько повысится, если от момента написания программы до просмотра текста пройдёт некоторое время, существенно помогает совместное обсуждение текста программы с коллегами (code inspection). Syn: dry run ssn) |
desk checking | отладка программы за столом (ssn) |
desk checking | ручная имитация работы программы (см. Standard glossary of terms used in Software Testing ssn) |
dynamic type checking | динамический контроль типов (ssn) |
dynamic type checking | динамическая проверка соответствия типов (проверка, выполняемая при интерпретации программы, определяющая допустимость заданных типов данных в операторах программы ssn) |
dynamic type checking | динамическая проверка типов (ssn) |
equivalency checking | проверка на эквивалентность (ssn) |
error checking | проверки на ошибки (в скомпилированном коде ssn) |
error checking | проверка на возникновение ошибки (Alex_Odeychuk) |
error checking | проверки на возникновение ошибок (ssn) |
error checking | обнаружение ошибок (ssn) |
error checking during the execution of the most frequently called members | проверки на возникновение ошибок во время выполнения наиболее часто вызываемых методов (ssn) |
extent and type of error checking | количество и виды проверок на ошибки (в скомпилированном коде ssn) |
extent and type of error checking in the compiled code | количество и виды проверок на ошибки в скомпилированном коде (ssn) |
high-low bias checking | "стрессовый тест" (ssn) |
high-low bias checking | тест граничных значений (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) |
initialization checking | проверка во время инициализации (ssn) |
integer overflow checking | проверка на переполнение в целочисленной арифметике (Alex_Odeychuk) |
integrity checking | проверка целостности (в СУБД – проверка корректности записей БД. Производится при загрузке данных (data loading) ssn) |
link-time type checking | проверка типов во время компоновки (Alex_Odeychuk) |
LTL model checking algorithm | алгоритм верификации моделей для LTL (ssn) |
LTL symbolic model checking | символьная верификация моделей для LTL (Linear Temporal Logic ssn) |
LTL symbolic model checking algorithm | алгоритм символьной верификации моделей для LTL (Linear Temporal Logic ssn) |
model checking | проверка моделей (ssn) |
model checking | верификация моделей (ssn) |
model checking | верификация программ на моделях (формальный метод верификации программного обеспечения Alex_Odeychuk) |
model checking | проверка на модели (Alex_Odeychuk) |
model checking | верификация модели (ssn) |
model checking method | метод проверки моделей (ssn) |
model checking problem | проблема верификации моделей (ssn) |
model checking problem | задача верификации моделей (ssn) |
model checking technique | метод проверки моделей (ssn) |
model checking technique | метод верификации моделей (ssn) |
model checking using automata | верификация моделей при помощи автоматов (ssn) |
most of the research on continuous-time model checking | большая часть исследований по верификации с непрерывным временем (ssn) |
null-checking | проверка на пустое значение (Alex_Odeychuk) |
null-checking | проверка на пустой указатель (Alex_Odeychuk) |
on-the-fly syntax checking | моментальная проверка синтаксиса (Alex_Odeychuk) |
on-the-fly syntax checking extension | расширение для моментальной проверки синтаксиса (языка программирования Alex_Odeychuk) |
overflow checking | проверка на переполнение (Alex_Odeychuk) |
overhead of checking | затраты на проверку (ssn) |
partial checking | частичная проверка (ssn) |
partially self-checking checker | частично самопроверяемая схема встроенного контроля (ssn) |
partially self-checking circuit | частично самопроверяемая схема (ssn) |
postponement of error checking | отсрочка в обнаружении ошибок (ssn) |
property checking | проверка свойства (ssn) |
real-time error-checking | обнаружение ошибок в реальном времени (компании Embarcadero Technologies Alex_Odeychuk) |
real-time syntax checking | проверка синтаксиса в реальном времени (Alex_Odeychuk) |
real-time syntax checking | синтаксический контроль в реальном времени (Alex_Odeychuk) |
rules for type checking | правила проверки типов (ssn) |
runtime checking | проверка согласования типов во время выполнения (корпорации AdaCore Alex_Odeychuk) |
runtime checking | проверка типов во время выполнения (Alex_Odeychuk) |
runtime type checking | проверка соответствия типов во время выполнения (oracle.com Alex_Odeychuk) |
self-checking checker | самопроверяемая схема встроенного контроля (ssn) |
self checking circuit | схема самоконтроля (ssn) |
self-checking circuit | самопроверяемая схема (ssn) |
self-checking digit | разряд самоконтроля (ssn) |
self-checking machine | самопроверяемое устройство (ssn) |
sensor checking | проверка датчиков (ssn) |
sensor checking if not provided as a service of the embedded software | проверка датчиков, если она не предоставляется как утилита или встроенная программа (как сервис встроенного программного обеспечения ssn) |
sequence checking program | программа проверки последовательности (ssn) |
software model checking | проверка модели программного обеспечения (Microsoft Alex_Odeychuk) |
source code spell checking | проверка орфографии в исходном коде (Alex_Odeychuk) |
spell checking | проверка правописания (ssn) |
stack checking | контроль стека (выполняется в целях безопасности для борьбы с атаками, использующими переполнение стека (stack overflow). Для этого в стек между последней локальной переменной и адресом возврата записывается специальный код, который проверяется перед выходом из функции. Если он модифицирован, то исполнение программы немедленно прекращается ssn) |
static and run-time checking | статическая и динамическая проверка (Alex_Odeychuk) |
static checking | статическая проверка кода (Alex_Odeychuk) |
static checking | статическая проверка (Alex_Odeychuk) |
static checking | статические проверки (ssn) |
static type-checking | статическая типизация (ssn) |
static type checking | статическая типизация (ssn) |
static type checking | статический контроль типов (ssn) |
static type checking | статическая проверка типов (проверка типов, производимая во время компиляции программы, не во время её исполнения) |
static type checking | статическая проверка соответствия типов (ssn) |
static type-checking | статический контроль типов (ssn) |
status checking | проверка состояния (ssn) |
subclass of formal verification called model checking | подвид формальной верификации, называемый верификация модели (ssn) |
symbolic model checking | символьная верификация моделей (ssn) |
symbolic model-checking techniques | символьные методы верификации моделей (ssn) |
syntax checking | синтаксический контроль (операция, выполняемая лексическим анализатором компилятора или интерпретатора. В современных системах программирования автоматическая проверка синтаксиса производится в момент написания текста программы ssn) |
syntax checking warning | предупреждение проверки синтаксиса (ssn) |
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 | Framework Class Library предоставляет много готовых классов с методами для выполнения стандартных математических вычислений, манипуляций со строками, операций ввода-вывода, операций с базами данных, сетевых операций, обработки файлов, проверки ошибок и т.д. (см. Deitel P., Deitel. H. – Visual C# 2012 How to Program, 5Ed. – 2013) |
tolerance checking | проверка допусков (ssn) |
tolerance checking method | метод проверки допусков (ssn) |
turn off integer overflow checking | отключать проверку на переполнение в целочисленной арифметике (Alex_Odeychuk) |
two modes of checking for completion events | два способа проверки события завершения (ssn) |
type-checking | контроль соответствия типов (ssn) |
type checking | типизация (ssn) |
type checking | проверка соответствия типов (проверка, выполняемая при компиляции или интерпретации программы, определяющая допустимость заданных типов данных в операторах программы ssn) |
type checking | проверка типа (система типов) |
type checking analysis | проверка соответствия типов (Alex_Odeychuk) |
type checking and polymorphism | проверка типов и полиморфизм (ssn) |
type checking and separate compilation | проверка типа и раздельная компиляция (ssn) |
type-checking for enum constants | проверка типа перечислимых констант (Alex_Odeychuk) |
type checking parameters | проверка типов параметров (ssn) |
type invariant checking rules | правила проверки инварианта типа (Alex_Odeychuk) |
validity checking | проверка действительности (ssn) |
VEE CAVA virus checking client | антивирусный клиент VEE CAVA (ssn) |
virus checking | антивирусная проверка (ssn) |
virus checking request | запрос на антивирусную проверку (ssn) |
way of checking | способ проверки (ssn) |
ways of checking | способы проверки (ssn) |
weight checking station | автоматическая станция весового контроля (автоматизированная система весового контроля, интегрированная в конвейерное оборудование, осуществляющая передачу данных о весе товара в WMS в реальном режиме времени. На основании сравнения "теоретического" веса товаров и упаковки, рассчитанного WMS, и "фактического" веса, снятого датчиками весовой станции, система WMS принимает решение о правильности комплектации данного короба (контейнера) с товарами ssn) |