верификация, контроль, проверка, верификация, проверка полномочий (напр. доступа к данным) Установление подлинности, проверка истинности; в программировании - доказательство правильности программ.
Phrases with verifications
data check verification проверка достоверности данных, проверка правильности данных Предварительная обработка входных данных с целью установления их соответствия предъявляемым программой или системой требованиям. Проверяются соответствие данных их типу и формату, принадлежность заданному диапазону изменения, отсутствие искажений и другие факторы.
formal verification формальная верификация Преобразование доказательства правильности программы в доказательство теоремы в исчислении предикатов первого порядка.
functional verification функциональная верификация (с целью подтверждения выполнения исходного функционального назначения)
gate-level verification верификация на уровне вентилей
verification and validation приемочные испытания, испытания Всесторонняя проверка и тестирование системы, обычно при сдаче в эксплуатацию. Verification обычно относится к формальной проверке, а validation
verification condition generation генерирование условий верификации (при доказательстве правильности программ)
verification machine контрольник (напр. для перфокарт)
verification message проверочное сообщение
verification mode режим верификации, режим контроля В системах с разделением времени
verification utterance контрольный фрагмент речи, контрольная фраза (подлежащие обработке в целях распознавания говорящего лица)