-
1 верификация программы
Большой англо-русский и русско-английский словарь > верификация программы
-
2 верификация программы
Англо-русский словарь технических терминов > верификация программы
-
3 формальная верификация
eng.formal verificationrus.формальная верификацияukr.формальна верифікаціяПреобразование доказательства правильности программы в доказательство теоремы в вычислении предикатов первого порядка.English-Russian dictionary of information security > формальная верификация
-
4 program validation
The English-Russian dictionary on reliability and quality control > program validation
-
5 verificación f del programa
верификация программы, проверка соответствия программы её спецификациямEl diccionario Español-ruso económico > verificación f del programa
-
6 verifying the program
верификация программы, подтверждение корректности программыEnglish-Russian dictionary of mechanical engineering and automation > verifying the program
-
7 program verification
верификация программы, проверка правильности программы
Англо-русский словарь по робототехнике > program verification
-
8 program verification
верификация программы; проверка правильности программыEnglish-Russian information technology > program verification
-
9 program verification
English-Russian dictionary of computer science > program verification
-
10 program verification
- проверка правильности программы
- верификация программы
- верификация программ
- верификация (доказательство правильности) программы
верификация (доказательство правильности) программы
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
верификация программ
1. Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается.
2. Доказательство того, что поведение программы соответствует спецификации на эту программу (ДСТУ 2873).
[Домарев В.В. Безопасность информационных технологий. Системный подход.]Тематики
EN
верификация программы
верификация
Доказательство того, что поведение программы соответствует спецификации на эту программу.
[ ГОСТ 19781-90]Тематики
- обеспеч. систем обраб. информ. программное
Синонимы
EN
проверка правильности программы
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Верификация
Program verification
Доказательство того, что поведение программы соответствует спецификации на эту программу
Источник: ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа
Англо-русский словарь нормативно-технической терминологии > program verification
-
11 program verification
1) Техника: верификация программы, проверка правильности программы2) Математика: верификация программ3) Вычислительная техника: проверка верификация программы, проверка правильности верификация программы4) Космонавтика: проверка программы5) Механика: контроль УП -
12 program verification
проверка правильности программы; верификация программы -
13 verification
ˌverɪfɪˈkeɪʃən сущ.
1) контроль, проверка;
сверка Syn: check, examination
2) удостоверение, подтверждение( предсказания, сомнения)
3) юр. засвидетельствование контроль, осуществление контроля;
проверка - subject to * подлежащий контролю - national technical means of * национальные технические средства контроля - to impede * затруднять осуществление контроля поверка( измерительного инструмента) ;
сверка (текста и т. п.) подтверждение;
установление подлинности( чего-л.) (редкое) утверждение, ратификация (юридическое) засвидетельствование;
удостоверения подтверждение обоснованности, правильности (чего-л.) (техническое) калибровка, градуировка, эталонирование, тарирование - * fire (военное) контрольная стрельба corporate tax ~ проверка правильности уплаты налога с доходов компании data ~ вчт. верификация данных financial ~ финансовая проверка keystroke ~ вчт. проверка путем нажатия клавиш keystroke ~ вчт. проверка путем нажатия кнопок program ~ вчт. верификация программы speech ~ comp. верификация речевых сигналов speech ~ comp. проверка правильности речевых сигналов tax ~ проверка правильности уплаты налогов verification доказывание обоснованности ~ доказывание правильности ~ заверка, засвидетельствование ~ юр. засвидетельствование ~ засвидетельствование ~ исследование ~ контроль ~ обоснование ~ поверка ~ подтверждение (предсказания, сомнения) ~ подтверждение, подтверждение под присягой ~ проверка ~ проверка ~ ревизия ~ сверка ~ удостоверение ~ установление подлинности ~ and validation испытания ~ of credentials проверка удостоверения личности ~ of gross profit on sales проверка торговой валовой прибыли ~ of stamp duty проверка гербового сбораБольшой англо-русский и русско-английский словарь > verification
-
14 verification
[ˌverɪfɪˈkeɪʃən]corporate tax verification проверка правильности уплаты налога с доходов компании data verification вчт. верификация данных financial verification финансовая проверка keystroke verification вчт. проверка путем нажатия клавиш keystroke verification вчт. проверка путем нажатия кнопок program verification вчт. верификация программы speech verification comp. верификация речевых сигналов speech verification comp. проверка правильности речевых сигналов tax verification проверка правильности уплаты налогов verification доказывание обоснованности verification доказывание правильности verification заверка, засвидетельствование verification юр. засвидетельствование verification засвидетельствование verification исследование verification контроль verification обоснование verification поверка verification подтверждение (предсказания, сомнения) verification подтверждение, подтверждение под присягой verification проверка verification проверка verification ревизия verification сверка verification удостоверение verification установление подлинности verification and validation испытания verification of credentials проверка удостоверения личности verification of gross profit on sales проверка торговой валовой прибыли verification of stamp duty проверка гербового сбора -
15 verifying the program
-
16 vérification de programme
вчт. верификация программы, проверка правильности программыDictionnaire polytechnique Français-Russe > vérification de programme
-
17 verificación del programa
сущ.экон. верификация программы, проверка соответствия программы её спецификациямИспанско-русский универсальный словарь > verificación del programa
-
18 vérification de programme
сущ.выч. верификация программы, проверка программыФранцузско-русский универсальный словарь > vérification de programme
-
19 program verification
проверка правильности [верификация] программыБольшой англо-русский и русско-английский словарь > program verification
-
20 program verification
проверка правильности [верификация] программыEnglish-Russian dictionary of computer science and programming > program verification
- 1
- 2
См. также в других словарях:
верификация программы — верификация Доказательство того, что поведение программы соответствует спецификации на эту программу. [ГОСТ 19781 90] Тематики обеспеч. систем обраб. информ. программное Синонимы верификация EN program verification … Справочник технического переводчика
Верификация программы — 54. Верификация программы Верификация Program verification Доказательство того, что поведение программы соответствует спецификации на эту программу Источник: ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и… … Словарь-справочник терминов нормативно-технической документации
верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник … Словарь-справочник терминов нормативно-технической документации
ВЕРИФИКАЦИЯ — (от лат. verificatio доказательство, подтверждение) установление истинности или эмпирической осмысленности научных утверждений. Этот термин получил широкое распространение в связи с неопозитивистской программой эмпирического обоснования науки. С… … Философская энциклопедия
верификация (доказательство правильности) программы — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN program verification … Справочник технического переводчика
верификация кода — Проверка соответствия кода [программы] для ЭВМ установленным техническим требованиям. [А.С.Гольдберг. Англо русский энергетический словарь. 2006 г.] Тематики энергетика в целом EN code audit … Справочник технического переводчика
верификация программ — 1. Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается. 2. Доказательство того, что поведение программы соответствует спецификации на эту программу (ДСТУ 2873). [Домарев В.В. Безопасность… … Справочник технического переводчика
Верификация — Позитивизм … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году [1].… … Википедия
ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения — Терминология ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа: 9. Абсолютная программа Non relocatable program Программа на машинном языке, выполнение которой зависит от ее… … Словарь-справочник терминов нормативно-технической документации