| 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) |
| выполнять обработку проверяемого исключения | handle a checked exception (baeldung.com Alex_Odeychuk) |
| компонент Инфраструктуры обработки событий общего формата, который принимает события из источников событий, выполняет и проверяет их, а затем отправляет их на сервер событий в соответствии с критериями фильтрации | 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) |
| неисправность, проверяемая данным тестом | detected fault (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) |
| необъявленное проверяемое исключение | undeclared checked exception (cmu.edu Alex_Odeychuk) |
| объявить проверяемое исключение | declare a checked exception (baeldung.com Alex_Odeychuk) |
| Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет | 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) |
| пользовательское проверяемое исключение | custom checked exception (If it's plausible for a client to handle and recover from an exception, make it a custom checked exception.  baeldung.com Alex_Odeychuk) |
| правила, проверяемые после компиляции модулей | post-compilation rules (Alex_Odeychuk) |
| проверяемая неисправность | detectable fault (неисправность, которая может быть обнаружена некоторым тестом ssn) |
| проверяемая система | system being verified (ssn) |
| проверяемое выражение | test expression (ssn) |
| проверяемое исключение | checked exception (blogspot.com owant) |
| проверяемые данные | monitoring data (ssn) |
| проверяемые данные из базы данных распространения | monitoring data from the distribution database (ssn) |
| проверяемые данные из базы данных распространителя | monitoring data from the distribution database (ssn) |
| проверяемый во время выполнения | checked at runtime (Alex_Odeychuk) |
| проверяемый во время тестирования | under test (Alex_Odeychuk) |
| проверяемый элемент | coverage item (при анализе тестового покрытия; объект или свойство, применительно к которому определяется тестовое покрытие (test coverage) 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) |
| процент проверяемых неисправностей | completeness of test (т.ж. полнота теста ssn) |
| реализация, проверяемая во время тестирования | implementation under test (Alex_Odeychuk) |
| ряд ограничений на проверяемую систему | series of restrictions on the system being verified (ssn) |
| система проверяет введённый клиентом ПИН-код | system validates customer PIN (банковская система ssn) |
| статически проверяемый | statically checked (Alex_Odeychuk) |
| типы проверяемых свойств | kinds of properties that can be verified (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) |
