| English | Russian |
| a lot of verification methods | целый ряд методов верификации (ssn) |
| A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators | Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| address verification service | служба подтверждения адреса (ssn) |
| address verification system | система подтверждения адреса (ssn) |
| address verification system | система подтверждения адресов (ssn) |
| allow the verification of time bounded properties | позволять верифицировать свойства с ограничениями по времени (ssn) |
| analysis and verification | статический анализ и формальная верификация программного обеспечения (Alex_Odeychuk) |
| app verification | проверка правильности выполнения приложения (ssn) |
| application security verification process | процесс верификации безопасности приложений (ssn) |
| application verification | проверка правильности выполнения приложения (ssn) |
| approach of formal verification | метод формальной верификации (ssn) |
| assertion-based verification | верификация на основе утверждений (ssn) |
| automated formal verification of software | автоматическая формальная верификация программного обеспечения (Alex_Odeychuk) |
| automated verification | автоматизированная проверка (ssn) |
| automated verification | автоматическая верификация (ssn) |
| automated verification of data quality | автоматизированная проверка качества данных (Konstantin 1966) |
| automatic program verification tool | инструментальное средство автоматической верификации программ (Microsoft Alex_Odeychuk) |
| automatic verification | автоматическая верификация (Alex_Odeychuk) |
| biometric verification | биометрическая верификация (ssn) |
| bit-level verification | контроль на битовом уровне (ssn) |
| build verification | проверка версий (ssn) |
| build verification test | тест по проверке версий (ssn) |
| build verification testing | тестирование по проверке версий (выборочное тестирование ssn) |
| byte-code translation and verification | трансляция и верификация байткода (Alex_Odeychuk) |
| bytecode verification | верификация байткода (Alex_Odeychuk) |
| category of formal verification | категория формальной верификации (ssn) |
| code safety verification | проверка безопасности кода (ssn) |
| code standard verification | проверка на соответствие стандарту оформления кода (корпорации AdaCore Alex_Odeychuk) |
| code standard verification | верификация соблюдения стандарта оформления кода (корпорации AdaCore Alex_Odeychuk) |
| code verification | верификация кода (Alex_Odeychuk) |
| code verification performed by the compiler | верификация кода компилятором (корпорации AdaCore Alex_Odeychuk) |
| coding standard verification tool | инструментальное средство проверки на соответствие стандарту оформления кода (Alex_Odeychuk) |
| coding standard verification tool | инструмент верификации соблюдения стандарта оформления кода (корпорации AdaCore Alex_Odeychuk) |
| coding standard verification tool | инструментальное средство верификации соблюдения стандарта оформления кода (Alex_Odeychuk) |
| completeness of verification | полнота верификации (ssn) |
| completeness of verification with respect to the previous phase | полнота верификации в соответствии с предыдущей стадией (ssn) |
| compositional verification | композиционная верификация (ssn) |
| cookie verification | верификация по данным типа "cookie" (ssn) |
| correctness of verification | корректность верификации (ssn) |
| correctness of verification with respect to the previous phase | корректность верификации в соответствии с предыдущей стадией (ssn) |
| data verification process | процесс проверки данных (ssn) |
| data-path verification | верификация трактов прохождения данных (ssn) |
| deductive software verification | дедуктивная верификация программных систем (Alex_Odeychuk) |
| deductive verification | дедуктивная верификация (Alex_Odeychuk) |
| design, development and verification activities | деятельность по проектированию, разработке и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
| design rules verification | проверка соблюдения правил проектирования (ssn) |
| design rules verification | проверка соблюдения проектных норм (ssn) |
| design verification | верификация проекта (ssn) |
| design verification | проверка соблюдения требований проектного задания (определение соответствия функционирования схемы (системы) в соответствии со спецификацией на неё. Методы верификации делятся на статические (см. formal verification) и динамические – с помощью прогона набора тестов ssn) |
| design verification and validation | верификация и утверждение проекта (ssn) |
| design verification simulation | верификационное моделирование (ssn) |
| design verification simulation | моделирование исправной схемы с целью проверки правильности проектирования (ssn) |
| design verification simulation | моделирование с целью проверки правильности проектирования (ssn) |
| design verification simulation | моделирование для верификации проектных решений (ssn) |
| development and verification cost | стоимость разработки и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
| development and verification tools | инструментальные средства разработки и верификации программного обеспечения (компании AdaCore Alex_Odeychuk) |
| development and verification tools for safety- and mission-critical systems | инструментальные средства разработки и верификации систем жёсткого реального времени с особыми требованиями по технической безопасности (корпорации AdaCore Alex_Odeychuk) |
| device verification | средства проверки устройств (ssn) |
| dialog data verification | проверка данных диалога (в MFC (Microsoft Foundation Classes) – метод проверки данных в процессе передачи от элементов управления окна диалога ssn) |
| different flavors of formal verification | особенности формальной верификации (ssn) |
| dynamic formal verification | динамическая формальная верификация (ssn) |
| dynamic verification | динамическая верификация (ssn) |
| dynamic verification methods | методы динамической верификации (ssn) |
| ease of program verification | удобство верификации программы (ssn) |
| execute verification and validation tasks | выполнение задач по аттестации и верификации (ssn) |
| explicit verification in the code | явная верификация в коде (корпорации AdaCore Alex_Odeychuk) |
| face verification | верификация лица (ssn) |
| fault verification | контроль неисправностей (ssn) |
| finger-print verification | верификация отпечатков пальцев (ssn) |
| fingerprint verification | верификация по отпечатку пальца (используется в биометрических системах контроля доступа ssn) |
| formal method verification toolset | комплект инструментальных средств формальной верификации программного обеспечения (Alex_Odeychuk) |
| formal verification | формальная верификация кода (Electronic Design Alex_Odeychuk) |
| formal verification algorithms | алгоритмы формальной верификации (ssn) |
| formal verification of implicit calls | формальная верификация неявных вызовов (adacore.com Alex_Odeychuk) |
| formal verification technique | метод формальной верификации (ssn) |
| formal-verification techniques | методы формальной верификации (Alex_Odeychuk) |
| formal verification techniques | методы формальной верификации (ssn) |
| functional correctness verification | верификация функциональной корректности (ssn) |
| functional equivalence verification | верификация функциональной эквивалентности (ssn) |
| geometry simplification and verification | упрощение и контроль геометрической формы (Термин относится к САПР. Konstantin 1966) |
| hardware assisted verification system | поддержанная аппаратно система верификации (ssn) |
| hardware verification | верификация аппаратных средств (ssn) |
| hash verification | хэш-верификация (ssn) |
| HW verification | верификация аппаратных средств (ssn) |
| implementation of the verification process | осуществление процесса верификации (ssn) |
| implementation-based verification coverage | анализ покрытия на уровне реализации (это мероприятия по проверке микроархитектурных особенностей готовой реализации. Подразумевают под собой ряд решений, которые встраиваются в RТL-описание устройства для наблюдения за его тупиковыми состояниями, напр., это может касаться глубины буфера FIFO и тупиковых ситуаций, связанных с его опустошением и полным заполнением. Такие детали реализации редко удаётся проследить на уровне спецификации ssn) |
| improved build verification testing | улучшение тестирования по проверке версий (ssn) |
| in the development and verification process | в процессе разработки и верификации программного обеспечения (корпорации 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) |
| independent verification and validation | независимая верификация и аттестация (ssn) |
| independent verification and validation | независимая верификация и проверка правильности (Nadezhda_1212) |
| independent verification and validation | независимая экспертиза (сокр. IV&V; процесс верификации и валидации, осуществляемый третьими лицами (т.е. не организацией-разработчиком) ssn) |
| independent verification of the timing constraints realised during the synthesis | независимая проверка ограничений синхронизации, осуществляемая во время синтеза (ssn) |
| iris verification | верификация радужной оболочки (ssn) |
| layered biometric verification | многоуровневая биометрическая проверка (сокр. LBV ssn) |
| layered verification | многоуровневая проверка (ssn) |
| licence verification | проверка лицензии (ssn) |
| license verification | проверка лицензии (ssn) |
| licensing verification process | процесс проверки лицензирования (ssn) |
| link verification | проверка ссылок (ssn) |
| measures verification activity with respect to items in the high-level functional or macroarchitecture definition | мероприятия по проверке высокоуровневых функционалов и макроархитектурных определений (ssn) |
| measures verification activity with respect to microarchitecture details of the actual implementation | мероприятия по проверке микроархитектурных особенностей готовой реализации (ssn) |
| model verification tool | инструментальное средство верификации моделей (корпорации AdaCore Alex_Odeychuk) |
| model-based development and verification | модельно-ориентированный подход к разработке и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
| model-based development and verification tool | инструментальное средство для управляемой моделями разработки и верификации программного обеспечения (компании AdaCore Alex_Odeychuk) |
| model-based development and verification toolset | комплект инструментальных средств управляемой моделями разработки и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
| modular formal verification | формальная верификация программных модулей (корпорации AdaCore; контекстуальный перевод на русс. язык Alex_Odeychuk) |
| more complex verification techniques | более сложные методы верификации (ssn) |
| more complex verification techniques based on continuous time | более сложные методы верификации, основанные на непрерывном времени (ssn) |
| no inspection verification | контроль без приёмочных испытаний (сокр. NIV ssn) |
| operating system verification | верификация операционной системы (Microsoft Alex_Odeychuk) |
| operating system verification project | проект верификации операционной системы (Microsoft Alex_Odeychuk) |
| output verification | верификация состояния выхода (метод контроля состояния неисправности/ошибки, в котором выходы сравнивают с независимыми вводами. ГОСТ IEC 60730-1-2016 ssn) |
| path verification | проверка соответствия пути (при проведении тестирования ssn) |
| perform formal proof and verification on code | выполнять формальное доказательство корректности и верификацию кода (корпорации AdaCore Alex_Odeychuk) |
| perform modular formal verification | выполнять формальную верификацию программных модулей (To prove the post condition of a subprogram according to its own precondition and the precondition and postconditions of its callees (ie, those subprograms that it calls) whether or not these callees are themselves proven. For a complete, 100%, proof, all the subprograms of an application need to be formally proven; корпорации AdaCore; контекстуальный перевод на русс. язык Alex_Odeychuk) |
| plan verification and validation | составление плана аттестации и верификации (ПО ssn) |
| precisely defined verification configuration | верификация точно определённой конфигурации (ssn) |
| probabilistic verification | вероятностная верификация (ssn) |
| probabilistic verification | проверка по вероятности (ssn) |
| program verification tool | инструментальное средство верификации программ (Alex_Odeychuk) |
| project information verification | проверка информации по проекту (ssn) |
| property verification | проверка значения свойства (Alex_Odeychuk) |
| property verification | верификация функциональных свойств программы (корпорации AdaCore Alex_Odeychuk) |
| purpose of the verification process | цель процесса верификации (ssn) |
| real-time system verification | верификация систем реального времени (ssn) |
| real-time verification | проверка в РМВ (ssn) |
| real-time verification | верификация в РМВ (ssn) |
| real-time verification | проверка в реальном масштабе времени (ssn) |
| real-time verification | верификация в реальном времени (ssn) |
| real-time verification | проверка в реальном времени (ssn) |
| real-time verification | верификация в реальном масштабе времени (ssn) |
| result of the successful implementation of the verification process | результат успешного осуществления процесса верификации (ssn) |
| review of software verification methods | обзор методов верификации ПО (ssn) |
| review of software verification methods | обзор методов верификации программного обеспечения (ssn) |
| role of formal verification techniques | роль методов формальной верификации (ssn) |
| role of formal verification techniques in the context of software validation and testing | роль методов формальной верификации в контексте проверки соответствия и тестирования ПО (ssn) |
| role of testing in verification and validation | роль тестирования в верификации и валидации (ssn) |
| run-time verification | верификация во время выполнения (Alex_Odeychuk) |
| semi-automated formal verification of software | полуавтоматическая формальная верификация программного обеспечения (Alex_Odeychuk) |
| software verification | верификация программного обеспечения системы (см. IEC 61508-7: 2010 ssn) |
| software verification | верификация программных средств (ssn) |
| software verification | верификация программных систем (Alex_Odeychuk) |
| software verification | верификация программного обеспечения (компании AdaCore, North American Office Alex_Odeychuk) |
| software verification and validation plan | план экспертизы программного обеспечения (этот план определяет, каким образом и в какой последовательности должны проверяться стадии проекта, а также сам продукт на соответствие поставленным требованиям. Верификация – это процесс проверки правильности сборки приложения; валидация проверяет тот факт, что собран требуемый продукт ssn) |
| software verification methods | методы верификации ПО (ssn) |
| software verification methods | методы верификации программного обеспечения (ssn) |
| software verification process | процесс верификации программных средств (ssn) |
| software verification process | процесс верификации программного обеспечения (Alex_Odeychuk) |
| software verification task | задача верификации программного обеспечения (ssn) |
| solution verification | проверка решения (ssn) |
| source data verification | проверка первичных данных (ssn) |
| specification-based verification coverage | анализ покрытия на уровне спецификации (это мероприятия по проверке высокоуровневых функционалов и макроархитектурных определений. Включают в себя анализ средств ввода/вывода, типов используемых транзакций (в том числе взаимодействие между собой транзакций различных типов), а также преобразования данных ssn) |
| static and dynamic verification | статическая и динамическая верификация программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
| static and dynamic verification | статическая и динамическая верификация (корпорации AdaCore Alex_Odeychuk) |
| static deductive verification | статическая дедуктивная верификация (Alex_Odeychuk) |
| static formal verification | статическая формальная верификация (ssn) |
| static verification | статическая верификация (adacore.com Alex_Odeychuk) |
| static verification of programs | статическая верификация программ (Microsoft Alex_Odeychuk) |
| subclass of formal verification | подвид формальной верификации (ssn) |
| subclass of formal verification called model checking | подвид формальной верификации, называемый верификация модели (ssn) |
| successful implementation of the verification process | успешное осуществление процесса верификации (ssn) |
| System Integration, Verification, and Validation | Интеграция, верификация и валидация системы (ssn) |
| system-in verification | внутрисистемная верификация (ssn) |
| test verification | проверка полноты теста (с помощью моделирования ssn) |
| test verification method | метод верификации тестов (ssn) |
| the most obvious and traditional method of design verification is prototyping | Наиболее очевидный и традиционный метод верификации проекта-при помощи прототипа |
| the term formal verification | термин формальная верификация (ssn) |
| this plug-in builds the interface to a CANopen network and provides functions for down- and uploading of configuration and program data, scanning of a network, verification of device configurations, network and program control as well as layer setting services | этот дополнительный программный модуль представляет собой интерфейс для CANopen сети и выполняет функции загрузки и выгрузки данных конфигурирования и программ, сканирование сети, верификацию конфигураций устройства, управление сетью и программой, а также сервисы настройки уровней |
| tool for software verification | инструментальное средство верификации программного обеспечения (Alex_Odeychuk) |
| tool verification plan | план верификации инструментального средства (корпорации AdaCore Alex_Odeychuk) |
| type- and code-verification | верификации типов и кода (ssn) |
| verification activities | действия по верификации (ssn) |
| verification against a sequence of progressively more complete system element configurations | верификация при помощи последовательности наращиваемых конфигураций системных элементов (ssn) |
| verification and validation | верификация и аттестация (ПО ssn) |
| verification and validation | аттестация и верификация (ssn) |
| verification and validation documentation | документация по верификации и валидации (ssn) |
| verification and validation planning | планирование верификации и аттестации (ssn) |
| verification and validation tasks | задачи по аттестации и верификации (ssn) |
| verification aware programming language | язык программирования со встроенными средствами автоматической верификации программного обеспечения (Alex_Odeychuk) |
| verification conditions | условия верификации (Alex_Odeychuk) |
| verification constraints | ограничения, накладываемые на верификацию (ssn) |
| verification engineer | инженер-программист по верификации программного обеспечения (Alex_Odeychuk) |
| verification environment for high-integrity software | среда верификации программного обеспечения с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
| verification environment for high-integrity software | среда верификации высоконадёжного программного обеспечения (т.е. программного обеспечения с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
| verification method | метод верификации (ssn) |
| verification methods | методы верификации (ssn) |
| verification of asynchronous software systems | верификация асинхронных программных систем (ssn) |
| verification of class hierarchy consistency | верификация согласованности иерархии классов (корпорации AdaCore Alex_Odeychuk) |
| verification of combinational logic | верификация комбинационных логических схем (ssn) |
| verification of completeness of interaction between modules | проверка полноты взаимодействия между модулями (ssn) |
| verification of concurrent systems | верификация параллельных систем (ssn) |
| verification of consistency between specification and implementation | проверка реализации на соответствие спецификации (Electronic Design Alex_Odeychuk) |
| verification of data flows | верификация потоков данных (корпорации AdaCore Alex_Odeychuk) |
| verification of device configurations | верификация конфигураций устройства (ssn) |
| verification of finite-state systems | верификация систем с конечным числом состояний (ssn) |
| verification of hardware and software | верификация аппаратуры и программного обеспечения (ssn) |
| verification of layout versus schematic | проверка соответствия топологии схеме (см. IEC 61508-7:2010 ssn) |
| verification of mock method calls | проверка вызова методов имитирующего объекта (Alex_Odeychuk) |
| verification of the external system functions as stated in the external specifications | контроль внешнего поведения системы, определённого внешними спецификациями (ssn) |
| verification of the gate netlist against reference model by simulation | проверочное сравнение списка соединений логических элементов с эталонной моделью средствами моделирования (ssn) |
| verification of the integrity | проверка целостности (ssn) |
| verification of the integrity of a produced application | проверка целостности созданного приложения (ssn) |
| verification of the integrity of a produced UM application produced by the programming environment and used on a UM execution machine | проверка целостности созданного приложения системы UM, созданной посредством среды программирования и используемой на машине исполнения системы UM (ssn) |
| verification of the timing constraints | проверка ограничений синхронизации (ssn) |
| verification of the timing constraints realised during the synthesis | проверка ограничений синхронизации, осуществляемая во время синтеза (ssn) |
| verification process | процесс верификации (определяет работы (заказчика, поставщика или независимой стороны) по верификации программных продуктов по мере реализации программного проекта (ISO/IEC 12207, ГОСТ Р ИСО/МЭК 12207-99) ssn) |
| verification process activity | деятельность в процессе верификации (ssn) |
| verification process outcomes | результаты процесса верификации (ssn) |
| verification results | результаты верификации (ssn) |
| verification reuse | повторная верификация (ssn) |
| verification system | система верификации (ssn) |
| verification task | задача верификации (ПО ssn) |
| verification technique | метод проверки (ssn) |
| verification technique | метод верификации (ssn) |
| verification techniques | методы верификации (ssn) |
| verification techniques based on continuous time | методы верификации, основанные на непрерывном времени (ssn) |
| verification tool | инструментальное средство проверки на соответствие (Alex_Odeychuk) |
| verification under different development systems | проверка под различными системами разработки программ (ssn) |
| verification with respect to the previous phase | верификация в соответствии с предыдущей стадией (ssn) |
