| Russian | English |
| Важным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени | an important benefit of this approach is that the information produced allows the user to check whether the model satisfies various real-time constraints (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| компонент Инфраструктуры обработки событий общего формата, который принимает события из источников событий, выполняет и проверяет их, а затем отправляет их на сервер событий в соответствии с критериями фильтрации | A component of the Common Event Infrastructure that receives events from event sources, completes and validates the events, and then sends events to the event server based on filter criteria (см. event emitter ssn) |
| необходимо проверять | check for (ssn) |
| необходимо проверять корректность переключений внутри приложений в ответ на соответствующие воздействия | check for correct switching upon application of the relevant stimulus (ssn) |
| необходимо проверять корректность работы с помощью поочерёдной подачи логических "0" и "1" | check for correct operation by introducing in turn a logic "0" and a logic "1" (ssn) |
| Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет | Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| проверяет, представляет ли очередная последовательность символов целое число или число с плавающей точкой | tests whether the next character sequence represents an integer or floating-point number (ssn) |
| проверяет, существует ли во входном потоке ещё одно слово | tests whether there is another word in the input (ssn) |
| проверять метрики | check metrics (Alex_Odeychuk) |
| проверять на компьютере правильность логики функциональных диаграмм | examine function diagrams for logical correctness on the PC (ssn) |
| проверять на наличие всех возможных ошибок во время выполнения | test for all potential run-time errors (корпорации AdaCore Alex_Odeychuk) |
| проверять определения во время компиляции | validate definitions at compile-time (Alex_Odeychuk) |
| проверять соответствие типов | typecheck (IBM Alex_Odeychuk) |
| проверять успешность предыдущей попытки | check for the success of the previous attempt (Alex_Odeychuk) |
| проверяться во время компиляции | be checked compile-time (Alex_Odeychuk) |
| проверяться компилятором | be checked by the compiler (корпорации AdaCore Alex_Odeychuk) |
| проверяться на корректность во время компиляции | be checked compile-time for correctness (Alex_Odeychuk) |
| проверяться на неопределённое значение | be checked for null (Alex_Odeychuk) |
| проверяться статическим анализатором кода | be checked statically (Electronic Design Alex_Odeychuk) |
| программа не проверяет события завершения | program checks for no completion events (ssn) |
| программа проверяет события возникновения ошибок | program checks for failure event (ssn) |
| система проверяет введённый клиентом ПИН-код | system validates customer PIN (банковская система ssn) |
| функции тестирования, которые проверяют датчики и приводы, связанные с конфигурацией ПЛК например, форсирование выходов ПЛК | test functions which check the sensors and actuators connected to the PLC-system for example, forcing the outputs of the PLC-system (см. IEC 61131-1 2003 ssn) |
